See this document in CiteSeerX!

CHICA, an abductive planning system based on Event Calculus (1994)  (Make Corrections)  
Lode Missiaen, Maurice Bruynooghe, Marc Denecker



  Home/Search   Context   Related

 
View or download:
cs.kuleuven.ac.be/~dtai/pu...1717.ps.gz
Cached:  PS.gz  PS  PDF   Image  Update  Help

From:  cs.kuleuven.ac.be/...1995E.shtml (more)
(Enter author homepages)

Rate this article: (best)
  Comment on this article  
(Enter summary)

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