Applying visible strong equivalence in answer-set program transformations

DOI10.1007/978-3-642-30743-0_24MaRDI QIDQ2900532zbMATH OpenOpenAlexFDO

Authors Tomi Janhunen, Ilkka Niemelä

Publication date 23 July 2012

Published in Correct Reasoning (Search for Journal in Brave)

Full work available at URL https://aaltodoc.aalto.fi/handle/123456789/61774

Mathematics Subject Classification ID

Logic programming (68N17)

Recommendations

• Applying visible strong equivalence in answer-set program transformations
• scientific article; zbMATH DE number 2090116
• Strongly equivalent logic programs
• Strong equivalence made easy: nested expressions and weight constraints
• A common view on strong, uniform, and other notions of equivalence in answer-set programming

Cites work

• A common view on strong, uniform, and other notions of equivalence in answer-set programming
• A general framework for equivalences in answer-set programming by countermodels in the logic of here-and-there
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Automated Verification of Weak Equivalence within the<scp>smodels</scp>System
• Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
• Compact translations of non-disjunctive answer set programs to propositional clauses
• Equilibrium logic
• Extending and implementing the stable model semantics
• scientific article; zbMATH DE number 5139161 (Why is no real title available?)
• scientific article; zbMATH DE number 25190 (Why is no real title available?)
• scientific article; zbMATH DE number 1884383 (Why is no real title available?)
• Logic Programming
• Logic Programming and Nonmonotonic Reasoning
• Logics in Artificial Intelligence
• Modularity aspects of disjunctive stable models
• Properties and applications of programs with monotone and convex constraints
• Semantical characterizations and complexity of equivalences in answer set programming
• Some (in)translatability results for normal logic programs and propositional theories
• Strong equivalence made easy: nested expressions and weight constraints
• Strongly equivalent logic programs

Cited in

(5)

• Improving the normalization of weight rules in answer set programs
• scientific article; zbMATH DE number 2090116 (Why is no real title available?)
• scientific article; zbMATH DE number 7455719 (Why is no real title available?)
• Applying visible strong equivalence in answer-set program transformations
• Rewriting optimization statements in answer-set programs

Describes a project that uses

Uses Software

• clasp

This page was built for publication: Applying visible strong equivalence in answer-set program transformations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2900532)