The power of beliefs or translating default logic into standard autoepistemic logic

Authors:
Georg Gottlob
Affiliations:
Christian Doppler Lab for Expert Systems, TU Wien, Vienna, Austria
Venue:
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 1
Year:
1993

Citing 7
Cited 0

Semantical considerations on nonmonotonic logic

Artificial Intelligence
Embedding a default system into nonmonotonic logics

Fundamenta Informaticae
Relating autoepistemic and default logics

Proceedings of the first international conference on Principles of knowledge representation and reasoning
Reasoning with parsimonious and moderately grounded expansions

Fundamenta Informaticae - Special issue on modal logics in knowledge representation
Nonmonotonic Logic II: Nonmonotonic Modal Theories

Journal of the ACM (JACM)
Autoepistemic modal logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge
Epistemic semantics for fixed-points non-monotonic logics

TARK '90 Proceedings of the 3rd conference on Theoretical aspects of reasoning about knowledge

Quantified Score

Hi-index	0.00

Visualization

Abstract

The problem of finding a set of assumptions which explain a given proposition is in general NP-hard, even when the background theory is an acyclic Horn theory. In this paper it is shown that when the background theory is acyclic Horn and its pseudo-completion ...