4192 search results - page 287 / 839 » Probabilistic Logic Programming |
161
click to vote
ICLP
2010
Springer
15 years 10 months ago
2010
Springer
The proof-theoretic approach to logic programming has benefited from the
299
click to vote
POPL
2008
ACM
16 years 7 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...
175
click to vote
AMI
2009
Springer
16 years 1 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...
182
click to vote
GECCO
2005
Springer
16 years 3 days ago
2005
Springer
We present a molecular computing algorithm for evolving DNA-encoded genetic programs in a test tube. The use of synthetic DNA molecules combined with biochemical techniques for va...
191
Voted
CPAIOR
2010
Springer
15 years 11 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...