Coala
From MaRDI portal
Software:20841
swMATH8842MaRDI QIDQ20841FDOQ20841
Author name not available (Why is that?)
Cited In (10)
- Cplus 2ASP: Computing Action Language ${\cal C}$ + in Answer Set Programming
- Temporal equilibrium logic: a survey
- Gearing Up for Effective ASP Planning
- Translating First-Order Causal Theories into Answer Set Programming
- Time Is Up! – Norms with Deadlines in Action Languages
- Dynamic specification of open agent systems
- Coala: A Compiler from Action Languages to ASP
- Applications of Action Languages in Cognitive Robotics
- Representing first-order causal theories by logic programs
- Representing the language of the causal calculator in answer set programming
This page was built for software: Coala
