On the limits of forgetting in answer set programming (Q2211850): Difference between revisions

@@ Property / cites work @@
+You Can't Always Forget What You Want: On the Limits of Forgetting in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+When you must forget: Beyond strong persistence when forgetting in answer set programming
+Normal rank
@@ Property / cites work @@
+How to progress a database
@@ Property / cites work: How to progress a database / rank @@
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank
@@ Property / cites work @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning under inconsistency: a forgetting-based approach
+Normal rank
@@ Property / cites work @@
+Forgetting for knowledge bases in DL-lite
@@ Property / cites work: Forgetting for knowledge bases in DL-lite / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+The Logical Difference for the Lightweight Description Logic EL
+Normal rank
@@ Property / cites work @@
+Model-theoretic inseparability and modularity of description logic ontologies
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / cites work @@
+The DLV system for knowledge representation and reasoning
+Normal rank
@@ Property / cites work @@
+Q3880319
@@ Property / cites work: Q3880319 / 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 @@
+Lazy narrowing: strong completeness and eager variable elimination
+Normal rank
@@ Property / cites work @@
+Forgetting Literals with Varying Propositional Symbols
+Normal rank
@@ Property / cites work @@
+Q3543581
@@ Property / cites work: Q3543581 / 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 @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+A Unifying Perspective on Knowledge Updates
@@ Property / cites work: A Unifying Perspective on Knowledge Updates / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Belief Change in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+The rise and fall of semantic rule updates based on<tt>SE</tt>-models
+Normal rank
@@ Property / cites work @@
+Preserving Strong Equivalence while Forgetting
@@ Property / cites work: Preserving Strong Equivalence while Forgetting / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge Forgetting in Answer Set Programming
@@ Property / cites work: Knowledge Forgetting in Answer Set Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Knowledge forgetting: properties and applications
@@ Property / cites work: Knowledge forgetting: properties and applications / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of (disjunctive) logic programs based on partial evaluation
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+Nested expressions in logic programs
@@ Property / cites work: Nested expressions in logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Stable inference as intuitionistic validity
@@ Property / cites work: Stable inference as intuitionistic validity / rank @@
+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 @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+Normal rank
@@ Property / cites work @@
+Q3624114
@@ Property / cites work: Q3624114 / rank @@
+Normal rank
@@ Property / cites work @@
+A Knowledge Level Account of Forgetting
@@ Property / cites work: A Knowledge Level Account of Forgetting / rank @@
+Normal rank
@@ Property / cites work @@
+Forgetting auxiliary atoms in forks
@@ Property / cites work: Forgetting auxiliary atoms in forks / rank @@
+Normal rank
@@ Property / cites work @@
+Modularity Aspects of Disjunctive Stable Models
@@ Property / cites work: Modularity Aspects of Disjunctive Stable Models / rank @@
+Normal rank
@@ Property / cites work @@
+A Syntactic Operator for Forgetting that Satisfies Strong Persistence
+Normal rank
@@ Property / cites work @@
+Reducts of propositional theories, satisfiability relations, and generalizations of semantics of logic programs
+Normal rank
@@ Property / cites work @@
+Forgetting under the Well-Founded Semantics
@@ Property / cites work: Forgetting under the Well-Founded Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank