Coala: A Compiler from Action Languages to ASP
From MaRDI portal
Publication:4930780
DOI10.1007/978-3-642-15675-5_32zbMath1306.68014OpenAlexW1572784075MaRDI QIDQ4930780
Martin Gebser, Torsten Grote, Torsten Schaub
Publication date: 1 October 2010
Published in: Logics in Artificial Intelligence (Search for Journal in Brave)
Full work available at URL: http://hdl.handle.net/10072/37323
Related Items (4)
Applications of Action Languages in Cognitive Robotics ⋮ Gearing Up for Effective ASP Planning ⋮ Temporal equilibrium logic: a survey ⋮ Representing hybrid automata by action language modulo theories
Uses Software
This page was built for publication: Coala: A Compiler from Action Languages to ASP