599 search results - page 14 / 120 » Integrating answer set programming and constraint logic prog... |
102
click to vote
ECSQARU
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. Both in classical logic and in Answer Set Programming, inconsistency is characterized by non existence of a model. Whereas every formula is a theorem for inconsistent set...
ICLP
2004
Springer
15 years 5 months ago
2004
Springer
The extended answer set semantics for logic programs allows for the defeat of rules to resolve contradictions. We propose a refinement of these semantics based on a preference rel...
ASP
2001
Springer
15 years 4 months ago
2001
Springer
LPNMR
2004
Springer
15 years 5 months ago
2004
Springer
CSL
1998
Springer
15 years 4 months ago
1998
Springer
We study revision programming, a logic-based mechanism for enforcing constraints on databases. The central concept of this approach is that of a justi ed revision based on a revisi...