1002 search results - page 4 / 201 » Constraint Answer Set Solving |
WLP
2004
Springer
14 years 1 months ago
2004
Springer
Abstract. In this paper we apply answer set programming to solve alternating Boolean equation systems. We develop a novel characterization of solutions for variables in disjunctive...
LPAR
2005
Springer
14 years 1 months ago
2005
Springer
We present a new answer set solver, called nomore++, along with its underlying theoretical foundations. A distinguishing feature is that it treats heads and bodies equitably as com...
LPNMR
2005
Springer
14 years 1 months ago
2005
Springer
CORR
2002
Springer
13 years 7 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...
FOIKS
2006
Springer
13 years 11 months ago
2006
Springer
Abstract. In this paper, we present a syntactic method for solving firstorder equational constraints over term algebras. The presented method exploits a novel notion of quasi-solve...