Fusing DL reasoning with HTN planning

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

Volumn 5243 LNAI, Issue , 2008, Pages 62-69

  Hartanto, Ronny ^a,b   Hertzberg, Joachim ^b  

^a BONN RHEIN SIEG UNIVERSITY OF APPLIED SCIENCES   (Germany)

^b UNIVERSITY OF OSNABRÜCK   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE;

ACTION PLANNING; DESCRIPTION LOGICS; DO-MAINS; HTN PLANNING; ONE HANDS; PLANNING DOMAINS; PLANNING PROBLEMS; REGULAR REPRESENTATIONS; ROBOT NAVIGATIONS;

DATA DESCRIPTION;

EID: 56549088154     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-85845-4_8     Document Type: Conference Paper

References (8)

1. Baader, F., et al.: The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
2. Ghallab, M., Nau, D., Traverso, P.: Automated Planning: Theory and Practice. Morgan Kaufmann, San Francisco (2004)
3. Dean, M., et al.: OWL web ontology language reference. W3C Recommendation (2004), http://www.w3.org/TR/owl-ref/
4. Horrocks, I., Patel-Schneider, P.F., van Harmelen, F.: From SHIQ and RDF to OWL: The Making of a Web Ontology Language. Journal of Web Semantics 2003 (2003)
5. Sirin, E., et al.: Pellet: A Practical OWL-DL Reasoner. Journal of Web Semantics 5(2) (2007)
6. Tsarkov, D., Horrocks, I.: FaCT++ Description Logic Reasoner: System Description. In: Furbach, U., Shankar, N. (eds.) IJCAR 2006. LNCS (LNAI), vol. 4130, pp. 292-297. Springer, Heidelberg (2006)
7. Haarslev, V., Möller, R.: Racer: An OWL Reasoning Agent for the SemanticWeb. In: Proceedings of the International Workshop on Applications, Products and Services of Web-based Support Systems, Ê Halifax, Canada, October 13, pp. 91-95 (2003)
8. Ilghami, O., Nau, D.S.: A General Approach to Synthesize Problem-Specific Planners. Technical report, Department of Computer Science, ISR, and IACS University of Maryland (2003)