Semantic forgetting in answer set programming (Q2389674): Difference between revisions

@@ Property / describes a project that uses @@
+ASSAT
@@ Property / describes a project that uses: ASSAT / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W2170482119
@@ Property / OpenAlex ID: W2170482119 / rank @@
+Normal rank
@@ Property / cites work @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Q3880319
@@ Property / cites work: Q3880319 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5802117
@@ Property / cites work: Q5802117 / rank @@
+Normal rank
@@ Property / cites work @@
+Characterizations of the disjunctive stable semantics by partial evaluation
+Normal rank
@@ Property / cites work @@
+Q4419472
@@ Property / cites work: Q4419472 / rank @@
+Normal rank
@@ Property / cites work @@
+Disjunctive logic programs with inheritance
@@ Property / cites work: Disjunctive logic programs with inheritance / rank @@
+Normal rank
@@ Property / cites work @@
+Q4506459
@@ Property / cites work: Q4506459 / rank @@
+Normal rank
@@ Property / cites work @@
+Preprocessing of intractable problems
@@ Property / cites work: Preprocessing of intractable problems / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Q4536313
@@ Property / cites work: Q4536313 / rank @@
+Normal rank
@@ Property / cites work @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+The complexity of logic-based abduction
@@ Property / cites work: The complexity of logic-based abduction / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Computational aspects of monotone dualization: a brief survey
+Normal rank
@@ Property / cites work @@
+Tight logic programs
@@ Property / cites work: Tight logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3830545
@@ Property / cites work: Q3830545 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+View updates in stratified disjunctive databases
@@ Property / cites work: View updates in stratified disjunctive databases / rank @@
+Normal rank
@@ Property / cites work @@
+Negation as failure in the head
@@ Property / cites work: Negation as failure in the head / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4473033
@@ Property / cites work: Q4473033 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5715700
@@ Property / cites work: Q5715700 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q4296748
@@ Property / cites work: Q4296748 / rank @@
+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 @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / 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 @@
+On strongest necessary and weakest sufficient conditions
+Normal rank
@@ Property / cites work @@
+ASSAT: computing answer sets of a logic program by SAT solvers
+Normal rank
@@ Property / cites work @@
+Autoepistemic logic
@@ Property / cites work: Autoepistemic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Revision programming
@@ Property / cites work: Revision programming / rank @@
+Normal rank
@@ Property / cites work @@
+Circumscription - a form of non-monotonic reasoning
+Normal rank
@@ Property / cites work @@
+Lazy narrowing: strong completeness and eager variable elimination
+Normal rank
@@ Property / cites work @@
+Forgetting Literals with Varying Propositional Symbols
+Normal rank
@@ Property / cites work @@
+Semantical considerations on nonmonotonic logic
@@ Property / cites work: Semantical considerations on nonmonotonic logic / rank @@
+Normal rank
@@ Property / cites work @@
+Q4736482
@@ Property / cites work: Q4736482 / rank @@
+Normal rank
@@ Property / cites work @@
+A logic for default reasoning
@@ Property / cites work: A logic for default reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+Q2703227
@@ Property / cites work: Q2703227 / rank @@
+Normal rank
@@ Property / cites work @@
+Comparisons and computation of well-founded semantics for disjunctive logic programs
+Normal rank
@@ Property / cites work @@
+Logic program-based updates
@@ Property / cites work: Logic program-based updates / rank @@
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank