Paulo E. Santos  Home/Search
Context
Related
| iis.ee.ic.ac.uk/~p.santo...thesis7.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: iis.ee.ic.ac.uk/~p.santo...papers (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Looking at the history of Artificial Intelligence, often theoretical rigor seems inversely proportional to practical applicability. Particularly, in the field of robotics, there is a gap between the research on knowledge representation and practical robotics. (Update)
Similar documents (at the sentence level):
12.2%: Common Sense of a Mobile Robot and the Consistency of Event.. - Santos (1999) (Correct)
Active bibliography (related documents): More All
5.7: Formalising the Common Sense of a Mobile Robot - Santos (1998) (Correct)
0.6: The Nature of Knowledge in an Abductive Event Calculus Planner - de Barros (Correct)
0.3: Hypothesising Object Relations from Image Transitions - Santos, Shanahan (Correct)
Similar documents based on text: More All
0.3: A Logical Account of the Common Sense Informatic Situation for a .. - Shanahan (1996) (Correct)
0.3: Noise and the Common Sense Informatic Situation for a Mobile Robot - Shanahan (Correct)
0.2: Noise, Non-Determinism and Spatial Uncertainty - Murray Shanahan (Correct)
BibTeX entry: (Update)
@misc{ santos-formalising,
author = "Paulo E. Santos",
title = "Formalising the Common Sense of a Mobile Robot",
url = "citeseer.ist.psu.edu/santos98formalising.html" }
Citations (may not include all citations):451 Circumscription - a form of nonmonotonic reasoning (context) - McCarthy - 1986
355 Knowledge engineering Review (context) - Wooldridge, Jennings et al. - 1995
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
191 Linear-time algorithms for testing the satisfiability of pro.. (context) - Dowling, Gallier - 1984
161 Complexity results for nonmonotonic logics (context) - Gottlob - 1992
160 Programs with common sense - McCarthy - 1959
115 Cambridge University Press (context) - Searle, chapter - 1983
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
91 Propositional circumscription and extended closed world assu.. - Eiter, Gottlob - 1993
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
88 Hard problems for simple default logics - Kautz, Selman - 1991
88 Abductive planning with event calculus (context) - Eshghi - 1988
84 The complexity of logic-based abduction - Eiter, Gottlob - 1995
76 Ramification and causality - Thielscher - 1997
71 Database updates in event calculus (context) - Kowalski - 1992
66 The role of abduction in logic programming - Kakas, Kowaslki et al. - 1998
65 Actions and events in interval temporal logic - Allen, Fergunson - 1997
58 A survey of complexity results for non-monotonic logics - Cadoli, Schaerf - 1993
58 Solving the frame problem (context) - Shanahan - 1997
51 Representing continuous change in the event calculus - Shanahan - 1990
41 Robotics and the common sense informatic situation - Shanahan - 1996
41 The complexity of model checking for circumscriptive formula.. - Cadoli - 1992
37 Non-monotonic temporal reasoning (context) - Sandewall, Shoham - 1995
29 Some computational aspects of circumscription (context) - Kolaitis, Papadimitriou - 1990
28 Default reasoning about spatial occupancy - Shanahan - 1995
25 Variants of the event calculus - Sadri, Kowlaski - 1995
25 Is intractability of non monotonic reasoning a real drawback - Cadoli, Domini et al. - 1994
21 A logical account of the common sense informatic situation f.. - Shanahan - 1996
20 The complexity of propositional closed world reasoning and c.. (context) - Cadoli, Lenzerini - 1994
17 A survey on temporal reasoning in artificial intelligence - Vila - 1994
11 Eliminating the fixed predicates from circumscription (context) - de Kleer, Konolige - 1989
9 An efficient method for eliminating varying predicates from .. - Cadoli, Eiter et al. - 1992
8 Three recent approaches to temporal reasoning (context) - Sadri - 1987
8 The problem with solutions to the frame problem - Morgenstern - 1995
4 Spatial representation and reasoning in artificial intellige.. (context) - Vieu - 1997
4 A circumscriptive event calculus (context) - Shanahan - 1995
3 Noise and the common sense informatic situation (context) - Shanahan - 1996
3 Philosophy of Science and Artificial Intelligence (context) - Aliseda-Llera, Abduction - 1997
3 chapter Cognitive Wheels: The Frame Problem (context) - Dennett, Machines et al. - 1984
3 why ai is innocent of the frame problem (context) - McDermott, framed - 1987
3 chapter Consciousness (context) - Searle, of - 1992
3 Event calculus planning revised (context) - Shanahan - 1997
3 The logic of common sense - Lifschitz - 1995
2 The computation complexity of abduction (context) - Bylander, Allemang et al. - 1991
2 What sort of computation mediates between perception and act.. (context) - Shanahan - 1996
2 Personal communication (context) - Shanahan
2 Institute for Logic Language and Computation (context) - Gennari, survey - 1998
1 Discussion of the paper a logical account of the common sens.. (context) - Shanahan - 1998
Documents on the same site (http://www.iis.ee.ic.ac.uk/~p.santos/papers.html): More
Cognitive Robotics: On the Semantic Knife-edge - Witkowski, Shanahan, Santos.. (Correct)
Hypothesising Object Relations from Image Transitions - Santos, Shanahan (Correct)
Common Sense of a Mobile Robot and the Consistency of Event.. - Santos (1999) (Correct)
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