# Extensions of answer set programming

ICLP (Technical Communications), pp. 261-267, 2012.

EI

Keywords:

Set Constraint programmingPSC programmingstable modelpreferred PSC stable modelnew programming languageMore(6+)

Abstract:

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

Code:

Data:

Tags

Comments