Riccardo Rosati.
In Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99), Lecture Notes in Artificial Intelligence, volume 1730, pages 332-346, 1999. ISBN 3-540-66749-0.
We investigate the problem of reasoning in nonmonotonic extensions of first-order logic. In particular, we study reasoning in first-order MKNF, the modal logic of minimal knowledge and negation as failure introduced by Lifschitz. MKNF can be considered as a unifying framework for several nonmonotonic formalisms, including default logic, autoepistemic logic, circumscription, and logic programming. By suitably extending deduction methods for propositional nonmonotonic logics, we define techniques for reasoning in significant subsets of first-order MKNF, which allow for characterizing decidable fragments of first-order nonmonotonic modal logics. Due to the expressive abilities of MKNF, such techniques can be seen as general reasoning methods for several nonmonotonic formalisms based on first-order logic. We also analyze the relationship between such decidable fragments of MKNF and disjunctive Datalog.
@String{LPNMR-99 = "Proceedings of the Fifth International Conference on Logic Programming and Nonmonotonic Reasoning (LPNMR'99)"}
@String{LNAI = "Lecture Notes in Artificial Intelligence"}
@Inproceedings{Rosa99d,
author = "Riccardo Rosati",
title = "Towards first-order nonmonotonic reasoning",
booktitle = LPNMR-99,
pages = "332--346",
series = LNAI,
volume = 1730,
year = 1999,
isbn = "3-540-66749-0",
}