On syntactic forgetting under uniform equivalence (Q2055801): Difference between revisions

@@ Property / cites work @@
+Forgetting auxiliary atoms in forks
@@ Property / cites work: Forgetting auxiliary atoms in forks / rank @@
+Normal rank
@@ Property / cites work @@
+Macros, Macro Calls and Use of Ensembles in Modular Answer Set Programming
+Normal rank
@@ Property / cites work @@
+A Syntactic Operator for Forgetting that Satisfies Strong Persistence
+Normal rank
@@ Property / cites work @@
+Q3880319
@@ Property / cites work: Q3880319 / rank @@
+Normal rank
@@ Property / cites work @@
+Semantics of (disjunctive) logic programs based on partial evaluation
+Normal rank
@@ Property / cites work @@
+Propositional theories are strongly equivalent to logic programs
+Normal rank
@@ Property / cites work @@
+Minimal Logic Programs
@@ Property / cites work: Minimal Logic Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Modular Nonmonotonic Logic Programming Revisited
@@ Property / cites work: Modular Nonmonotonic Logic Programming Revisited / rank @@
+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 @@
+Q3543581
@@ Property / cites work: Q3543581 / 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 @@
+When you must forget: Beyond strong persistence when forgetting in answer set programming
+Normal rank
@@ Property / cites work @@
+On the limits of forgetting in answer set programming
+Normal rank
@@ Property / cites work @@
+First-order modular logic programs and their conservative extensions
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+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 @@
+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 @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent 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 @@
+Achieving compositionality of the stable model semantics for                         <scp>smodels</scp> programs
+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