Applying visible strong equivalence in answer-set program transformations

DOI10.1007/978-3-642-30743-0_24zbMATH Open1357.68037OpenAlexW3139333323MaRDI QIDQ2900532FDOQ2900532

Ilkka Niemelä, Tomi Janhunen

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

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

Mathematics Subject Classification ID

Logic programming (68N17)

Cites Work

• Extending and implementing the stable model semantics
• Modularity aspects of disjunctive stable models
• Title not available (Why is that?)
• Strong equivalence made easy: nested expressions and weight constraints
• Strongly equivalent logic programs
• Equilibrium logic
• Title not available (Why is that?)
• Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs
• Logic Programming
• Title not available (Why is that?)
• Semantical characterizations and complexity of equivalences in answer set programming
• Logic Programming and Nonmonotonic Reasoning
• A common view on strong, uniform, and other notions of equivalence in answer-set programming
• Title not available (Why is that?)
• Logics in Artificial Intelligence
• Compact Translations of Non-disjunctive Answer Set Programs to Propositional Clauses
• Some (in)translatability results for normal logic programs and propositional theories
• A general framework for equivalences in Answer-Set Programming by countermodels in the logic of Here-and-There
• Casting Away Disjunction and Negation under a Generalisation of Strong Equivalence with Projection
• Automated Verification of Weak Equivalence within the<scp>smodels</scp>System

Cited In (4)

• Rewriting optimization statements in answer-set programs
• Title not available (Why is that?)
• Improving the Normalization of Weight Rules in Answer Set Programs
• Title not available (Why is that?)

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)