66 search results - page 1 / 14 » The Complexity of Model Checking for Belief Revision and Upd... |
74
Voted
AAAI
1996
14 years 11 months ago
1996
AAAI
2000
14 years 11 months ago
2000
We present a general, consistency-based framework for belief change. Informally, in revising K by , we begin with and incorporate as much of K as consistently possible. Formally, ...
142
click to vote
ENTCS
2006
14 years 9 months ago
2006
In this paper, we present a semantical approach to multi-agent belief revision and belief update. For this, we introduce relational structures called conditional doxastic models (...
101
click to vote
IJCAI
1997
14 years 11 months ago
1997
Belief Revision is a ubiquitous process underlying many forms of intelligent behaviour. The AGM paradigm is a powerful framework for modeling and implementing belief revision syst...
FLAIRS
2007
14 years 12 months ago
2007
In this paper we explore a class of belief update operators, in which the definition of the operator is compositional with respect to the sentence to be added. The goal is to pro...