Coala

swMATH8842MaRDI QIDQ20841FDOQ20841

Author name not available (Why is that?)

Official website: http://link.springer.com/chapter/10.1007/978-3-642-15675-5_32

Cited In (16)

• Temporal equilibrium logic: a survey
• Applications of action languages in cognitive robotics
• Dynamic specification of open agent systems
• Time is up! -- Norms with deadlines in action languages
• oClingo
• CCalc
• Cplus2ASP
• f2lp
• STeLP
• Society Visualiser
• Representing first-order causal theories by logic programs
• Translating first-order causal theories into answer set programming
• Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
• Coala: a compiler from action languages to ASP
• Gearing up for effective ASP planning
• Representing the language of the causal calculator in answer set programming

This page was built for software: Coala