1131 search results - page 9 / 227 » Logic Programming, Functional Programming, and Inductive Def... |
PADL
2007
Springer
14 years 25 days ago
2007
Springer
ALT
2004
Springer
14 years 3 months ago
2004
Springer
Probabilistic inductive logic programming, sometimes also called statistical relational learning, addresses one of the central questions of artificial intelligence: the integratio...
FLOPS
2008
Springer
13 years 8 months ago
2008
Springer
Abstract. We present a declarative method for diagnosing missing computed answers in CFLP(D), a generic scheme for lazy Constraint Functional-Logic Programming which can be instant...
MPC
1995
Springer
13 years 10 months ago
1995
Springer
We want to prove \automatically" that a program is correct with respect to a set of given properties that is a speci cation. Proofs of speci cations contain logical parts and ...
EPS
1995
Springer
13 years 10 months ago
1995
Springer