Steffen Hölldobler, Michael Thielscher  Home/Search
Context
Related
| ki.inf.tudresden.de/~mit/...ILPS93.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 solution to the problem of specificity in a resource-oriented deductive approach to actions and change is presented. Specificity originates in the problem of overloading methods in object oriented frameworks but can be observed in general applications of actions and change in logic. We give a uniform solution to the problem of specificity culminating in a completed equational logic program with an equational theory. We show the soundness and completeness of SLDENF-resolution, ie.... (Update)
Similar documents (at the sentence level):
62.0%: Actions and Specificity - Hölldobler, Thielscher (1993) (Correct)
6.3%: Computing Change and Specificity with Equational Logic.. - Hölldobler, Thielscher (Correct)
Active bibliography (related documents): More All
0.6: Representing Actions in Equational Logic Programming - Thielscher (1994) (Correct)
0.5: Deductive Plan Generation - Bibel, Thielscher (1994) (Correct)
0.4: Linear Deductive Planning - Große, Hölldobler, Schneeberger (1992) (Correct)
Similar documents based on text: More All
0.6: Spatial Reasoning and Connectionist Inference - Beringer, Hölldobler, Kurfeß (1993) (Correct)
0.5: Computing Ramifications by Postprocessing - Thielscher (1995) (Correct)
0.5: Disjunction in Resource-Oriented Deductive Planning - Brüning, Hölldobler.. (1994) (Correct)
BibTeX entry: (Update)
@misc{ holldobler-actions,
author = "Steffen H{\"o}lldobler and Michael Thielscher",
title = "Actions and Specificity",
url = "citeseer.ist.psu.edu/589416.html" }
Citations (may not include all citations):891 STRIPS: A new approach to the application of theorem proving.. (context) - Fikes, Nilsson - 1971
759 Negation as Failure (context) - Clark - 1978
663 Some Philosophical Problems from the Standpoint of Artificia.. (context) - McCarthy, Hayes - 1969
435 Towards a theory of declarative knowledge (context) - Apt, Blair et al. - 1987
374 Classical Negation in Logic Programs and Disjunctive Databas.. - Gelfond, Lifschitz - 1991
297 Applications of circumscription to formalizing commonsense k.. - McCarthy - 1986
223 Linear Objects: Logical Processes with built-in Inheritance - Andreoli, Pareschi - 1991
175 Nonmonotonic logic and temporal projection (context) - Hanks, McDermott - 1987
111 A Deductive Solution for Plan Generation (context) - Bibel - 1986
109 Constructive Negation Based on the Completed Database (context) - Chan - 1988
77 the Semantics of STRIPS - Lifschitz - 1986
77 Representing Incomplete Knowledge in Abductive Logic Program.. - Denecker, de Schreye - 1993
70 Soundness and Completeness Theorems for Three Formalizations.. - Kartha - 1993
66 Generating Plans in Linear Logic (context) - Masseron, Tollu et al. - 1990
65 A New Deductive Approach to Planning (context) - Holldobler, Schneeberger - 1990
44 Representing Actions in Extended Logic Programming (context) - Gelfond, Lifschitz - 1992
43 Representing Actions in Logic Programming and its Applicatio.. (context) - Dung - 1993
34 Situations and Actions and Causal Laws (context) - McCarthy - 1963
32 Computing Change and Specificity with Equational Logic Progr.. (context) - Holldobler, Thielscher - 1993
31 Representing Actions in Equational Logic Programming - Thielscher - 1993
30 Formalizing database evolution in the situation calculus - Reiter - 1992
19 Journal of Theoretical Computer Science (context) - Girard - 1987
17 On Deductive Planning and the Frame Problem (context) - Holldobler - 1992
16 Plan Generation by Linear Deduction (context) - Schneeberger - 1992
15 Equational Logic Programming (context) - Groe, Holldobler et al. - 1992
8 AC1-Unifikation in der linearen logischen Programmierung (context) - Thielscher - 1992
7 A theory of complete logic programs with equality (context) - Ja, J-L et al. - 1984
7 volume 7 of Artificial Intelligence Series (context) - Kowalski, Problem - 1979
6 SLDNF--Resolution with Equality (context) - Sheperdson - 1992
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)
Skeptical Query-Answering in Constrained Default Logic - Schaub, Thielscher (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