Integrating action calculi and description logics

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

Volumn 4667 LNAI, Issue , 2007, Pages 68-83

  Drescher, Conrad ^a   Thielscher, Michael ^a  

^a DRESDEN UNIVERSITY OF TECHNOLOGY   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

DIFFERENTIATION (CALCULUS); DYNAMIC PROGRAMMING; FORMAL LOGIC; SEMANTICS; STATIC ANALYSIS;

DESCRIPTION LOGICS; DYNAMIC DOMAINS; GENERAL ACTION LANGUAGES; STATIC KNOWLEDGE;

KNOWLEDGE REPRESENTATION;

EID: 38149046667     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74565-5_8     Document Type: Conference Paper

References (23)

1. McCarthy, J.: Situations, actions, and causal laws. Technical Report AIM-2, AI Project, Stanford University (1963)
2. Thielscher, M.: FLUX: A logic programming method for reasoning agents. Theory and Practice of Logic Programming 5, 533-565 (2005)
3. Lespérance, Y., Levesque, H.J., Lin, F.D., Marcu, R.R., Scherl, R.B.: A logical approach to high-level robot programming - A progress report. In: Papers from the 1994 AAAI Fall Symposium, AAAI (1994)
4. Baader, F., Calvanese, D., McGuinness, D., Nardi, D., Patel-Schneider, P.F. (eds.): The Description Logic Handbook: Theory, Implementation, and Applications. Cambridge University Press, Cambridge (2003)
5. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Updating description logic ABoxes. In: Doherty, P., Mylopoulos, J., Welty, C.A. (eds.) KR, pp. 46-56. AAAI Press (2006)
6. Thielscher, M.: Reasoning Robots: The Art and Science of Programming Robotic Agents. Applied Logic Series, vol. 33. Kluwer Academic Publishers, Dordrecht (2005)
7. Sirin, E., Parsia, B.: Pellet: An OWL DL reasoner. In: Proceedings of the 2004 International Workshop on Description Logics (DL2004) (2004)
8. 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)
9. Haarslev, V., Möller, R.: Racer system description. In: Gore, R., Leitsch, A., Nipkow, T. (eds.) IJCAR 2001. LNCS (LNAI), vol. 2083, pp. 701-705. Springer, Heidelberg (2001)
10. Enderton, H.B.: A Mathematical Introduction to Logic. Academic Press, London (1972)
11. Winslett, M.: Reasoning about action using a possible models approach. In: aaai88, pp. 89-93 (1988)
12. Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language, and Information 14, 369-395 (2005)
13. Ginsberg, M.L., Smith, D.E.: Reasoning about action II: the qualification problem. Artificial Intelligence 35, 311 (1988)
14. Lin, F.: Embracing causality in specifying the indirect effects of actions. In: Mellish, CS. (ed.) Proceedings of the International Joint Conference on Artificial Intelligence (IJCAI), Montreal, Canada, pp. 1985-1991. Morgan Kaufmann, San Francisco (1995)
15. Thielscher, M.: Ramification and causality. Artificial Intelligence Journal 89, 317-364 (1997)
16. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153, 49-104 (2004)
17. Giacomo, G.D., Lenzerini, M., Poggi, A., Rosati, R.: On the update of description logic ontologies at the instance level. In: Proceedings of the Twenty-first National Conference on Artificial Intelligence (AAAI 2006) (2006)
18. Liu, H., Lutz, C., Milicic, M., Wolter, F.: Description logic actions with general TBoxes: a pragmatic approach. In: Proceedings of the 2006 International Workshop on Description Logics (DL2006) (2006)
19. Baader, F., Lutz, C., Milicic, M., Sattler, U., Wolter, F.: Integrating description logics and action formalisms: First results. In: Proceedings of AAAI-05 (2005)
20. Gu, Y., Soutchanski, M.: A logic for decidable reasoning about services. In: Proceedings of the 4th International Workshop on AI for Service Composition (ECAI 2006) (2006)
21. Gu, Y., Soutchanski, M.: Decidable reasoning in a modified situation calculus. In: Proceedings of International Joint Conference on AI (IJCAI 2007) (2007)
22. Schiffel, S., Thielscher, M.: Reconciling situation calculus and fluent calculus. In: Proceedings of AAAI-06, Boston, MA, pp. 287-292. AAAI Press (2006)
23. Halaschek-Wiener, C., Parsia, B., Sirin, E., Kalyanpur, A.: Description logic reasoning for dynamic aboxes. In: Proceedings of the 2006 International Workshop on Description Logics (DL2006) (2006)