4370 search results - page 333 / 874 » Algebra of Logic Programming |
115
Voted
AMI
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. We propose SAGE, an agent-based environment monitoring and control system based on computation logic. SAGE uses forward chaining deductive inference to map low level sens...
126
Voted
CPAIOR
2010
Springer
15 years 6 months ago
2010
Springer
Abstract. Logic-based Benders decomposition can combine mixed integer programming and constraint programming to solve planning and scheduling problems much faster than either metho...
126
Voted
SUM
2007
Springer
15 years 7 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 ...
125
Voted
FSTTCS
1999
Springer
15 years 5 months ago
1999
Springer
The λ-calculus has been much used to study the theory of substitution in logical systems and programming languages. However, with explicit substitutions, it is possible to get fi...
116
Voted
PLILP
1998
Springer
15 years 5 months ago
1998
Springer
Abstract. We address the problem of term normalisation modulo associativecommutative (AC) theories, and describe several techniques for compiling many-to-one AC matching and reduce...