S. Holldobler. On deductive planning and the frame problem. In A. Voronkov, editor, Proceedings of the Conference on Logic Programming and Automated Reasoning, pages 13-29. Springer, LNCS, 1992. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Descriptions in the Fluent Calculus - Hölldobler (Correct)
.... cupboard ) s 0 ) Using macro (2) we thus assert f holds(pos(b; table) s 1 ) holds(receptacle(b) s 1 ) holds(in(p 2 ; b) s 1 ) holds(in(p 1 ; b) s 1 ) g: One should also observe, that the frame problem has been solved in a representationally as well as inferentially adequate way [3]. 5 Speci city As a second example of a state update axiom consider the action description h drop(B) holds(box (B) S) pos(B; oor ) pos(B; Z) i; 7) which can be used to drop elements of box to the oor. Again, less speci c concepts like fbox inherit this action. If the box is fragile, ....
S. Holldobler. On deductive planning and the frame problem. In A. Voronkov, editor, Proceedings of the Conference on Logic Programming and Automated Reasoning, pages 13-29. Springer, LNCS, 1992.
The Role of Automated Deduction in Intellectics - Bibel, Thielscher (Correct)
....and non monotonicity , we will point out the refinements and restrictions required for connections and paths in order to cope with these aspects adequately; yet both concepts do remain fundamental. Resource sensitivity is an important aspect of reasoning about actions and change [9, 10]. A straightforward use of classical logic lacks the essential property that facts describing a world state may change in the course of time. To overcome this problem, the truth value of a particular fact has to be associated with a particular state. This solution brings on the famous technical ....
Steffen Holldobler. On Deductive Planning and the Frame Problem. In A. Voronkov, editor, Proceedings of the International Conference on Logic Programming and Automated Reasoning (LPAR), volume 624 of LNAI, pages 13--29. Springer, July 1992.
The Boundary between Decidable and Undecidable Fragments of.. - Hölldobler, Kuske (2000) Self-citation (Olldobler) (Correct)
.... The use of multisets instead of sets, or, equivalently, the use of new address: University of Leicester, Department of Mathematics and Computer Science, University Road, Leicester LE1 7RH, UK an AC1 theory instead of an ACI1 theory allows for an elegant solution of the frame problem [9]. Whereas in a multiset of uents the elements are viewed as resources and actions produce and consume resources, one sometimes likes to view resources as properties, which do or do not hold in a state. This view can be supported in the uent calculus as well by additionally requiring that each ....
S. Holldobler. On deductive planning and the frame problem. In A. Voronkov, editor, Proceedings of the Conference on Logic Programming and Automated Reasoning, pages 13-29. Springer, LNCS, 1992.
Logic Programming for General Game-Playing - Pell (1993) (1 citation) (Correct)
No context found.
Steffen H olldobler. On deductive planning and the frame problem. In A. Voronkov, editor, Logic Programming and Automated Reasoning. Springer-Verlag, 1992.
Logic Programming for General Game-Playing - Pell (1993) (1 citation) (Correct)
No context found.
Steffen H olldobler. On deductive planning and the frame problem. In A. Voronkov, editor, Logic Programming and Automated Reasoning. Springer-Verlag, 1992.
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