7868 search results - page 44 / 1574 » Learning by Answer Sets |
107
Voted
AGP
2010
IEEE
15 years 7 months ago
2010
IEEE
134
click to vote
KR
2010
Springer
15 years 6 months ago
2010
Springer
Cardinality constraints or, more generally, weight constraints are well recognized as an important extension of answer-set programming. Clearly, all common algorithmic tasks relat...
122
click to vote
LPNMR
2009
Springer
15 years 6 months 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 ...
ASP
2001
Springer
15 years 6 months ago
2001
Springer
Abstract Howard A. Blair EECSDept., 2-177 SciTech Syracuse University Syracuse, NY13210 USA
107
Voted
ASP
2001
Springer
15 years 6 months 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...