Removing Redundancy from Answer Set Programs

DOI10.1007/978-3-540-89982-2_66zbMath1185.68160OpenAlexW201814071MaRDI QIDQ5504694

Tomi Janhunen

Publication date: 22 January 2009

Published in: Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-89982-2_66

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (2)

Cumulativity Tailored for Nonmonotonic Reasoning ⋮ modopt

Uses Software

• Smodels

Cites Work

• Extending and implementing the stable model semantics
• Redundancy in logic. III: Non-monotonic reasoning
• Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
• Logic Programming and Nonmonotonic Reasoning
• Automated Verification of Weak Equivalence within the<scp>smodels</scp>System

This page was built for publication: Removing Redundancy from Answer Set Programs