599 search results - page 44 / 120 » Integrating answer set programming and constraint logic prog... |
132
Voted
CL
2000
Springer
15 years 7 months ago
2000
Springer
In this paper, an algorithm for obtaining consistent answers to queries posed to inconsistent relational databases is presented. The algorith is proven to be sound, terminating and...
131
click to vote
TACS
1994
Springer
15 years 7 months ago
1994
Springer
Abstract. We have designed a programming logic based on an integration of functional programming languages with classical set theory. The logic merges a classical view of equality ...
146
click to vote
AAAI
2006
15 years 4 months ago
2006
Recent research shows that SAT (propositional satisfiability) techniques can be employed to build efficient systems to compute answer sets for logic programs. ASSAT and CMODELS ar...
157
Voted
CORR
1998
Springer
15 years 3 months ago
1998
Springer
In this paper we reexamine the place and role of stable model semantics in logic programming and contrast it with a least Herbrand model approach to Horn programs. We demonstrate ...
172
click to vote
CORR
2010
Springer
15 years 3 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...