When you must forget: Beyond strong persistence when forgetting in answer set programming (Q4592710): Difference between revisions

@@ Property / arXiv ID @@
+.05152
@@ Property / arXiv ID: 1707.05152 / rank @@
+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 @@
+Dynamic updates of non-monotonic knowledge bases
@@ Property / cites work: Dynamic updates of non-monotonic knowledge bases / rank @@
+Normal rank
@@ Property / cites work @@
+Q3880319
@@ Property / cites work: Q3880319 / rank @@
+Normal rank
@@ Property / cites work @@
+A Model-Theoretic Approach to Belief Change in Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A system of interaction and structure
@@ Property / cites work: A system of interaction and structure / rank @@
+Normal rank
@@ Property / cites work @@
+On the computational cost of disjunctive logic programming: Propositional case
+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 @@
+Forgetting in ASP: The Forgotten Properties
@@ Property / cites work: Forgetting in ASP: The Forgotten Properties / rank @@
+Normal rank
@@ 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 @@
+Preserving Strong Equivalence while Forgetting
@@ Property / cites work: Preserving Strong Equivalence while Forgetting / rank @@
+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 @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Q4411161
@@ Property / cites work: Q4411161 / rank @@
+Normal rank
@@ Property / cites work @@
+Reasoning under inconsistency: a forgetting-based approach
+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 @@
+A bird's-eye view of forgetting in answer-set programming
+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 @@
+How to progress a database
@@ Property / cites work: How to progress a database / 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 @@
+An abductive framework for computing knowledge base updates
+Normal rank
@@ Property / cites work @@
+The rise and fall of semantic rule updates based on<tt>SE</tt>-models
+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 @@
+Forgetting for knowledge bases in DL-lite
@@ Property / cites work: Forgetting for knowledge bases in DL-lite / rank @@
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank