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
