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