Coala swMATH ID: 8842 Software Authors: Gebser, Martin; Grote, Torsten; Schaub, Torsten Description: Coala: a compiler from action languages to ASP. 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. Homepage: http://link.springer.com/chapter/10.1007/978-3-642-15675-5_32 Related Software: CCalc; f2lp; Cplus2ASP; oClingo; MiniSat; PDDL; Potassco; STeLP; Society Visualiser; ISLANDER; NuSMV; Graphplan; plasp; SATIRE; ConceptNet Cited in: 10 Publications all top 5 Cited by 24 Authors 3 Lee, Joohyung 2 Gebser, Martin 2 Lifschitz, Vladimir 2 Schaub, Torsten H. 2 Yang, Fangkai 1 Aguado, Felicidad 1 Artikis, Alexander 1 Babb, Joseph 1 Cabalar, Pedro 1 Casolary, Michael 1 Diéguez, Martín 1 Erdem, Esra 1 Ferraris, Paolo 1 Gabaldon, Alfredo 1 Gonçalves, Ricardo 1 Grote, Torsten 1 Kaufmann, Roland 1 Knorr, Matthias 1 Leite, João 1 Lierler, Yuliya 1 Patoglu, Volkan 1 Pérez, Gilberto 1 Slota, Martin 1 Vidal, Concepción Cited in 3 Serials 1 Journal of Logic and Computation 1 Journal of Applied Non-Classical Logics 1 Theory and Practice of Logic Programming Cited in 2 Fields 10 Computer science (68-XX) 3 Mathematical logic and foundations (03-XX) Citations by Year