Lakemeyer, G., Limited Reasoning in First-Order Knowledge Bases with Introspection, in preparation. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Towards First-Order Nonmonotonic Reasoning - Rosati (Correct)
.... reasoning in nonmonotonic modal extensions of first order logic has been only partially studied: among the most important studies in this direction, it is worth mentioning [12] and [21] which analyze reasoning in a fragment of first order autoepistemic logic (without quantifying in ) and [13], which provides a computational study of a framework in which a modal logic of only knowing is added to a formal model of limited reasoning. In this paper we study reasoning in first order MKNF, the modal logic of minimal knowledge and negation as failure [15,16] Such a logic is built by ....
G. Lakemeyer. Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence, 84:209--255, 1996.
Complexity of Only Knowing: The Propositional Case - Rosati (1997) (2 citations) (Correct)
.... only related studies appearing in the literature concern a fragment of OL K45 built upon a very restricted subclass of propositional formulas, for which satisfiability is tractable [13] and a computational study of a framework in which only knowing is added to a formal model of limited reasoning [10,11]. Moreover, a lower bound for reasoning in OL K45 ( Sigma p 2 ) is known, due to the fact that autoepistemic logic [19] can be embedded in polynomial time into OL K45 . The goal of the present work is to give a computational characterization of only knowing in the propositional case. To this ....
G. Lakemeyer. Limited reasoning in first-order knowledge bases with full introspection. Artificial Intelligence Journal 84:209--255, 1996.
Limited Reasoning in First-Order Knowledge Bases - Lakemeyer (1994) (9 citations) Self-citation (Lakemeyer) (Correct)
No context found.
Lakemeyer, G., Limited Reasoning in First-Order Knowledge Bases with Introspection, in preparation.
Conservative Belief Change: A Gricean Approach - James Delgrande School (Correct)
No context found.
G. Lakemeyer. Limited Reasoning in first-order knowledge bases with full introspection, Artificial Intelligence, 84, pp. 209--255, 1996.
Autoepistemic Description Logics - Donini, Nardi, Rosati (1997) (1 citation) (Correct)
No context found.
G. Lakemeyer. Limited reasoning in first-order knowledge bases with full introspection. AIJ 84:209--255, 1996.
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC