1
Published 2007
Table of Contents: ... Finite Domains -- Conflict-Driven Answer Set Enumeration -- Head-Elementary-Set-Free Logic Programs -- A...
View full text
Electronic eBook
2
Published 2010
Table of Contents: ... -- Efficient Enumeration for Conjunctive Queries over X-underbar Structures -- A Formalisation of the Normal...
View full text
Electronic eBook
3
Published 2014
Table of Contents: ... -- Answer-Set Programming A Complexity Assessment for Queries Involving Sufficient and Necessary Causes...
View full text
Electronic eBook