Jana Koehler  Home/Search
Context Related
| dfki.de/iui/rap/Publi...jkecai94.ps.gz 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: dfki.unisb.de/iui2/iuibib_de (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: . We present a general approach to flexible plan modification based on a deductive framework that enables a planner to correctly modify complex plans containing control structures like conditionals and iterations. 1 Introduction Work on plan reuse and modification is motivated by expected gains in flexibility and efficiency when planners are provided with the ability to modify and reuse plans. The need to modify existing plans occurs when execution fails, where a plan has to be revised in the ... (Update)
Context of citations to this paper: More
.... In the following, we discuss both sequent proofs as they are performed by the proof tactics used during plan interpretation [ Koehler, 1994c ] The tactics run in polynomial time on the length of the input formula. On one hand, this enables plan interpretation to efficiently...
Cited by: More
Planning from Second Principles - Koehler (1996) (Correct)
Avoiding Pitfalls in Case-based Planning - Koehler (1994) (Correct)
Similar documents (at the sentence level):
56.8%: Correct Adaptation of Complex Plans - Jana Koehler (1994) (Correct)
7.8%: Flexible Plan Reuse in a Formal Framework - Jana Koehler (1994) (Correct)
Active bibliography (related documents): More All
0.5: PHI - A Logic-Based Tool for Intelligent Help Systems - Bauer, Biundo, Dengler.. (1993) (Correct)
0.3: Present-Day Deductive Planning - Susanne Biundo (1994) (Correct)
0.2: Plan Reuse versus Plan Generation: A Theoretical and.. - Nebel, Koehler (1995) (Correct)
Similar documents based on text: More All
0.0: A Classification of Plan Modification Strategies Based on.. - Kambhampati (1990) (Correct)
0.0: On the Instantiation of ADL Operators Involving Arbitrary.. - Koehler, Hoffmann (2000) (Correct)
0.0: On Three-Layer Architectures - Gat (1997) (Correct)
Related documents from co-citation: More All
2: PHI---A logic-based tool for intelligent help systems - Bauer, Biundo et al. - 1993
2: Deductive Planning and Plan Reuse in a Command Language Environment - Biundo, Dengler et al. - 1992
2: Plan modification versus plan generation: A complexity-theoretic perspective - Nebel, Koehler - 1992
BibTeX entry: (Update)
Koehler, J. 1994b. Correct modification of complex plans. In Cohn, A., ed., ECAI-94, 599--603. John Wiley & Sons, Chichester, New York. http://citeseer.ist.psu.edu/170371.html More
@inproceedings{ koehler94correct,
author = "Jana Koehler",
title = "Correct Modification of Complex Plans",
booktitle = "European Conference on Artificial Intelligence",
pages = "605-609",
year = "1994",
url = "citeseer.ist.psu.edu/170371.html" }
Citations (may not include all citations):505 Implementing Mathematics with the Nuprl Proof Development Sy.. - Constable - 1986
182 Logic for Problem Solving (context) - Kowalski - 1979
163 Application of theorem proving to problem solving (context) - Green - 1969
111 A deductive solution for plan generation (context) - Bibel - 1986
102 A validation-structurebased theory of plan modification and .. (context) - Kambhampati, Hendler - 1992
37 Tactical theorem proving in program verification (context) - Heisel, Reif et al. - 1990
28 Systematic adaptation for case-based planning (context) - Hanks, Weld - 1992
26 Plan reuse versus plan generation: A theoretical and empiric.. - Nebel, Koehler - 1993
24 PHI - a logic-based tool for intelligent help systems - Bauer, Biundo et al.
24 Deductive planning and plan reuse in a command language envi.. - Biundo, Dengler et al. - 1992
23 An application of terminological logics to casebased reasoni.. - Koehler - 1994
17 Plan modification versus plan generation: A complexity-theor.. - Nebel, Koehler
12 How to clear a block: Plan formation in situational logic (context) - Manna, Waldinger - 1987
12 Avoiding pitfalls in case-based planning - Koehler - 1994
11 Flexible plan reuse in a formal framework - Koehler - 1994
11 Isabelle: The next 700 theorem provers (context) - Paulson - 1990
3 The logical language for planning LLP (context) - Biundo, Dengler - 1994
Documents on the same site (http://www.dfki.uni-sb.de/iui2/iuibib_de.html): More
An Adaptive Deductive Planning System - Dietmar Dengler (1994) (Correct)
Quantitative Modeling of User Preferences for Plan Recognition - Bauer (1994) (Correct)
Plan Modification versus Plan Generation: A.. - Nebel, Koehler (1992) (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