754 search results - page 37 / 151 » An Ordered Logic Program Solver |
101
Voted
IJCAI
2001
15 years 1 months ago
2001
We present a dynamic programming approach for the solution of first-order Markov decisions processes. This technique uses an MDP whose dynamics is represented in a variant of the ...
122
Voted
FLOPS
1999
Springer
15 years 4 months ago
1999
Springer
We describe a new approach to higher-order narrowing computations in a class of systems suitable for functional logic programming. Our approach is based on a translation of these s...
CADE
2005
Springer
16 years 27 days ago
2005
Springer
We present the theory and implementation of a theorem prover for first-order intuitionistic linear logic based on the inverse method. The central proof-theoretic insights underlyin...
114
Voted
CADE
2000
Springer
15 years 5 months ago
2000
Springer
Abstract. Proof-carrying code and other applications in computer security require machine-checkable proofs of properties of machine-language programs. These in turn require axioms ...
111
click to vote
PLILP
1994
Springer
15 years 4 months ago
1994
Springer
Abstract. We investigate an extension of a lazy functional logic language, which uses term disequations both in programs and in computed answers. The semantic properties of the lan...