Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

DOI10.1007/978-3-540-74610-2_10zbMath1213.68178OpenAlexW1587330991MaRDI QIDQ3608651

Matti Järvisalo, Emilia Oikarinen

Publication date: 5 March 2009

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

Full work available at URL: http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.169.4551

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items

Achieving compositionality of the stable model semantics for <scp>smodels</scp> programs, On the relation among answer set solvers, On the Continuity of Gelfond-Lifschitz Operator and Other Applications of Proof-Theory in ASP, Removing Redundancy from Answer Set Programs