Skip to main content
SpringerLink
Log in

Coala: A Compiler from Action Languages to ASP

  • Conference paper
Logics in Artificial Intelligence (JELIA 2010)

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

Included in the following conference series:

Abstract

Action languages allow for compactly describing dynamic domains. They are usually implemented by compilation, e.g., to Answer Set Programming. To this end, we developed a tool, called Coala, offering manifold compilation techniques for several action languages. We provide an overview of the salient and distinctive features of Coala as well as an experimental comparison of them.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

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

    MathSciNet  Google Scholar 

  2. Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University, Cambridge (2003)

    Book  MATH  Google Scholar 

  3. Biere, A., Heule, M., van Maaren, H., Walsh, T.: Handbook of Satisfiability. IOS, Amsterdam (2009)

    MATH  Google Scholar 

  4. Dworschak, S., Grote, T., König, A., Schaub, T., Veber, P.: The system BioC for reasoning about biological models in \(\mathcal{C}\). In: ICTAI 2008, pp. 11–18. IEEE, Los Alamitos (2008)

    Google Scholar 

  5. Dworschak, S., Grell, S., Nikiforova, V., Schaub, T., Selbig, J.: Modeling biological networks by action languages via ASP. Constraints 13(1-2), 21–65 (2008)

    Article  MathSciNet  MATH  Google Scholar 

  6. Lifschitz, V., Turner, H.: Representing transition systems by logic programs. In: Gelfond, M., Leone, N., Pfeifer, G. (eds.) LPNMR 1999. LNCS (LNAI), vol. 1730, pp. 92–106. Springer, Heidelberg (1999)

    Chapter  Google Scholar 

  7. Giunchiglia, E., Lee, J., Lifschitz, V., McCain, N., Turner, H.: Nonmonotonic causal theories. Artificial Intelligence 153(1-2), 49–104 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  8. Son, T., Baral, C., Nam, T., McIlraith, S.: Domain-dependent knowledge in answer set planning. ACM Transactions on Computational Logic 7(4), 613–657 (2006)

    Article  MathSciNet  MATH  Google Scholar 

  9. Gebser, M., Kaminski, R., Kaufmann, B., Ostrowski, M., Schaub, T., Thiele, S.: Engineering an incremental ASP solver. In: Garcia de la Banda, M., Pontelli, E. (eds.) ICLP 2008. LNCS, vol. 5366, pp. 190–205. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  10. Heljanko, K., Niemelä, I.: Bounded LTL model checking with stable models. Theory and Practice of Logic Programming 3(4-5), 519–550 (2003)

    Article  MathSciNet  MATH  Google Scholar 

  11. http://potassco.sourceforge.net

  12. Eiter, T., Faber, W., Leone, N., Pfeifer, G., Polleres, A.: A logic programming approach to knowledge-state planning. Artificial Intelligence 144(1-2), 157–211 (2003)

    Article  MathSciNet  MATH  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institut für Informatik, Universität Potsdam, August-Bebel-Str. 89, D-14482, Potsdam

    Martin Gebser, Torsten Grote & Torsten Schaub

  2. Simon Fraser University, Canada

    Torsten Schaub

  3. Griffith University, Australia

    Torsten Schaub

Authors
  1. Martin Gebser
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Torsten Grote
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Torsten Schaub
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Department of Information and Computer Science, Aalto University, 00076, Aalto, Finland

    Tomi Janhunen  & Ilkka Niemelä  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Gebser, M., Grote, T., Schaub, T. (2010). Coala: A Compiler from Action Languages to ASP. In: Janhunen, T., Niemelä, I. (eds) Logics in Artificial Intelligence. JELIA 2010. Lecture Notes in Computer Science(), vol 6341. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-15675-5_32

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-15675-5_32

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-15674-8

  • Online ISBN: 978-3-642-15675-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation