Stable Models for Temporal Theories (Q3449185): Difference between revisions

@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-23264-5_1
+Normal rank
@@ Property / OpenAlex ID @@
+W2211234402
@@ Property / OpenAlex ID: W2211234402 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5633670
@@ Property / cites work: Q5633670 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic-based calculus of events
@@ Property / cites work: A logic-based calculus of events / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Modality, si! Modal logic, no!
@@ Property / cites work: Modality, si! Modal logic, no! / rank @@
+Normal rank
@@ Property / cites work @@
+Formalizing action and change in modal logic I: the frame problem
+Normal rank
@@ Property / cites work @@
+Ramification and causality in a modal action logic
+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 programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+Q3011302
@@ Property / cites work: Q3011302 / 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 @@
+Q5556395
@@ Property / cites work: Q5556395 / 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 @@
+Temporal Here and There
@@ Property / cites work: Temporal Here and There / rank @@
+Normal rank
@@ Property / cites work @@
+Q5525343
@@ Property / cites work: Q5525343 / rank @@
+Normal rank
@@ Property / cites work @@
+Automata-Based Computation of Temporal Equilibrium Models
+Normal rank
@@ Property / cites work @@
+An infinitary encoding of temporal equilibrium logic
+Normal rank
@@ Property / cites work @@
+Infinitary Equilibrium Logic and Strong Equivalence
+Normal rank
@@ Property / cites work @@
+Quantified Equilibrium Logic and Foundations for Answer Set Programs
+Normal rank
@@ Property / cites work @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Q4012170
@@ Property / cites work: Q4012170 / rank @@
+Normal rank
@@ Property / cites work @@
+A Normal Form for Linear Temporal Equilibrium Logic
+Normal rank
@@ Property / cites work @@
+On the Complexity of Temporal Equilibrium Logic
@@ Property / cites work: On the Complexity of Temporal Equilibrium Logic / rank @@
+Normal rank
@@ Property / cites work @@
+Loop Formulas for Splitable Temporal Logic Programs
+Normal rank
@@ Property / cites work @@
+A generalization of the Lin-Zhao theorem
@@ Property / cites work: A generalization of the Lin-Zhao theorem / rank @@
+Normal rank
@@ Property / cites work @@
+Q5398067
@@ Property / cites work: Q5398067 / rank @@
+Normal rank
@@ Property / cites work @@
+Integrating Temporal Extensions of Answer Set Programming
+Normal rank
@@ Property / cites work @@
+Q5692292
@@ Property / cites work: Q5692292 / rank @@
+Normal rank