Limited reasoning in first-order knowledge bases

Artificial Intelligence 71 (2):213-255 (1994)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(94)90044-2

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,709

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

Limited reasoning in first-order knowledge bases with full introspection.Gerhard Lakemeyer - 1996 - Artificial Intelligence 84 (1-2):209-255.
On the emergence of reasons in inductive logic.J. Paris & M. Wafy - 2001 - Logic Journal of the IGPL 9 (2):207-216.
Probabilistic default reasoning.Gerhard Paass - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 75--85.
Ethical and methodological aspects of medical computer data bases and knowledge bases.Jan Doroszewski - 1988 - Theoretical Medicine and Bioethics 9 (2).
Structural Inference from Conditional Knowledge Bases.Gabriele Kern-Isberner & Christian Eichhorn - 2014 - Studia Logica 102 (4):751-769.
The Logic of Knowledge Bases.Hector J. Levesque & Gerhard Lakemeyer - 2001 - MIT Press.
Against the iterated knowledge account of high-stakes cases.Jie Gao - 2019 - Episteme 16 (1):92-107.
Reasoning about knowledge.Ronald Fagin, Joseph Y. Halpern, Yoram Moses & Moshe Vardi - 2003 - Cambridge, Mass.: MIT Press.
Bridging Theorem Proving and Mathematical Knowledge Retrieval.Christoph Benzmüller, Andreas Meier & Volker Sorge - 2004 - In Dieter Hutter (ed.), Mechanizing Mathematical Reasoning: Essays in Honor of Jörg Siekmann on the Occasion of His 60th Birthday. Springer. pp. 277-296.
Observing, reporting, and deciding in networks of sentences.H. Jerome Keisler & Jeffrey M. Keisler - 2014 - Annals of Pure and Applied Logic 165 (3):812-836.
Second-order reasoning in description logics.Andrzej Szalas - 2006 - Journal of Applied Non-Classical Logics 16 (3-4):517-530.
Gerhard Lakemeyer. Steps towards a first-order logic of explicit and implicit belief. Theoretical aspects of reasoning about knowledge, Proceedings of the 1986 conference, edited by Joseph Y. Halpern, Morgan Kaufmann Publishers, Los Altos1986, pp. 325–340. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):668.
Non-monotonic reasoning in a semantic network.Marcel Cori - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 239--248.
Towards a general theory of evidential reasoning.James F. Baldwin - 1991 - In B. Bouchon-Meunier, R. R. Yager & L. A. Zadeh (eds.), Uncertainty in Knowledge Bases. Springer. pp. 359--369.
Knowledge Bases and Neural Network Synthesis.Todd R. Davies - 1991 - In Hozumi Tanaka (ed.), Artificial Intelligence in the Pacific Rim: Proceedings of the Pacific Rim International Conference on Artificial Intelligence. IOS Press. pp. 717-722.

Analytics

Added to PP
2020-12-22

Downloads
3 (#1,708,708)

6 months
1 (#1,464,097)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Substructural epistemic logics.Igor Sedlár - 2015 - Journal of Applied Non-Classical Logics 25 (3):256-285.
Relevance from an epistemic perspective.Gerhard Lakemeyer - 1997 - Artificial Intelligence 97 (1-2):137-167.
Approximate coherence-based reasoning.Frédéric Koriche - 2002 - Journal of Applied Non-Classical Logics 12 (2):239-258.

View all 6 citations / Add more citations

References found in this work

Quantifying in.David Kaplan - 1968 - Synthese 19 (1-2):178-214.
Semantic Considerations on nonmonotonic Logic.Robert C. Moore - 1985 - Artificial Intelligence 25 (1):75-94.
Hard problems for simple default logics.Henry A. Kautz & Bart Selman - 1991 - Artificial Intelligence 49 (1-3):243-279.

View all 9 references / Add more references