Reasoning Situated in Time I: Basic Concepts (1990)

Cached

Download Links

by Jennifer J. Elgot-drapkin , Donald Perlis
Citations:93 - 42 self

Documents Related by Co-Citation

267 A logic of implicit and explicit belief – H Levesque - 1984
203 A Deduction Model of Belief – K Konolige - 1986
25 D.: Presentations and this and that: logic in action – M Miller, Perlis - 1993
1488 Reasoning about Knowledge – R Fagin, J Y Halpern, Y Moses, M Y Vardi - 1995
119 Belief, awareness, and limited reasoning – Ronald Fagin, Joseph Y. Halpern - 1988
617 A truth maintenance system – J Doyle - 1979
1475 Some philosophical problems from the standpoint of artificial intelligence – John McCarthy, Patrick J. Hayes - 1969
1420 A logic for default reasoning – R Reiter - 1980
93 awareness and limited reasoning – Belief - 1987
431 Knowledge and Belief – J Hintikka - 1962
31 On the consistency of commonsense reasoning – Donald Perlis - 1986
24 A view of one’s past and other aspects of reasoned change in belief – M Miller - 1993
801 Modeling Rational Agents within a BDI-Architecture – Anand S. Rao, Michael P. Georgeff - 1991
13 D.: Thinking takes time: a modal active-logic for reasoning in time – M Nirkhe, S Kraus, Perlis - 1994
22 How to (plan to) meet a deadline between now and then – M Nirkhe, S Kraus, M Miller, D Perlis - 1997
48 Knowledge, belief and time – S Kraus, D J Lehmann - 1988
35 Active Logics: A Unified Formal Approach to Episodic Reasoning – Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
27 Conversational Adequacy: Mistakes are the Essence – Donald Perlis, Khemdut Purang, Carl Andersen - 1997
21 Steps towards a first-order logic of explicit and implicit belief – Gerhard Lakemeyer - 1986