Cited in
(16)- Temporal equilibrium logic: a survey
- Applications of action languages in cognitive robotics
- Dynamic specification of open agent systems
- oClingo
- CCalc
- Cplus2ASP
- f2lp
- STeLP
- Society Visualiser
- 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
- Gearing up for effective ASP planning
- Coala: a compiler from action languages to ASP
- Representing the language of the causal calculator in answer set programming
This page was built for software: Coala
