Representing the language of the causal calculator in answer set programming
From MaRDI portal
Recommendations
- Characterizing causal action theories and their implementations in answer set programming
- Translating first-order causal theories into answer set programming
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- Towards causality-based conflict resolution in answer set programs
- Specifying and verbalising answer set programs in controlled natural language
- Representing first-order causal theories by logic programs
- Causal Logic Programming
- Representing constraint satisfaction problems in answer set programming
- Answer-set programming encodings for argumentation frameworks
Cited in
(14)- Characterizing causal action theories and their implementations in answer set programming
- Cplus2ASP: computing action language \({\mathcal C}+\) in answer set programming
- Extending action language \(\mathcal{C}+\) by formalizing composite actions
- Applications of action languages in cognitive robotics
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- A language for default reasoning about actions
- Representing first-order causal theories by logic programs
- Action language \(\mathcal{BC}+\)
- Diagnostic reasoning for robotics using action languages
- Functional completion
- Translating first-order causal theories into answer set programming
- Coala: a compiler from action languages to ASP
- FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
This page was built for publication: Representing the language of the causal calculator in answer set programming
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909140)
