Extensions of answer set programming
ICLP (Technical Communications), pp. 261-267, 2012.
Set Constraint programmingPSC programmingstable modelpreferred PSC stable modelnew programming languageMore(6+)
This work discusses two new extensions of Answer Set Programming (ASP) and a new computational method for solving the following two problems: (1) given a finite propositional logic program P which has a stable model, find a stable model M of P, and (2) given a finite propositional logic program P which has no stable model, find a maximal ...More
Full Text (Upload PDF)
PPT (Upload PPT)