Luís Moniz Pereira, Paulo Quaresma  Home/Search
Context Related
| centria.di.fct.unl.pt/~l...inap98.ps.gz di.uevora.pt/~pq/papers/inap98.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: We present a logic programming framework implemented over Prolog which is able to model an agent's mental state. An agent is modeled by a set of extended logic programming rules representing the agent's behavior, attitudes (beliefs, intentions, and goals), world knowledge, and temporal and reasoning procedures. At each stage the agents's mental state is defined by the well founded model of the extended logic program plus some constraints. Via this modeling an agent is able to interact with... (Update)
Context of citations to this paper: More
.... knowledge in time [1, 2] combine rules learned by agents [17] reason about updates of agents beliefs [9] model agent interaction [20, 21]; model and reason about actions [3] solve inconsistencies in metaphorical reasoning [16] The common aspect among these DLP...
.... in time [4, 6] combine rules learned by agents [31] reason about updates of agents beliefs [18] 18 model agent interaction [41, 42]; model and reason about actions [5, 6] resolve inconsistencies in metaphorical reasoning [34] combine updates and preferences...
Cited by: More
PGR: Portuguese Attorney General's Office Decisions on the Web - Quaresma, Rodrigues (2001) (Correct)
An Exercise with Dynamic Knowledge Representation - Alferes, Pereira (Correct)
Computational Logic and Multi-Agent Systems: a Roadmap - Sadri, Toni (1999) (Correct)
Similar documents (at the sentence level):
11.2%: Modeling credulousness and cooperativeness in a Logic.. - Paulo Quaresma And (Correct)
10.2%: Updating and Revising the Agents Mental State in Dialogues - Paulo Quaresma And (Correct)
Active bibliography (related documents): More All
0.2: Modeling Agents in Dialogue Systems - Quaresma, Lopes (Correct)
0.2: PGR: A Cooperative Legal IR System on the Web - Quaresma, Rodrigues (1999) (Correct)
0.2: Using Dynamic Logic Programming to Model Cooperative Dialogues - Paulo Quaresma And (1999) (Correct)
Similar documents based on text: More All
0.2: Dynamic Knowledge Representation and its Applications - Alferes, Pereira.. (2000) (Correct)
0.2: Diagnosis and Debugging as Contradiction Removal in Logic Programs - Lu'is Moniz (Correct)
0.2: Contradiction Removal Semantics with Explicit Negation - Pereira, Alferes.. (1992) (Correct)
Related documents from co-citation: More All
7: Dynamic logic programming - Alferes, Leite et al. - 1998
7: Default negated conclusions: why not (context) - Dam, Pereira - 1996
6: Logic Programs with Classical Negation (context) - Gelfond - 1990
BibTeX entry: (Update)
L. M. Pereira and P. Quaresma. Modelling agent interaction in logic programming. In Osamu Yoshie, editor, INAP'98 - The 11th International Conference on Applications of Prolog, pages 150--156, Tokyo, Japan, September 1998. Science University of Tokyo. http://citeseer.ist.psu.edu/pereira98modelling.html More
@inproceedings{ pereira98modelling,
author = "F. Pereira",
title = "Modelling Divergent Production: A multi-domain approach",
booktitle = "European Conference on Artificial Intelligence",
pages = "131-132",
year = "1998",
url = "citeseer.ist.psu.edu/pereira98modelling.html" }
Citations (may not include all citations):96 Communicative actions for artificial agents - Cohen, Levesque - 1995
47 What is Intention (context) - Bratman - 1990
30 Localized Abductive Planning with the Event Calculus (context) - Missiaen - 1991
8 Artimis: Natural dialogue meets rational agency (context) - Sadek, Bretier et al. - 1997
7 Knowledge Representation and Reasoning for Mixed-Initiative .. - Ferguson - 1995
4 volume 1111 of Lecture Notes in Artificial Intelligence (context) - Alferes, Pereira et al. - 1996
4 Revise: An extended logic progamming system for revising kno.. (context) - Dam'asio, Nejdl et al. - 1994
1 The extended stable models of contradiction removal semantic.. (context) - Pereira, Alferes et al. - 1991
1 Tecnologia da Universidade Nova de Lisboa (context) - Quaresma, em et al. - 1997
1 Managing temporal knowledge in student modeling - Giangrandi, Tasso - 1997
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