3845 search results - page 10 / 769 » Belief Logic Programming |
108
click to vote
LPNMR
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. In this paper, we present a logic R for rule bases by introducing a set of rule connectives. We define both the models and extensions of a rule base. The semantics of ex...
AI
2007
Springer
14 years 9 months ago
2007
Springer
Since belief revision deals with the interaction of belief and information over time, branching-time temporal logic seems a natural setting for a theory of belief change. We propo...
AAAI
1994
14 years 11 months ago
1994
The study of belief change has been an active area in philosophy and AI.In recent years two special cases ofbelief change, belief revision and belief update, have been studied in ...
69
Voted
ECSQARU
2007
Springer
15 years 3 months ago
2007
Springer
Abstract. The problem of merging multiple sources information is central in several domains of computer science. In knowledge representation for artificial intelligence, several a...
CLIMA
2010
14 years 11 months ago
2010
In this paper we present an agent language that combines agent functionality with an action theory and model-theoretic semantics. The language is based on abductive logic programmi...