A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf
.
Disjunctive Programs with Set Constraints
[chapter]
2012
Lecture Notes in Computer Science
To Vladimir Lifschitz on the occasion of his 65-th birthday: in recognition of his many contributions to Nonmonotonic Reasoning which have inspired so many researchers in the field. Abstract. We study an extension of disjunctive logic programs called set constraint disjunctive (SCD ) programs where the clauses of the program are allowed to have a disjunction of monotone set constraints in their head and arbitrary monotone and antimonotone set constraints in their body. We introduce new class of
doi:10.1007/978-3-642-30743-0_32
fatcat:mk7ng3yjsrhejfzf7qbdhnpexa