3481 search results - page 37 / 697 » Higher-Order Logic Programming as Constraint Logic Programmi... |
ICLP
1991
Springer
14 years 9 days ago
1991
Springer
Interpretation of Logic Programs 1
APLAS
2000
ACM
14 years 1 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
13 years 10 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...
EPIA
2001
Springer
14 years 1 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...
CORR
2002
Springer
13 years 8 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...