| ) Lifschitz, V., "Action languages, Answer sets and planning," in The Logic Programming Paradigm: A 25-Year Perspective, (K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, eds.), pages 357--373, Springer-Verlag, 1999. |
....We also describe an algorithm which is asymptotically optimal in the sense of average complexity. Introduction Since Kautz and Selman s paper (Kautz 1992) on satisfiability based planning there has been several work (Kautz 1996; Niemela 1996; Dimopoulos 1997; Ernst 1997; Simons 1997; Lifschitz 1999; Lifschitz 1999a; Kautz 1999) on planning through finding models of a logical theory. Most of these works focus on finding a plan of a given length. Some of the other papers that discuss finding a plan of a given length are: Wilkins 1984; Georgeff 1997; Bylander 1994; Erol 1995; Liberatore ....
....describe an algorithm which is asymptotically optimal in the sense of average complexity. Introduction Since Kautz and Selman s paper (Kautz 1992) on satisfiability based planning there has been several work (Kautz 1996; Niemela 1996; Dimopoulos 1997; Ernst 1997; Simons 1997; Lifschitz 1999; Lifschitz 1999a; Kautz 1999) on planning through finding models of a logical theory. Most of these works focus on finding a plan of a given length. Some of the other papers that discuss finding a plan of a given length are: Wilkins 1984; Georgeff 1997; Bylander 1994; Erol 1995; Liberatore 1999) If we want to ....
[Article contains additional citation context not shown here]
V. Lifschitz, "Action languages, answer sets and planning", In: The Logic Programming Paradigm, Springer-Verlag, N.Y., 1999.
No context found.
) Lifschitz, V., "Action languages, Answer sets and planning," in The Logic Programming Paradigm: A 25-Year Perspective, (K. R. Apt, V. W. Marek, M. Truszczynski, and D. S. Warren, eds.), pages 357--373, Springer-Verlag, 1999.
No context found.
V. Lifschitz, "Action languages, answer sets and planning", In: The Logic Programming Paradigm (Springer-Verlag, N.Y., 1999).
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