663 citations found. Retrieving documents...
J. McCarthy and P. J. Hayes. Some philosophical problems from the standpoint of artificial intelligence. In B. Meltzer and D. Michie, editors, Machine Intelligence 4, pages 463--502. Edinburgh University Press, 1969. reprinted in McC90.

 Home/Search   Document Not in Database   Context   Related Articles   Check  

This paper is cited by the following papers:

First 50 documents  Next 50

Using Constrained Intuitionistic Linear Logic for Hybrid.. - Planning Problems Uluc   (Correct)
A Model for Deliberation, Action, and Introspection - Doyle (1980)   (1 citation)  (Correct)
Artificial Intelligence and Rational Self-Government - Doyle (1988)   (14 citations)  (Correct)
Context in Artificial Intelligent and Information Modeling - Theodorakis, Spyratos (2002)   (Correct)
Regression in Modal Logic - Demolombe, Herzig, Varzinczak (2003)   (Correct)
An Assessment of Actions With Indeterminate - Eects (2004)   (Correct)
Regression in Modal Logic - Andreas (2003)   (Correct)
Knowledge, Belief, and Noisy Sensing in the Situation Calculus - Simari (2004)   (Correct)
Domain Descriptions Should Be Modular - Ivan (2004)   (Correct)
Foundations for Knowledge-Based Programs Using ES - Claßen, Lakemeyer (2006)   (Correct)
Argument-Based Critics and Recommenders: A Qualitative .. - Chesnevar, Maguitman, .. (2005)   (Correct)
Mitsubishi Electric Research Laboratories - Http Www Merl (2002)   (Correct)
Survival Kit: A Bottom Layer for Robot Navigation - Santana (2005)   (Correct)
Representation of Concept Specialization - Distance Through Resemblance   (Correct)
Ability in a Multi-Agent Context: A Model in the Situation.. - Cholvy, Garion, Saurel   (Correct)
Reasoning Methods for Personalization on the Semantic Web - Antoniou, Baldoni.. (2004)   (Correct)
The Refined Extension Principle for Semantics of.. - Alferes, Banti..   (Correct)
Semantics for a Useful Fragment of the Situation Calculus - Lakemeyer, Levesque (2005)   (Correct)
BioSim - a biomedical character-based problem.. - Cai, Snel, Cheng.. (2004)   (Correct)
Reasoning about Knowledge and Belief: A Syntactical Treatment - Fasli (2002)   (3 citations)  (Correct)
Istituto per la Ricerca Scientifica e Tecnologica - Trento Gamma Loc   (Correct)
Formal Analysis of Early Requirements Specifications - Fuxman (2001)   (6 citations)  (Correct)
On the Impact of Stratification on the Complexity of.. - Niemelä, Rintanen   (Correct)
I N F S Y S - Institut Ur Informationssysteme   (Correct)
Semantic Web Services Languages and Technologies: Comparison and .. - Aggarwal (2004)   (1 citation)  (Correct)

First 50 documents  Next 50

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