Renwei Li, Luís Moniz Pereira  Home/Search
Context Related
| centria.di.fct.unl.pt/~l...ATAL96.ps.gz 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: centria.di.fct.unl.pt/~l...Biblio (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . A situated agent is a computer-basedsystem that is embeddedin a realtime world or environment, is ascribed with some mental states, and may enjoy a disconcerting variety of properties such as proactivity, reactivity, etc. In this paper we present the design of a class of knowledge-based situated agents and an agent specification language, called SICLE . After the SICLE interpreter receives a SICLE specification of an agent's initial knowledge base, atomic actions (their conditional effects... (Update)
Context of citations to this paper: More
...mechanism. In this paper we have used abduction as the underlying inference mechanism. The result of this paper is currently used to develop intelligent situated agent [12], which is able to observe, act and reason in the real world. Acknowledgement This work was partially...
...have used abduction as the underlying inference mechanism. The result of this paper is currently used to develop intelligent situated agent [13], which is able to observe, act and reason in the real world. Acknowledgement This work was partially supported by JNICT of Portugal...
Cited by: More
A Logic Based Language for Networked Agents - Xu, Zheng, Fan (1998) (Correct)
Knowledge Assimilation in Domains of Actions: A Possible.. - Renwei Li Lu'is (1997) (Correct)
Reasoning about Actions with Abductive Logic Programming - Lu'is Moniz (Correct)
Active bibliography (related documents): More All
0.3: How Compatiable Are Belief Revision and Mixed Initiative.. - Eklund, Nowak (Correct)
0.3: On the Dynamics of Learner Models - Paiva, Self, Hartley (1994) (Correct)
0.2: Incorporating Specificity in Extended Logic Programs for.. - Garcia, Pereira (1998) (Correct)
Similar documents based on text: More All
0.3: Refining Action Theories through Abductive Logic Programming - Renwei Li (1997) (Correct)
0.3: Temporal Reasoning with Abductive Logic Programming - Renwei Li (1996) (Correct)
0.3: What Is Believed Is What Is Explained (Sometimes) - Li, Pereira (1996) (Correct)
Related documents from co-citation: More All
5: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
5: Generalized Stable Models: A Semantics for Abduction (context) - Kakas, Mancarella - 1990
5: Knowledge representation and reasoning in incomplete logic programming (context) - Denecker - 1993
BibTeX entry: (Update)
R. Li and L.M. Pereira. Knowledge-based situated agents among us. In J. P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents III -- Proc. of the Third International Workshop on Agent Theories, Architectures, and Languages (ATAL-96), LNAI 1193, pages 375--389. Springer, 1997. http://citeseer.ist.psu.edu/article/li97knowledgebased.html More
@misc{ li97knowledgebased,
author = "R. Li and L. Pereira",
title = "Knowledge-based situated agents among us",
text = "R. Li and L.M. Pereira. Knowledge-based situated agents among us. In J.
P. Muller, M. J. Wooldridge, and N. R. Jennings, editors, Intelligent Agents
III -- Proc. of the Third International Workshop on Agent Theories, Architectures,
and Languages (ATAL-96), LNAI 1193, pages 375--389. Springer, 1997.",
year = "1997",
url = "citeseer.ist.psu.edu/article/li97knowledgebased.html" }
Citations (may not include all citations):458 A theory of diagnosis from first principles (context) - Reiter - 1987
199 Reasoning about action using a possible models approach (context) - Winslett
91 Artificial Intelligence (context) - Ginsberg - 1986
91 Teleo-reactive programs for agent control - Nilsson - 1994
90 Reasoning with Logic Programming - Alferes, Pereira - 1996
72 Belief revision and default reasoning: Syntax-based approach.. - Nebel - 1991
54 the declarative semantics of stratified deductive databases .. (context) - Przymusinski - 1987
46 Springer-Verlag (context) - Rescher, Urquhart et al. - 1971
40 Internalized plans: A representation for action resources (context) - Payton - 1991
28 Towards the unification of navigational planning and reactiv.. - Arkin - 1989
28 Managing deliberation and reasoning in real-time AI systems (context) - Ingrand, Georgeff - 1990
16 A Deliberative and Reactive Diagnosis Agent based on Logic P.. - Schroeder, Mora et al. - 1997
12 What is believed is what is explained (context) - Li, Pereira - 1996
11 REVISE: An Extended Logic Programming System for Revising Kn.. (context) - Damasio, Pereira et al. - 1994
10 Temporal reasoning with abductive logic programming - Li, Pereira - 1996
4 Knowledge Assimilation in Domains of Actions: A Possible Cau.. - Li, Pereira - 1996
3 the logic of theory change: Partial meet contraction and rev.. (context) - Alchorron, Gardenfors et al. - 1985
1 A survery of Concurrent METATEM --- the language and its app.. (context) - Fisher - 1994
1 Modelling rational agents within a BDI arcitecture (context) - Rao - 1991
1 On completeness of a positional interval logic with equality - Li, Carmo - 1995
1 A knowledge-theoretical semantics for concurrent Metatem (context) - Wooldridge - 1996
1 Updating temporal knowledge bases with the possible causes a.. - Li, Pereira - 1996
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://centria.di.fct.unl.pt/~lmp/publications/Biblio.html): More
Belief Revision in Non-Monotonic Reasoning and Logic Programming - Alferes, Pereira (1996) (Correct)
Updating Temporal Knowledge Bases with the Possible Causes.. - Li, Pereira (1996) (Correct)
LUPS - a language for updating logic programs - Alferes, Pereira.. (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