Answer Set Programming as SAT modulo Acyclicity

Saved in:
Bibliographic Details
Published inFrontiers in artificial intelligence and applications
Format Book Chapter
LanguageEnglish
Online AccessGet full text
ISSN1879-8314
0922-6389
DOI10.3233/978-1-61499-419-0-351

Cover

More Information
ISSN:1879-8314
0922-6389
DOI:10.3233/978-1-61499-419-0-351