From (Quantified) Boolean Formulae to Answer Set Programming

DOI10.1093/LOGCOM/EXN041zbMath1192.68133OpenAlexW2002645982MaRDI QIDQ3395260

Pascal Nicolas, Igor Stéphan, Benoit da Mota

Publication date: 24 August 2009

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://hal.univ-angers.fr/hal-03255405/document

Mathematics Subject Classification ID

Logic programming (68N17)

Uses Software

• Quaffle
• QUBOS
• Unnamed Item

This page was built for publication: From (Quantified) Boolean Formulae to Answer Set Programming