Forgetting in ASP: The Forgotten Properties (Q2835900): Difference between revisions

@@ Property / author @@
+Ricardo Gonçalves
@@ Property / author: Ricardo Gonçalves / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+NoHR
@@ Property / describes a project that uses: NoHR / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+Potassco
@@ Property / describes a project that uses: Potassco / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1007/978-3-319-48758-8_37
+Normal rank
@@ Property / OpenAlex ID @@
+W2545324938
@@ Property / OpenAlex ID: W2545324938 / 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 @@
+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 @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+Normal rank
@@ Property / cites work @@
+Model-theoretic inseparability and modularity of description logic ontologies
+Normal rank
@@ Property / cites work @@
+Q5715700
@@ Property / cites work: Q5715700 / 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 @@
+On properties of update sequences  based on causal rejection
+Normal rank
@@ Property / cites work @@
+Q4797777
@@ Property / cites work: Q4797777 / rank @@
+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 @@
+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 @@
+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 @@
+Propositional theories are strongly equivalent to logic programs
+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 @@
+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 @@
+Local closed world reasoning with description logics under the well-founded semantics
+Normal rank
@@ Property / cites work @@
+Parametrized Logic Programming
@@ Property / cites work: Parametrized Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+On updates of hybrid knowledge bases composed of ontologies and rules
+Normal rank
@@ Property / cites work @@
+Q5282995
@@ Property / cites work: Q5282995 / rank @@
+Normal rank
@@ Property / cites work @@
+Q5282969
@@ Property / cites work: Q5282969 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3011296
@@ Property / cites work: Q3011296 / rank @@
+Normal rank
@@ Property / DBLP publication ID @@
+conf/jelia/0001KL16
@@ Property / DBLP publication ID: conf/jelia/0001KL16 / rank @@
+Normal rank