214 search results - page 4 / 43 » Towards an Integration of Answer Set and Constraint Solving |
ISIP
2008
IEEE
14 years 5 days ago
2008
IEEE
Adaptive Business Intelligence is the discipline that combines prediction, optimization and adaptability into a system answering two important questions: What would probably happe...
SUM
2007
Springer
13 years 12 months ago
2007
Springer
Abstract. We present the Consistency Extractor System (ConsEx) that uses answer set programming to compute consistent answers to first-order queries posed to relational databases ...
SEMWEB
2009
Springer
14 years 9 days ago
2009
Springer
In many data-centric applications, it is desirable to use OWL as an expressive schema language with which one expresses constraints that must be satisfied by instance data. Howeve...
MIRRORBOT
2005
Springer
13 years 11 months ago
2005
Springer
This paper presents a computational self-organizing model of multi-modal information, inspired from cortical maps. It shows how the organization in a map can be influenced by the ...
CORR
2010
Springer
13 years 5 months ago
2010
Springer
We propose a method for inferring parameterized regular types for logic programs as solutions for systems of constraints over sets of finite ground Herbrand terms (set constraint s...