Guarded resolution for Answer Set Programming
From MaRDI portal
Publication:3087811
DOI10.1017/S1471068410000062zbMath1223.68104MaRDI QIDQ3087811
Victor W. Marek, Jeffery B. Remmel
Publication date: 17 August 2011
Published in: Theory and Practice of Logic Programming (Search for Journal in Brave)
guarded Horn clauses; Gelfond-Lifschitz operator; guarded atoms; guarded resolution; positive unit resolution; proof-theory for answer set programming; stable semantics of logic programs
68N17: Logic programming
Related Items
Uses Software
Cites Work