Michael Thielscher  Home/Search
Context Related
Links: ACM DBLP | ki.inf.tudresden.de/~mit/...ICLP94.pdf 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: ki.inf.tudresd...deredabstracts (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: A sound and complete approach for encoding the action description language developed by M. Gelfond and V. Lifschitz in an equational logic program is given. Our results allow the comparison of the resource-oriented equational logic based approach and various other methods designed for reasoning about actions, most of them based on variants of the situation calculus, which were also related to the action description language recently. (Update)
Cited by: More
Representing Concurrent Actions and Solving Conflicts - Bornscheuer, Thielscher (1994) (Correct)
The Logic of Dynamic Systems - Thielscher (1995) (Correct)
Computing Ramifications by Postprocessing - Thielscher (1995) (Correct)
Similar documents (at the sentence level):
55.0%: Representing Actions in Equational Logic Programming - Thielscher (1994) (Correct)
Active bibliography (related documents): More All
0.6: Deductive Plan Generation - Bibel, Thielscher (1994) (Correct)
0.6: Actions and Specificity - Hölldobler, Thielscher (1993) (Correct)
0.5: Computing Change and Specificity with Equational Logic.. - Hölldobler, Thielscher (Correct)
Similar documents based on text: More All
0.6: Tutorial: Synthesis of Logic Programs - Lau, Wiggins (Correct)
0.2: Unconstrained Speculative Execution with Predicated State Buffering - al. (1995) (Correct)
0.2: NIFDY: A Low Overhead, High Throughput Network Interface - Timothy Callahan (1995) (Correct)
Related documents from co-citation: More All
21: Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993
20: Some philosophical problems from the standpoint of Artificial Intelligence (context) - McCarthy, Hayes - 1969
20: Representing Concurrent Actions in Extended Logic Programming (context) - Baral, Gelfond - 1993
BibTeX entry: (Update)
M. Thielscher. Representing Actions in Equational Logic Programming. In P. Van Hentenryck, editor, Proceedings of ICLP, pages 207--224. MIT Press, 1994. http://citeseer.ist.psu.edu/thielscher94representing.html More
@inproceedings{ thielscher94representing,
author = "Michael Thielscher",
title = "Representing Actions in Equational Logic Programming",
booktitle = "International Conference on Logic Programming",
pages = "207-224",
year = "1994",
url = "citeseer.ist.psu.edu/thielscher94representing.html" }
Citations (may not include all citations):1838 Foundations of Logic Programming (context) - Lloyd - 1987
891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971 DBLP
759 Negation as Failure (context) - Clark - 1978 ACM DBLP
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
388 The frame problem in the situation calculus: A simple soluti.. (context) - Reiter - 1991
324 A logic based calculus of events (context) - Kowalski, Sergot - 1986
297 Applications of circumscription to formalizing common-sense .. - McCarthy - 1986 ACM DBLP
256 Representing Action and Change by Logic Programs - Gelfond, Lifschitz - 1993 DBLP
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987 ACM DBLP
163 Application of theorem proving to problem solving (context) - Green - 1969 DBLP
128 Nonmonotonic reasoning in the framework of situation calculu.. - Baker - 1991 ACM DBLP
111 A Deductive Solution for Plan Generation (context) - Bibel - 1986 ACM DBLP
109 Constructive Negation Based on the Completed Database (context) - Chan - 1988 DBLP
77 Representing Incomplete Knowledge in Abductive Logic Program.. - Denecker, de Schreye - 1993 ACM DBLP
77 the Semantics of STRIPS - Lifschitz - 1986
70 Soundness and Completeness Theorems for Three Formalizations.. - Kartha - 1993
66 Generating Plans in Linear Logic (context) - Masseron, Tollu et al. - 1990 ACM DBLP
65 A New Deductive Approach to Planning (context) - Holldobler, Schneeberger - 1990 ACM DBLP
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993 ACM DBLP
42 A simple solution to the Yale shooting problem - Baker - 1989 ACM DBLP
32 Computing Change and Specificity with Equational Logic Progr.. (context) - Holldobler, Thielscher - 1994 DBLP
27 Technical Report LiTH-IDA-R (context) - Sandewall, Fluents - 1992
23 SLDNF--Resolution with Equality (context) - Shepherdson - 1992
21 Actions and Specificity - Holldobler, Thielscher - 1993 ACM DBLP
17 On Deductive Planning and the Frame Problem (context) - Holldobler - 1992 ACM DBLP
16 Disjunction in Resource--Oriented Deductive Planning (context) - Bruning, Holldobler et al. - 1993
16 Plan Generation by Linear Deduction (context) - Schneeberger - 1992
15 Equational Logic Programming (context) - Groe, Holldobler et al. - 1992 ACM DBLP
7 A theory of complete logic programs with equality (context) - Ja, Lassez et al. - 1984 DBLP
7 volume 7 of Artificial Intelligence Series (context) - Kowalski, Problem - 1979
2 Available via anonymous ftp from (context) - Thielscher, submitted - 1994
2 Modelling theories of actions by Equational Logic Programs (context) - Thielscher - 1993
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://www.ki.inf.tu-dresden.de/~mit/publications/conferences/ordered-abstracts.html): More
Addressing the Qualification Problem in FLUX - Martin, Thielscher (2001) (Correct)
Inferring Implicit State Knowledge and Plans with Sensing Actions - Thielscher (Correct)
Actions and Specificity - Hölldobler, Thielscher (1993) (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