|
33
|
Active Logics: A Unified Formal Approach to Episodic Reasoning
– Jennifer Elgot-drapkin, Sarit Kraus, Michael Miller, Madhura Nirkhe, Donald Perlis
|
|
3
|
Memory, Reason, and Time: the Step-logic Approach
– Jennifer Elgot-Drapkin, Michael Miller, Donald Perlis
- 1991
|
|
1
|
Using Step-Logic For Tractable Non-Monotonic Inference - Research Summary
– Jennifer J. Elgot-drapkin
- 1992
|
|
1
|
Stop the World - I Want to Think
– Donald Perlis, Jennifer J. Elgot-drapkin, Michael Miller
- 1991
|
|
6
|
A Real-time Solution to the Wise-men Problem
– Jennifer J. Elgot-Drapkin
- 1991
|
|
14
|
Step-logic and the Three-wise-men Problem
– Jennifer J. Elgot-drapkin
- 1991
|
|
23
|
An Overview of Nonmonotonic Reasoning and Logic Programming
– Jack Minker
- 1993
|
|
|
A Modal Active-Logic with Focus of Attention for Reasoning in Time
– Ayelet Globerman, Sarit Kraus
- 1997
|
|
5
|
Definability and Commonsense Reasoning
– Gianni Amati, Luigia Carlucci Aiello, Fiora Pirri
- 1997
|
|
4
|
Active logic semantics for a single agent in a static world
– Michael L. Anderson , Walid Gomaa , John Grant , Don Perlis
- 2007
|
|
17
|
A Logic for Characterizing Multiple Bounded Agents
– John Grant, Sarit Kraus, Donald Perlis
- 2000
|
|
24
|
Constructive Belief and Rational Representation
– Jon Doyle
- 1989
|
|
16
|
Abductive Interpretation And Reinterpretation Of Natural Language Utterances
– Susan W. McRoy
- 1993
|
|
7
|
A Multi-Agent Planner for Modelling Dialogue
– A. Taylor
- 1994
|
|
4
|
Logic and artificial intelligence
– Richmond H. Thomason
|
|
3
|
Reasoning about Persistence: A Unified Principle for State Change
– Yan Zhang, Fangzhen Lin, Eliezer L. Lozinskii, Ray Reiter, Discussions Nicholas Asher, Andreas Herzig
- 1994
|
|
2
|
Autoepistemic Logic As A Unified Basis For Nonmonotonic Reasoning
– Ilkka Niemelä, Ilkka Niemel A
- 1993
|
|
21
|
Rational Belief Revision
– Jon Doyle
- 1991
|
|
2
|
Modelling Rational Inquiry in Non-Ideal Agents
– Antonio Moreno
- 1997
|
