64 search results - page 2 / 13 » Belief revision in Horn theories |
AI
2004
Springer
13 years 9 months ago
2004
Springer
ARGMAS
2004
Springer
14 years 3 months ago
2004
Springer
This paper compares within the MAS framework two separate threads in the formal study of epistemic change: belief revision and argumentation theories. Belief revision describes how...
COLT
1999
Springer
14 years 2 months ago
1999
Springer
Abstract. A brief overview is given of recent results on theory revision with queries for propositional formulas, such as monotone and unate DNF, Horn formulas, read-once formulas,...
AI
2007
Springer
13 years 10 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...
DAGSTUHL
2007
13 years 11 months ago
2007
Abstract This paper presents and discusses a novel approach to indeterministic belief revision. An indeterministic belief revision operator assumes that, when an agent is confronte...