3738 search results - page 253 / 748 » Parametrized Logic Programming |
124
click to vote
ICLP
2010
Springer
15 years 8 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
251
click to vote
POPL
2008
ACM
16 years 4 months ago
2008
ACM
We propose a characterization of PSPACE by means of a type assignment for an extension of lambda calculus with a conditional construction. The type assignment STAB is an extension...
145
click to vote
AMI
2009
Springer
15 years 11 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...
161
click to vote
CPAIOR
2010
Springer
15 years 9 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...
154
click to vote
SUM
2007
Springer
15 years 10 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 ...