Guarded resolution for Answer Set Programming

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)

zbMATH Keywords

guarded Horn clausesGelfond-Lifschitz operatorguarded atomsguarded resolutionpositive unit resolutionproof-theory for answer set programmingstable semantics of logic programs

Mathematics Subject Classification ID

Related Items (1)

Disjunctive Programs with Set Constraints

Uses Software

• ASSAT

Cites Work

• Unnamed Item

This page was built for publication: Guarded resolution for Answer Set Programming