Strongly Equivalent Temporal Logic Programs (Q3532454): Difference between revisions

@@ 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-540-87803-2_3
+Normal rank
@@ Property / OpenAlex ID @@
+W1872003434
@@ Property / OpenAlex ID: W1872003434 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Knowledge Representation, Reasoning and Declarative Problem Solving
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+Nonmonotonic causal theories
@@ Property / cites work: Nonmonotonic causal theories / rank @@
+Normal rank
@@ Property / cites work @@
+Representing action and change by logic programs
@@ Property / cites work: Representing action and change by logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+A Characterization of Strong Equivalence for Logic Programs with Variables
+Normal rank
@@ Property / cites work @@
+Temporal Equilibrium Logic: A First Approach
@@ Property / cites work: Temporal Equilibrium Logic: A First Approach / rank @@
+Normal rank
@@ Property / cites work @@
+Q4002642
@@ Property / cites work: Q4002642 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+Ramification and causality
@@ Property / cites work: Ramification and causality / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank