Coala

MaRDI QIDQ20841swMATHFDO

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

Cited in

(16)

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

This page was built for software: Coala