Applying Visible Strong Equivalence in Answer-Set Program Transformations (Q2900532): Difference between revisions

@@ Property / author @@
-Ilkka Niemelä
@@ Property / author: Ilkka Niemelä / rank @@
-Normal rank
@@ Property / author @@
+Ilkka Niemelä
@@ Property / author: Ilkka Niemelä / rank @@
+Normal rank
@@ Property / describes a project that uses @@
+clasp
@@ Property / describes a project that uses: clasp / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / OpenAlex ID @@
+W3139333323
@@ Property / OpenAlex ID: W3139333323 / rank @@
+Normal rank
@@ Property / cites work @@
+Q3429154
@@ Property / cites work: Q3429154 / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming
@@ Property / cites work: Logic Programming / rank @@
+Normal rank
@@ Property / cites work @@
+Logic Programming and Nonmonotonic Reasoning
@@ Property / cites work: Logic Programming and Nonmonotonic Reasoning / rank @@
+Normal rank
@@ Property / cites work @@
+Semantical characterizations and complexity of equivalences in answer set programming
+Normal rank
@@ Property / cites work @@
+A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
+Normal rank
@@ Property / cites work @@
+Q3983043
@@ Property / cites work: Q3983043 / rank @@
+Normal rank
@@ Property / cites work @@
+Some (in)translatability results for normal logic programs and propositional theories
+Normal rank
@@ Property / cites work @@
+Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
+Normal rank
@@ Property / cites work @@
+Automated Verification of Weak Equivalence within the<scp><i>smodels</i></scp>System
+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 @@
+Strongly equivalent logic programs
@@ Property / cites work: Strongly equivalent logic programs / rank @@
+Normal rank
@@ Property / cites work @@
+Q3624035
@@ Property / cites work: Q3624035 / rank @@
+Normal rank
@@ Property / cites work @@
+Achieving compositionality of the stable model semantics for                         <scp>smodels</scp> programs
+Normal rank
@@ Property / cites work @@
+Equilibrium logic
@@ Property / cites work: Equilibrium logic / rank @@
+Normal rank
@@ Property / cites work @@
+Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
+Normal rank
@@ Property / cites work @@
+Extending and implementing the stable model semantics
+Normal rank
@@ Property / cites work @@
+Q4799292
@@ Property / cites work: Q4799292 / rank @@
+Normal rank
@@ Property / cites work @@
+Strong equivalence made easy: nested expressions and weight constraints
+Normal rank
@@ Property / cites work @@
+Logics in Artificial Intelligence
@@ Property / cites work: Logics in Artificial Intelligence / rank @@
+Normal rank
@@ Property / cites work @@
+A common view on strong, uniform, and other notions of equivalence in answer-set programming
+Normal rank