Coala
From MaRDI portal
Software:20841
swMATH8842MaRDI QIDQ20841FDOQ20841
Author name not available (Why is that?)
Cited In (10)
- 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
- 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
