A Tool for Answering Queries on Action Descriptions

  • Thomas Eiter
  • Michael Fink
  • Ján Senko
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4160)

Abstract

Action languages [1] are a formal tool for reasoning about actions, where an agent’s knowledge about a domain in question is represented by a declarative action description that consists of logical formulas.

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence 3, 195–210 (1998)MathSciNetGoogle Scholar
  2. 2.
    Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Proc. AAAI 1998, pp. 623–630. AAAI Press, Menlo Park (1998)Google Scholar
  3. 3.
    Eiter, T., Erdem, E., Fink, M., Senko, J.: Resolving conflicts in action descriptions. In: Proc. ECAI 2006 (2006), See: http://www.kr.tuwien.ac.at/research/ecai06.pdf

Copyright information

© Springer-Verlag Berlin Heidelberg 2006

Authors and Affiliations

  • Thomas Eiter
    • 1
  • Michael Fink
    • 1
  • Ján Senko
    • 1
  1. 1.Institute of Information SystemsVienna University of TechnologyViennaAustria

Personalised recommendations