Temporal Equilibrium Logic with past operators (Q4586227): Difference between revisions

@@ Property / cites work @@
+Temporal logic programming
@@ Property / cites work: Temporal logic programming / rank @@
+Normal rank
@@ Property / cites work @@
+Temporal equilibrium logic: a survey
@@ Property / cites work: Temporal equilibrium logic: a survey / rank @@
+Normal rank
@@ Property / cites work @@
+Loop Formulas for Splitable Temporal Logic Programs
+Normal rank
@@ Property / cites work @@
+Temporal Here and There
@@ Property / cites work: Temporal Here and There / rank @@
+Normal rank
@@ Property / cites work @@
+On the Expressiveness of Temporal Equilibrium Logic
+Normal rank
@@ Property / cites work @@
+Stable Models for Temporal Theories
@@ Property / cites work: Stable Models for Temporal Theories / rank @@
+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 @@
+MOLOG: A system that extends PROLOG with modal logic
+Normal rank
@@ Property / cites work @@
+Q3333006
@@ Property / cites work: Q3333006 / rank @@
+Normal rank
@@ Property / cites work @@
+On modal logic with an intuitionistic base
@@ Property / cites work: On modal logic with an intuitionistic base / rank @@
+Normal rank
@@ Property / cites work @@
+Q3812209
@@ Property / cites work: Q3812209 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011302
@@ Property / cites work: Q3011302 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3395959
@@ Property / cites work: Q3395959 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q2751358
@@ Property / cites work: Q2751358 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4518440
@@ Property / cites work: Q4518440 / rank @@
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank