Coala: A Compiler from Action Languages to ASP
From MaRDI portal
Publication:4930780
DOI10.1007/978-3-642-15675-5_32zbMath1306.68014MaRDI 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
Temporal equilibrium logic: a survey, Representing hybrid automata by action language modulo theories, Applications of Action Languages in Cognitive Robotics, Gearing Up for Effective ASP Planning
Uses Software