Thirty years of Epistemic Specifications (Q6085582): Difference between revisions

@@ Property / DOI @@
-.1017/s147106842100048x
@@ Property / DOI: 10.1017/s147106842100048x / rank @@
-Normal rank
@@ Property / OpenAlex ID @@
+W3214062721
@@ Property / OpenAlex ID: W3214062721 / rank @@
+Normal rank
@@ Property / cites work @@
+Revisiting Explicit Negation in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+selp: <i>A Single-Shot Epistemic Logic Program Solver</i>
+Normal rank
@@ Property / cites work @@
+On an intuitionistic modal logic
@@ Property / cites work: On an intuitionistic modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Founded world views with autoepistemic equilibrium logic
+Normal rank
@@ Property / cites work @@
+Splitting epistemic logic programs
@@ Property / cites work: Splitting epistemic logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic answer set programming
@@ Property / cites work: Autoepistemic answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Splitting Epistemic Logic Programs
@@ Property / cites work: Splitting Epistemic Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+eclingo : A Solver for Epistemic Logic Programs
@@ Property / cites work: eclingo : A Solver for Epistemic Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+On Uniform Equivalence of Epistemic Logic Programs
+Normal rank
@@ Property / cites work @@
+Founded (Auto)Epistemic Equilibrium Logic Satisfies Epistemic Splitting
+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 @@
+First-order modal logic
@@ Property / cites work: First-order modal logic / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and reasoning with incomplete information
+Normal rank
@@ Property / cites work @@
+New Semantics for Epistemic Specifications
@@ Property / cites work: New Semantics for Epistemic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / 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 @@
+Autoepistemic equilibrium logic and epistemic specifications
+Normal rank
@@ Property / cites work @@
+A parallel memory-efficient epistemic logic program solver: harder, better, faster
+Normal rank
@@ Property / cites work @@
+The language of epistemic specifications (refined) including a prototype solver
+Normal rank
@@ Property / cites work @@
+On the relation between default and autoepistemic logic
+Normal rank
@@ Property / cites work @@
+Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation
+Normal rank
@@ Property / cites work @@
+Answer set programming and plan generation
@@ Property / cites work: Answer set programming and plan generation / rank @@
+Normal rank
@@ Property / cites work @@
+Q3486549
@@ Property / cites work: Q3486549 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4273952
@@ Property / cites work: Q4273952 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4702577
@@ Property / cites work: Q4702577 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Constructible falsity
@@ Property / cites work: Constructible falsity / rank @@
+Normal rank
@@ Property / cites work @@
+Q4012233
@@ Property / cites work: Q4012233 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programs with stable model semantics as a constraint programming paradigm
+Normal rank
@@ Property / cites work @@
+What should a database know?
@@ Property / cites work: What should a database know? / rank @@
+Normal rank
@@ Property / cites work @@
+Evaluating epistemic negation in answer set programming
+Normal rank
@@ Property / cites work @@
+Revisiting Epistemic Specifications
@@ Property / cites work: Revisiting Epistemic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Q5593816
@@ Property / cites work: Q5593816 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4708911
@@ Property / cites work: Q4708911 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on \(\eta\)-lattices and constructive logic with strong negation
+Normal rank
@@ Property / DOI @@
+.1017/S147106842100048X
@@ Property / DOI: 10.1017/S147106842100048X / rank @@
+Normal rank