839 search results - page 29 / 168 » Answer Set Programming with Resources |
ASP
2001
Springer
14 years 3 days ago
2001
Springer
We define a reduction system Ë¿ which preserves the stable semantics. This system includes two types of transformation rules. One type (which we call ˾) preserves the stable...
LPNMR
2009
Springer
14 years 5 days ago
2009
Springer
Several proposals of the semantics of aggregates are based on different extensions of the stable model semantics, which makes it difficult to compare them. In this note, building ...
LPNMR
2004
Springer
14 years 29 days ago
2004
Springer
ASP
2003
Springer
14 years 25 days ago
2003
Springer
ASP
2003
Springer
14 years 25 days ago
2003
Springer