Preserving Strong Equivalence while Forgetting (Q2938510): Difference between revisions

@@ Property / cites work @@
+Forgetting under the Well-Founded Semantics
@@ Property / cites work: Forgetting under the Well-Founded Semantics / rank @@
+Normal rank
@@ Property / cites work @@
+Forgetting for Defeasible Logic
@@ Property / cites work: Forgetting for Defeasible Logic / 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 @@
+Semantic forgetting in answer set programming
@@ Property / cites work: Semantic forgetting in answer set programming / rank @@
+Normal rank
@@ Property / cites work @@
+The well-founded semantics for general logic programs
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic-based ontology comparison and module extraction, with an application to DL-Lite
+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 @@
+Forgetting for knowledge bases in DL-lite
@@ Property / cites work: Forgetting for knowledge bases in DL-lite / rank @@
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+Solving logic program conflict through strong and weak forgettings
+Normal rank
@@ Property / cites work @@
+Knowledge forgetting: properties and applications
@@ Property / cites work: Knowledge forgetting: properties and applications / rank @@
+Normal rank