Renwei Li, Luís Moniz Pereira  Home/Search
Context Related
| centria.di.fct.unl.pt/~...AIMSA96.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: This paper presents a formal and computational methodology for updating temporal knowledge bases about actions and changes. Technically we employ the action description language AC of [8] to describe cause-effect relations on domains of (concurrent) actions. The knowledge bases on domains of (concurrent) actions are defined and obtained by a new translation from domain descriptions in AC into abductive normal logic programs, where a time dimension is incorporated. The knowledge bases are shown... (Update)
Context of citations to this paper: More
.... predicates holds(F; T ) and holds( F; T ) through a translation from it to abductive logic programs in an analogous way to that of [10, 12], and thus can be used to generate plans, to explain the past or to predict the future. More discussions are omitted. 6 Intentions An...
Cited by: More
Knowledge-Based Situated Agents among Us - Li, Pereira (1997) (Correct)
Similar documents (at the sentence level): More
27.7%: Reasoning about Actions with Abductive Logic Programming - Lu'is Moniz (Correct)
26.5%: What Is Believed Is What Is Explained (Sometimes) - Li, Pereira (1996) (Correct)
16.1%: Temporal Reasoning with Abductive Logic Programming - Renwei Li (1996) (Correct)
Active bibliography (related documents): More All
0.2: Refining Action Theories through Abductive Logic Programming - Renwei Li (1997) (Correct)
0.1: A Modal Programming Language for Representing Complex.. - Baldoni, Giordano.. (1998) (Correct)
0.1: An Abductive Proof Procedure for Reasoning about.. - Baldoni, Giordano, .. (1997) (Correct)
Similar documents based on text: More All
0.2: Application of Category Theory in Model-Based Diagnostic Reasoning - Li, Pereira (1995) (Correct)
0.2: Maintenance of Consistency in Well-Founded Models of Extended.. - Renwei Li (Correct)
BibTeX entry: (Update)
Li, R. and Pereira, L. M., Updating temporal knowledge bases with the possible causes approach, in: A. M.Ramsay (ed.), Artificial Intelligence: Methodology, Systems, Applications, IOS Press, 1996, pp. 148 - 157 http://citeseer.ist.psu.edu/li96updating.html More
@misc{ li96updating,
author = "R. Li and L. Pereira",
title = "Updating temporal knowledge bases with the possible causes approach",
text = "Li, R. and Pereira, L. M., Updating temporal knowledge bases with the possible
causes approach, in: A. M.Ramsay (ed.), Artificial Intelligence: Methodology,
Systems, Applications, IOS Press, 1996, pp. 148 - 157",
year = "1996",
url = "citeseer.ist.psu.edu/li96updating.html" }
Citations (may not include all citations):256 Representing action and change by logic programs - Gelfond, Lifschitz - 1993
199 Reasoning about action using a possible models approach (context) - Winslett - 1988
149 the logic of theory change: Partial meet contraction and rev.. (context) - Alchorr'on, Gardenfors et al. - 1985
120 Investigations into a theory of knowledge base revision: Pre.. - Dalal
91 Artificial Intelligence (context) - Ginsberg - 1986
83 The logic of persistence (context) - Kautz - 1986
78 Acyclic programs (context) - Apt, Bezem
77 Representing incomplete knowledge in abductive logic program.. - Denecker, de Schreye - 1993
72 Belief revision and default reasoning: Syntax-based approach.. - Nebel - 1991
12 What is believed is what is explained (context) - Li, Pereira - 1996
10 Temporal reasoning with abductive logic programming - Li, Pereira - 1996
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)
LUPS - a language for updating logic programs - Alferes, Pereira.. (1999) (Correct)
Iterated Logic Program Updates - Leite, Pereira (1998) (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