Extensions of answer set programming

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

Cited by: 0|Bibtex|Views0|Links
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:

Your rating :
0

 

Tags
Comments