Representing first-order causal theories by logic programs
From MaRDI portal
Recommendations
Cites work
- Logic programs with stable model semantics as a constraint programming paradigm
- Nonmonotonic causal theories
- On the logic of causal explanation
- Representing the Zoo World and the Traffic World in the language of the Causal Calculator
- Specifying norm-governed computational societies
- Stable models and circumscription
- Translating first-order causal theories into answer set programming
Cited in
(14)- Propositional description of finite cause-effect structures
- On the logic of causal explanation
- Characterizing causal action theories and their implementations in answer set programming
- Turner's logic of universal causation, propositional logic, and logic programming
- Causal Logic Programming
- Reformulating action language \(\mathcal{C}+\) in answer set programming
- Representing the language of the causal calculator in answer set programming
- Representing Causal Information About a Probabilistic Process
- Functional completion
- Towards deriving conclusions from cause-effect relations
- Translating first-order causal theories into answer set programming
- scientific article; zbMATH DE number 1453060 (Why is no real title available?)
- Logic Programming and Nonmonotonic Reasoning
- Logic Programming and Nonmonotonic Reasoning
This page was built for publication: Representing first-order causal theories by logic programs
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909525)
