Gerd Große, Steffen Hölldobler, Josef Schneeberger  Home/Search
Context Related
Links: DBLP | pikas.inf.tudresden.de/steffe...a10.ps 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: pikas.inf.tudresden.de/ste...pub (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: Recently, three approaches to deductive planning were developed, which solve the technical frame problem without the need to state frame axioms explicitly. These approaches are based on the linear connection method, an equational Horn logic, and linear logic. At first glance these approaches seem to be very different. In the linear connection method a syntactical condition --- each literal is connected at most once --- is imposed on proofs. In the equational logic approach situations and plans... (Update)
Context of citations to this paper: More
.... He there describes a treatment of ramification in which one first computes the direct e#ects of actions using the fluent calculus [13] by [3] this is equivalent to non modal linear logic) and then applies a rewrite system to compute the ramification. We can obtain the same...
.... several attempts to solve the fundamental Frame Problem [39] Our calculus roots in the logic programming formalism of [20] which in [16] has been proved equivalent to approaches to the Frame Problem that appeal to non classical logics, namely, linearized versions of the...
Cited by: More
The Fluent Calculus - A Specification Language for Robots with.. - Thielscher (2000) (Correct)
Ramification and Linear Logic - White (1999) (Correct)
Active bibliography (related documents): More All
2.1: Linear Deductive Planning - Große, Hölldobler, Schneeberger (1996) (Correct)
1.1: On Deductive Planning and the Frame Problem - Hölldobler (1992) (Correct)
0.7: Equational Logic Programming, Actions, and Change - Große, Hölldobler.. (1992) (Correct)
Similar documents based on text: More All
1.1: Disjunction in Resource-Oriented Deductive Planning - Brüning, Hölldobler.. (1994) (Correct)
0.8: Towards Efficient Calculi for Resource-Oriented Deductive Planning - Brüning (1993) (Correct)
0.7: Actions and Specificity - Hölldobler, Thielscher (1993) (Correct)
Related documents from co-citation: More All
3: Some Philosophical Problems from the Standpoint of Artificial Intelligence (context) - McCarthyandPatrickHayes - 1969
3: Let's plan it deductively - Bibel - 1997
2: Fluent Calculus planning with continuous change (context) - Thielscher - 1999
BibTeX entry: (Update)
Gerd Groe, Ste#en Holldobler, and Josef Schneeberger. Linear deductive planning. Technical Report AIDA--92--08, FG Intellektik, FB Informatik, TH Darmstadt, 1992. http://citeseer.ist.psu.edu/article/groe92linear.html More
@techreport{ groe92linear,
author = "G. Grosse and S. Holldobler and J. Schneeberger",
title = "Linear deductive planning",
text = "Technical Report AIDA--92--08, FG Intellektik, FB Informatik,
TH Darmstadt, 1992.",
year = "1992",
url = "citeseer.ist.psu.edu/article/groe92linear.html" }
Citations (may not include all citations):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 ACM
451 Circumscription - a form of non-monotonic reasoning (context) - McCarthy - 1990 ACM DBLP
297 Applications of circumscription to formalizing common-sense .. - McCarthy - 1986 ACM DBLP
223 Linear objects: Logical processes with built-in inheritance - Andreoli, Pareschi - 1991 ACM
142 Automated Theorem Proving (context) - Bibel - 1987 ACM
114 Building-in equational theories (context) - Plotkin - 1972
111 A deductive solution for plan generation (context) - Bibel - 1986 ACM DBLP
111 A deductive solution for plan generation (context) - Bibel - 1989 ACM DBLP
87 Frames in the space of situations (context) - Lifschitz - 1990 DBLP
66 and the frame problem (context) - Hanks, McDermott et al. - 1986
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
56 How to do things with worlds --- on formalizing actions and .. (context) - Brewka, Hertzberg - 1993
48 Towards a mathematical science of computation (context) - McCarthy - 1962 DBLP
44 Representing actions in extended logic programming (context) - Gelfond, Lifschitz - 1992 DBLP
34 Situations and actions and causal laws (context) - McCarthy - 1963
32 A logic programming language scheme (context) - Jaffar, Lassez et al. - 1986
31 Representing Actions in Equational Logic Programming - Thielscher - 1994 ACM DBLP
29 On formalizing database updates: Preliminary report - Reiter - 1992 DBLP
28 volume 353 of Lecture Notes in Artificial Intelligence (context) - Holldobler, Equational - 1989
21 The frame problem and related problems in artificial intelli.. (context) - Hayes - 1973 ACM
21 Actions and specificity - Holldobler, Thielscher - 1993 ACM DBLP
19 Journal of Theoretical Computer Science (context) - Girard - 1987
16 Plan Generation by Linear Deduction (context) - Schneeberger - 1992
16 Plan generation by linear proofs: on semantics (context) - Bibel, Cerro et al. - 1989 DBLP
15 Equational logic programming (context) - Groe, Holldobler et al. - 1992 ACM DBLP
10 The Frame Problem in Artificial Intelligence: Proceedings (context) - Brown - 1987
9 LLP --- Lineare Logische Programmierung (context) - Sigmund - 1992
8 AC1-Unifikation in der linearen logischen Programmierung (context) - Thielscher - 1992
7 Disjunction in plan generation by equational logic programmi.. (context) - Bruning, Groe et al. - 1993
6 New Generation Computing (context) - Fronhofer, plan - 1987
6 volume 7 of Artificial Intelligence (context) - Kowalski, Problem - 1979
5 A review on automatic theorem proving (context) - Robinson - 1967
2 Soundness and completeness theorems for three formalizations.. (context) - Kharta - 1993 DBLP
Documents on the same site (http://pikas.inf.tu-dresden.de/steffen/pub.html): More
A Recursive Neural Network for Reflexive Reasoning - Hölldobler, Kalinke, Wunderlich (Correct)
Descriptions in the Fluent Calculus - Hölldobler (Correct)
Massively Parallel Reasoning - Bornscheuer, Hölldobler, Kalinke.. (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