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

@@ Property / describes a project that uses @@
+STeLP
@@ Property / describes a project that uses: STeLP / 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.1080/11663081.2018.1427987
+Normal rank
@@ Property / OpenAlex ID @@
+W2792189678
@@ Property / OpenAlex ID: W2792189678 / rank @@
+Normal rank
@@ 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