Causal Logic Programming (Q2900512): Difference between revisions

@@ Property / describes a project that uses @@
+CCalc
@@ Property / describes a project that uses: CCalc / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-642-30743-0_8
+Normal rank
@@ Property / OpenAlex ID @@
+W154890827
@@ Property / OpenAlex ID: W154890827 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic logic and temporal projection
@@ Property / cites work: Nonmonotonic logic and temporal projection / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Causes and Explanations: A Structural-Model Approach. Part I: Causes
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Explicit Provability and Constructive Semantics
@@ Property / cites work: Explicit Provability and Constructive Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+A lattice-theoretical fixpoint theorem and its applications
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Justifications for logic programs under answer set semantics
+Normal rank