Integrating description logics and action formalisms: First results

Proceedings of the National Conference on Artificial Intelligence

Volumn 2, Issue , 2005, Pages 572-577

  Baader, Franz ^a   Lutz, Carsten ^a   Miličić, Maja ^a   Sattler, Ulrike ^b   Wolter, Frank ^c  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

^b UNIVERSITY OF MANCHESTER   (United Kingdom)

^c UNIVERSITY OF LIVERPOOL   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTATIONAL COMPLEXITY; COMPUTATIONAL METHODS; COMPUTER SCIENCE; INFORMATION TECHNOLOGY; LINEAR ALGEBRA; PROBLEM SOLVING; SEMANTICS;

COMPUTATIONAL PROBLEMS; DESCRIPTION LOGICS (DL); EXECUTABILITY; SITUATION CALCULUS (SITCALC);

LOGIC PROGRAMMING;

EID: 29344471510     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: None     Document Type: Conference Paper

References (15)

1. Areces, C.; Blackburn, P.; and Marx, M. 1999. A road-map on complexity for hybrid logics. In Proc. of CSL'05, volume 1683 of LNCS, 307-321. Springer-Verlag.
2. Baader, F.; Calvanese, D.; McGuinness, D.; Nardi, D.; and Patel-Schneider, P. F., eds. 2003. The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press.
3. Baader, F.; Lutz, C.; Milicic, M.; Sattler, U.; Wolter, F. 2005. Integrating description logics and action formalisms for reasoning about web services. Technical report LTCS-05-02. http:/lat.inf.tu-dresden.de/research/ reports.html
4. Levesque, H. J.; Reiter, R.; Lesperance, L.; Lin, F.; and Scherl, R. B. 1997. GOLOG: a logic programming language for dynamic domains. Journal of Logic Programming 31(1-3):59-83.
5. Lifschitz, V. 1990. Frames in the space of situations. Artificial Intelligence Journal 46:365-376.
6. Lin, F. 1996. Embracing causality in specifying the indeterminate effects of actions. In Proc. of AAAI-96, 670-676. MIT Press.
7. Nebel, B. 1990. Terminological reasoning is inherently intractable. Artificial Intelligence 43:235-249.
8. Nebel, B. 1991. Terminological cycles: Semantics and computational properties. In Principles of Semantic Networks: Explorations in the Representation of Knowledge. Morgan Kaufmann. 331-361.
9. Reiter, R. 1991. The frame problem in the situation calculus: A simple solution (sometimes) and a completeness result for goal regression. In AI and Mathematical Theory of Computation. Academic Press. 359-380.
10. Reiter, R. 2001. Knowledge in Action. MIT Press.
11. Sandewall, E. 1994. Features and Fluents. Oxford University Press.
12. Shanahan, M. 1997. Solving the Frame Problem. MIT Press.
13. Thielscher, M. 2000. Nondeterministic actions in the fluent calculus: Disjunctive state update axioms. In Intellectics and Computational Logic. Kluwer Academic. 327-345.
14. Tobies, S. 2000. The complexity of reasoning with car-dinality restrictions and nominals in expressive description logics. JAIR 12:199-217.
15. Winslett, M. 1988. Reasoning about action using a possible models approach. In Proc. of AAAI'88, 89-93.