D. Perlis. Languages with self-reference ii: Knowledge, belief and modality. Arti...cial Intelligence, 34:179--212, 1988. Home/Search Document Not in Database Context Related Articles Check |
This paper is cited by the following papers:
First 50 documents
A Foundation for Metareasoning, Part I: The Proof Theory - Criscuolo, Giunchiglia.. (Correct)
Step-logic and the Three-wise-men Problem - Elgot-Drapkin (1991) (Correct)
Aspect-Oriented Programming versus Reflection - Malenfant, Cointe (1996) (2 citations) (Correct)
Classical vs Non-classical Logics - The Universality of Classical .. - Gabbay (1993) (2 citations) (Correct)
Definability and Commonsense Reasoning - Amati, Aiello, al. (1996) (2 citations) (Correct)
Contexts as Relativized Definitions: A Formalization Via Fixed.. - Amati, Pirri (1997) (1 citation) (Correct)
Metaprogramming in Logic - Barklund (1994) (16 citations) (Correct)
A Real-time Solution to the Wise-men Problem - Elgot-Drapkin (1991) (1 citation) (Correct)
Reflection in logic, functional and object-oriented.. - Demers, Malenfant (Correct)
Intelligent Agents: Theory and Practice - Wooldridge, Jennings (1995) (207 citations) (Correct)
On Knowledge, Strings, and Paradoxes - Kerber (1998) (Correct)
Agent Theories, Architectures, and Languages: A Survey - Wooldridge, Jennings (1994) (19 citations) (Correct)
The Logical Modelling of Computational Multi-Agent Systems - Wooldridge (1992) (16 citations) (Correct)
Logic without Model Theory - Kowalski (1994) (8 citations) (Correct)
Reasoning about Knowledge and Belief: A Syntactical Treatment - Fasli (2002) (3 citations) (Correct)
Logical Omniscience and Resourse-Bounded Agents - Whitsey (2004) (Correct)
The Liar and Related Paradoxes: Fuzzy Truth Value.. - Vezerides, Kehagias (2003) (Correct)
Default Logic and Purity of Reasoning - Amati, Aiello, Pirri (Correct)
Logical Omniscience: A Survey - Whitsey (2003) (1 citation) (Correct)
A Foundation for Metareasoning Part I: The Proof Theory - Criscuolo, Giunchiglia.. (2002) (Correct)
Theory And Application Of Self-Reference: Logic and Beyond - Perlis Self-citation (Perlis) (Correct)
Reasoning about Ignorance: A Note on the Bush-Gorbachev Problem - Kraus, Perlis, Horty (1991) (3 citations) Self-citation (Perlis) (Correct)
Memory, Reason, and Time: the Step-logic Approach - Elgot-Drapkin, Miller, Perlis (1991) Self-citation (Perlis) (Correct)
Reasoning Situated in Time I: Basic Concepts - Elgot-Drapkin, Perlis (1990) (3 citations) Self-citation (Perlis) (Correct)
Stop the World - I Want to Think - Perlis, Elgot-Drapkin, al. (1991) Self-citation (Perlis) (Correct)
First 50 documents
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