Location via proxy:   [ UP ]  
[Report a bug]   [Manage cookies]                
Skip to main content
Springer Nature Link
Log in

A Tool for Answering Queries on Action Descriptions

  • Conference paper
Logics in Artificial Intelligence (JELIA 2006)

Part of the book series: Lecture Notes in Computer Science ((LNAI,volume 4160))

Included in the following conference series:

  • 583 Accesses

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.

Work supported by the Austrian Science Fund (FWF) under grant P16536-N04.

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

Access this chapter

Log in via an institution

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. Gelfond, M., Lifschitz, V.: Action languages. Electronic Transactions on Artificial Intelligence 3, 195–210 (1998)

    MathSciNet  Google Scholar 

  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. 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

Download references

Author information

Authors and Affiliations

  1. Institute of Information Systems, Vienna University of Technology, Vienna, Austria

    Thomas Eiter, Michael Fink & Ján Senko

Authors
  1. Thomas Eiter
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Michael Fink
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Ján Senko
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Computer Science, University of Liverpool, Liverpool, U.K.

    Michael Fisher

  2. University of Liverpool, United Kingdom

    Wiebe van der Hoek

  3. University of Liverpool, Liverpool, UK

    Boris Konev

  4. Department of Computer Science, The University of Liverpool,  

    Alexei Lisitsa

Rights and permissions

Reprints and permissions

Copyright information

© 2006 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Eiter, T., Fink, M., Senko, J. (2006). A Tool for Answering Queries on Action Descriptions. In: Fisher, M., van der Hoek, W., Konev, B., Lisitsa, A. (eds) Logics in Artificial Intelligence. JELIA 2006. Lecture Notes in Computer Science(), vol 4160. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11853886_40

Download citation

  • DOI: https://doi.org/10.1007/11853886_40

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-39625-3

  • Online ISBN: 978-3-540-39627-7

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation