284 search results - page 7 / 57 » Answer Set Programming for the Semantic Web |
ASP
2001
Springer
15 years 1 months ago
2001
Springer
AI
2008
Springer
14 years 9 months ago
2008
Springer
107
click to vote
CORR
2002
Springer
14 years 9 months ago
2002
Springer
A relational database is inconsistent if it does not satisfy a given set of integrity constraints. Nevertheless, it is likely that most of the data in it is consistent with the co...
ASP
2001
Springer
15 years 1 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...
AAAI
2008
14 years 11 months ago
2008
Answer-set programming (ASP) is widely recognised as a viable tool for declarative problem solving. However, there is currently a lack of tools for developing answer-set programs....