229 search results - page 8 / 46 » On Reductive Semantics of Aggregates in Answer Set Programmi... |
AI
2008
Springer
14 years 9 months ago
2008
Springer
109
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...
AAAI
2008
14 years 12 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....
108
click to vote
ASP
2003
Springer
15 years 2 months ago
2003
Springer
We present a general method to improve computation of answer sets by analyzing structural properties of normal logic programs. Therefore we use labeled directed graphs associated t...
101
Voted
AMAI
2008
Springer
14 years 9 months ago
2008
Springer
We introduce a knowledge representation language AC(C) extending the syntax and semantics of ASP and CR-Prolog, give some examples of its use, and present an algorithm, ACsolver, ...