Evaluating epistemic negation in answer set programming (Q286399): Difference between revisions

@@ Property / DOI @@
-.1016/j.artint.2016.04.004
@@ Property / DOI: 10.1016/j.artint.2016.04.004 / rank @@
-Normal rank
@@ Property / MaRDI profile type @@
+Publication
@@ Property / MaRDI profile type: Publication / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.artint.2016.04.004
+Normal rank
@@ Property / OpenAlex ID @@
+W2345230773
@@ Property / OpenAlex ID: W2345230773 / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Combining answer set programming with description logics for the semantic web
+Normal rank
@@ Property / cites work @@
+Semantics and complexity of recursive aggregates in answer set programming
+Normal rank
@@ Property / cites work @@
+Manifold Answer-Set Programs and Their Applications
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Stable models and circumscription
@@ Property / cites work: Stable models and circumscription / rank @@
+Normal rank
@@ Property / cites work @@
+New Semantics for Epistemic Specifications
@@ Property / cites work: New Semantics for Epistemic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+Logic programming and reasoning with incomplete information
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+The language of epistemic specifications (refined) including a prototype solver
+Normal rank
@@ Property / cites work @@
+Q4012230
@@ Property / cites work: Q4012230 / rank @@
+Normal rank
@@ Property / cites work @@
+Thirteen Definitions of a Stable Model
@@ Property / cites work: Thirteen Definitions of a Stable Model / rank @@
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Reconciling description logics and rules
@@ Property / cites work: Reconciling description logics and rules / rank @@
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Well-founded and stable semantics of logic programs with aggregates
+Normal rank
@@ Property / cites work @@
+FLP answer set semantics without circular justifications for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3624081
@@ Property / cites work: Q3624081 / rank @@
+Normal rank
@@ Property / cites work @@
+Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Revisiting Epistemic Specifications
@@ Property / cites work: Revisiting Epistemic Specifications / rank @@
+Normal rank
@@ Property / cites work @@
+The Semantics of Predicate Logic as a Programming Language
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming with Graded Modality
@@ Property / cites work: Logic Programming with Graded Modality / rank @@
+Normal rank
@@ Property / DOI @@
+.1016/J.ARTINT.2016.04.004
@@ Property / DOI: 10.1016/J.ARTINT.2016.04.004 / rank @@
+Normal rank