Off-line reasoning for on-line efficiency: knowledge bases

&
Artificial Intelligence 83 (2):229-239 (1996)
  Copy   BIBTEX

Abstract

This article has no associated abstract. (fix it)

Categories

Keywords

Reprint years

DOI

10.1016/0004-3702(95)00015-1

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 93,098

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

Reasoning about knowledge, Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi. [REVIEW]Valentin Goranko - 1999 - Journal of Logic, Language and Information 8 (4):469-473.
Review: Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]Rohit Parikh - 1997 - Journal of Symbolic Logic 62 (4):1484-1487.
Ronald Fagin, Joseph Y. Halpern, Yoram Moses, and Moshe Y. Vardi, Reasoning about Knowledge. [REVIEW]V. Goranko - 1999 - Journal of Logic Language and Information 8:469-473.
Varieties of off-line simulation.Shaun Nichols, Stephen P. Stich, Alan M. Leslie & David B. Klein - 1996 - In Peter Carruthers & Peter K. Smith (eds.), [Book Chapter]. Cambridge University Press. pp. 39-74.
Review: Cynthia Dwork, Yoram Moses, Knowledge and Common Knowledge in a Byzantine Environment I: Crash Failures. [REVIEW]William J. Rapaport - 1988 - Journal of Symbolic Logic 53 (2):666-666.
Principles of Knowledge Representation.Gerhard Brewka - 1996 - Center for the Study of Language and Inf.
Proceedings of the 1986 Conference on Theoretical Aspects of Reasoning about Knowledge: March 19-22, 1988, Monterey, California.Joseph Y. Halpern, International Business Machines Corporation, American Association of Artificial Intelligence, United States & Association for Computing Machinery - 1986
Parameters of cognitive efficiency—a new approach to measuring human intelligence.Friedhart Klix - 1987 - In Rainer P. Born (ed.), Artificial Intelligence: The Case Against. St Martin's Press. pp. 55.
Novelty detection and in‐line learning of novel concepts according to a case‐based reasoning process schema for high‐content image analysis in system biology and medicine.Petra Perner - 2009 - In L. Magnani (ed.), Computational Intelligence. pp. 25--3.
Human reasoning about artificial intelligence.Patrick J. Hayes, Kenneth M. Ford & J. R. Adams-Webber - 1994 - Journal of Experimental and Theoretical Artificial Intelligence 4:247-63.

Analytics

Added to PP
2020-12-22

Downloads
5 (#1,562,871)

6 months
5 (#710,311)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Add more citations

References found in this work

Logic and the complexity of reasoning.Hector J. Levesque - 1988 - Journal of Philosophical Logic 17 (4):355 - 389.

Add more references