On Finding Extensions of Default Theories

Authors:
Christos H. Papadimitriou;Martha Sideri
Affiliations:
-;-
Venue:
ICDT '92 Proceedings of the 4th International Conference on Database Theory
Year:
1992

Citing 0
Cited 5

The complexity of logic-based abduction

Journal of the ACM (JACM)
Translating default logic into standard autoepistemic logic

Journal of the ACM (JACM)
On kernels, defaults and even graphs

Annals of Mathematics and Artificial Intelligence
On the complexity of model checking for propositional default logics: new results and tractable cases

IJCAI'99 Proceedings of the 16th international joint conference on Artifical intelligence - Volume 1
Well-Founded Semantics for Default Logic

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract