Answer Set Programming as SAT modulo Acyclicity

Research output: Chapter in Book/Report/Conference proceedingConference contributionScientificpeer-review

Researchers

Research units

Details

Original languageEnglish
Title of host publicationEuropean Conference on Artificial Intelligence, ECAI 2014, 18-22 August, Prague, Czech Republic
Publication statusPublished - 2014
MoE publication typeA4 Article in a conference publication

ID: 540154