Index Terms
Programming pearls
Recommendations
Belief base change operations for answer set programming
JELIA'12: Proceedings of the 13th European conference on Logics in Artificial IntelligenceWe present a principled approach to the problem of belief revision in (non-monotonic) logic programming under the answer set semantics. Unlike previous approaches we use a belief base approach. Belief bases are sets of sentences that are, in contrast to ...
Infobase Change: A First Approximation
Generalisations of theory change involving operations on arbitrary sets of wffs instead of on belief sets (i.e., sets closed under a consequence relation), have become known as base change. In one view, a base should be thought of as providing more ...
Conflicts between Relevance-Sensitive and Iterated Belief Revision
Proceedings of the 2008 conference on ECAI 2008: 18th European Conference on Artificial IntelligenceThe original AGM paradigm focuses only on one-step belief revision and leaves open the problem of revising a belief state with whole sequences of evidence. Darwiche and Pearl later addressed this problem by introducing extra (intuitive) postulates as a ...




