Conditional planning with external functions

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4483 LNAI, Issue , 2007, Pages 214-227

  Van Nieuwenborgh, Davy ^a   Eiter, Thomas ^b   Vermeir, Dirk ^a  

^a VRIJE UNIVERSITEIT BRUSSEL   (Belgium)

^b VIENNA UNIVERSITY OF TECHNOLOGY   (Austria)

Author keywords

[No Author keywords available]

Indexed keywords

CASE BASED REASONING; KNOWLEDGE ENGINEERING; PLANNING;

CONFORMANT PLANNING FRAMEWORK; INTUITIVE FASHION; LOGIC-BASED PLANNING LANGUAGE; PLANNING DESCRIPTION;

LOGIC PROGRAMMING;

EID: 38049095652     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-72200-7_19     Document Type: Conference Paper

References (17)

1. Private Communications with Gerhard Friedrich, University of Klagenfurt, Austria.
2. Ws-diamond: Web-service diagnosability, monitoring & diagnosis (ist-516933). Project website at http://wsdiamond.di.unito.it.
3. Special issue on reasoning about action and change. Journal of Logic Prog., 31(1-3), 1997.
4. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. Planning under incomplete knowledge. In Computational Logic, volume 1861 of LNCS, pages 807-821. Springer, 2000.
5. T. Eiter, W. Faber, N. Leone, G. Pfeifer, and A. Polleres. A logic programming approach to knowledge-state planning: Semantics and complexity. Transactions on Computational Logic, 5(2):206-263, 2004.
6. T. Eiter, G. Ianni, R. Schindlauer, and H. Tompits. A uniform integration of higher-order reasoning and external evaluations in answer-set programming. In Proceedings of the 19th International Joint Conference on Artificial Intelligence (IJCAI-05), pages 90-96, 2005.
7. M. Gelfond and V. Lifschitz. Classical negation in logic programs and disjunctive databases. New Generation Computing, 9(3-4):365-386, 1991.
8. M. Gelfond and V. Lifschitz. Representing action and change by logic programs. Journal of Logic Programming, 17(2/3&4):301-321, 1993.
9. E. Giunchiglia, G. N. Kartha, and V. Lifschitz. Representing action: Indeterminacy and ramifications. Artificial Intelligence, 95(2):409-438, 1997.
10. K. Golden and D. Weld. Representing sensing actions: The middle ground revisited. In Proc. of the 5th Intl. Conf. on Principles of KR and Reasoning, pages 174-185, 1996.
11. L. Iocchi, D. Nardi, and R. Rosati. Planning with sensing, concurrency, and exogenous events: logical framework and implementation. In Proc. of the 7th Intl. Conference on Principles of Knowledge Representation and Reasoning (KR 2000), pages 678-689, 2000.
12. H. J. Levesque. What is planning in the presence of sensing? In AAAI/IAAI, Vol. 2, pages 1139-1146, 1996.
13. V. Lifschitz. The Logic Programming Paradigm - A 25-Year Perspective. Springer, 1999.
14. J. Lobo, S. Taylor, and G. Mendez. Adding knowledge to the action description language A. In Proc. of the 14th National Conf. on AI (AAAI97), pages 454-459. AAAI Press, 1997.
15. T. C. Son and C. Baral. Formalizing sensing actions a transition function based approach. Artificial Intelligence, 125(1-2):19-91, 2001.
16. T. C. Son, P. H. Tu, and C. Baral. Planning with sensing actions and incomplete information using logic programming. In Proc. of the 7th Intl. Conf. on Logic Programming and Nonmonotonic Reasoning (LPNMR 2004), volume 2923 of LNAI, pages 261-274, 2004.
17. D. Van Nieuwenborgh, T. Eiter, and D. Vermeir. Conditional planning with external functions. Technical report, 2007, http://tinf2.vub.ac.be/~dvnieuwe/ lpnmr2007technical.ps.