Lode Missiaen, Maurice Bruynooghe, Marc Denecker  Home/Search
Context
Related
| cs.kuleuven.ac.be/~dtai/pu...1717.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: cs.kuleuven.ac.be/...1995E.shtml (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: This article presents the theory and implementation of an Artificial Intelligence planner, CHICA. CHICA is a non-linear, domain independent planner based on techniques of computational logic. The representation language of the planner is Horn clause logic which is used to model event calculus, a logical theory of changing properties over time. The reasoning component is an abductive extension of SLDNF resolution for generating assumptions to prove a given goal. In event calculus, this... (Update)
Active bibliography (related documents): More All
0.5: Combining Situation Calculus and Event Calculus - Van Belleghem, Denecker, De.. (1995) (Correct)
0.5: Timed Possibilistic Logic - Dubois, LANG, PRADE (1991) (Correct)
0.3: The Role of Abductive Reasoning within the Process of Belief.. - Pagnucco (1996) (Correct)
Similar documents based on text: More All
0.2: Temporal reasoning with Abductive Event Calculus - Denecker, Missiaen, Bruynooghe (1992) (Correct)
0.2: SNAP: A Protocol for Negotiating Service Level.. - Czajkowski.. (2002) (Correct)
0.1: Constraint Logic Programming: Applications and Implementation - Vandecasteele (1999) (Correct)
BibTeX entry: (Update)
@misc{ missiaen-chica,
author = "Lode Missiaen and Maurice Bruynooghe and Marc Denecker",
title = "CHICA, an abductive planning system based on Event Calculus",
url = "citeseer.ist.psu.edu/missiaen94chica.html" }
Citations (may not include all citations):1044 Maintaining knowledge about temporal intervals (context) - Allen - 1983
891 Strips: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
759 Negation as failure (context) - Clark - 1978
451 Planning for conjunctive goals (context) - Chapman - 1987
444 Towards a general theory of action and time (context) - Allen - 1984
324 A logic-based calculus of events (context) - Kowalski, Sergot - 1986
214 Constraint Satisfaction in Logic Programming (context) - Van Hentenryck - 1989
198 Practical Planning: Extending the Classical AI Planning Para.. (context) - Wilkins - 1988
109 Database updates through abduction (context) - Kakas, Mancarella - 1990
103 Prediction is deduction but explanation is abduction - Shanahan - 1989
92 Planning with constraints (context) - Stefik - 1981
90 Some philosophical problems from the standpoint of artificia.. (context) - McCarthy, Hayes - 1969
56 Temporal reasoning with abductive event calculus - Denecker, Missiaen et al. - 1992
48 Causes for events: their computation and applications (context) - Cox, Pietrzykowski - 1986
48 A theorem proving approach to database integrity (context) - Sadri, Kowalski - 1988
48 Can AI planners solve practical problems (context) - Wilkins - 1990
32 Integrity verification in knowledge bases (context) - Bry, Manthey et al. - 1990
30 Localized Abductive Planning with the Event Calculus (context) - Missiaen - 1991
24 an abductive procedure for normal abductive programs (context) - Denecker, De Schreye - 1992
21 Residue: A deductive approach to design synthesis (context) - Finger, Genesereth - 1985
16 Prodigy planning algorithm - Fink, Veloso - 1994
10 A computational model of skill acquisition (context) - Sussman - 1973
10 Localized abductive planning for robot assembly (context) - Missiaen - 1991
10 Assembly sequence planning (context) - Sanderson, de Mello et al. - 1990
10 Temporal Reasoning in Deductive Databases (context) - Sripada - 1991
8 Three recent approaches to temporal reasoning (context) - Sadri - 1987
7 Type synthesis for ground prolog (context) - Kluzniak - 1987
6 Abductive planning with the event calculus (context) - Esghi - 1988
5 Compile time garbage collection (context) - Bruynooghe - 1986
3 Using the event calculus to integrate planning and learning .. (context) - Sablon, Bruynooghe - 1994
3 Abduction compared with negation by failure (context) - Esghi, Kowalski - 1989
2 Situation calculus and event calculus in modal logic Z (context) - Missiaen - 1989
2 An extension to Kowalski and Sergot's event calculus (context) - Borillo, Gaume - 1990
1 Representating continuous change in the event calculus (context) - Shanahan - 1990
Documents on the same site (http://www.cs.kuleuven.ac.be/~dtai/publications/1995-E.shtml): More
Automated Design of Deductive Databases (Extended Abstract) - Blockeel, De Raedt (Correct)
A terminological interpretation of (Abductive) Logic Programming - Denecker (Correct)
Combining Situation Calculus and Event Calculus - Van Belleghem, Denecker, De.. (1995) (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