3481 search results - page 37 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
112
click to vote
APLAS
2000
ACM
15 years 6 months ago
2000
ACM
We have implemented Kima, an automated error correction system for concurrent logic programs. Kima corrects near-misses such as wrong variable occurrences in the absence of explici...
IJCAI
2003
15 years 3 months ago
2003
We solve the problem of obtaining answers to queries posed to a mediated integration system un der the local-as-view paradigm that are consistent wrt to certain global integrity...
111
click to vote
EPIA
2001
Springer
15 years 6 months ago
2001
Springer
Abstract. Multi-adjoint logic program generalise monotonic logic programs introduced in [1] in that simultaneous use of several implications in the rules and rather general connect...
114
click to vote
CORR
2002
Springer
15 years 1 months ago
2002
Springer
We introduce a methodology and framework for expressing general preference information in logic programming under the answer set semantics. An ordered logic program is an extended...