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

@@ 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