63 search results - page 7 / 13 » The Complexity of Iterated Belief Revision |
113
click to vote
ECAI
2004
Springer
15 years 7 months ago
2004
Springer
Action formalisms like the fluent calculus have been developed to endow logic-based agents with the abilities to reason about the effects of actions, to execute high-level strateg...
102
click to vote
CORR
2000
Springer
15 years 1 months ago
2000
Springer
The connections between nonmonotonic reasoning and belief revision are well-known. A central problem in the area of nonmonotonic reasoning is the problem of default entailment, i.e...
100
Voted
FUIN
2002
15 years 1 months ago
2002
This paper deals with iterated belief change and proposes a drastic revision rule that modifies a plausibility ordering of interpretations in such a way that any world where the in...
124
click to vote
JAPLL
2008
15 years 1 months ago
2008
We introduce a general framework for reasoning with prioritized propositional data by aggregation of distance functions. Our formalism is based on a possible world semantics, wher...
106
click to vote
AI
2008
Springer
15 years 2 months ago
2008
Springer
: Ranking theory delivers an account of iterated contraction; each ranking function induces a specific iterated contraction behavior. The paper shows how to reconstruct a ranking f...