ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. In this paper, we present a revision strategy of revising a conditional probabilistic logic program (PLP) when new information is received (which is in the form of probab...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Various tasks need to consider preferences in a dynamic way. We start by discussing several possible meanings of preference change, and then focus on the one we think is the most n...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Despite the recent advances in planning for classical domains, the question of how to use domain knowledge in planning is yet to be completely and clearly answered. Some ...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. Many techniques in model-based diagnosis and other research fields find the hitting sets of a group of sets. Existing techniques apply to sets of finite elements only. Th...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
Abstract. The aim of this paper is to study semantic notions of modularity in description logic (DL) terminologies and reasoning problems that are relevant for modularity. We defin...
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
ECAI
2008
Springer
13 years 9 months ago
2008
Springer
We study the CARDPATH constraint. This ensures a given constraint holds a number of times down a sequence of variables. We show that SLIDE, a special case of CARDPATH where the sli...
ICAIL
2007
ACM
13 years 9 months ago
2007
ACM
Documentation is essential to daily legal practice. On-line access is current practice. The conditions imposed by an information service provider with respect to access and use of...