A Note on Rabin's Width of a Complete Proof.

José Luis Montaña Luis Miguel Pardo Tomás Recio

Published in: Comput. Complex. (1994)

Keyphrases

linear logic
real world
decision making
theorem prover
provably correct
information retrieval
learning algorithm
image sequences
reinforcement learning
multi agent
lower bound
hidden markov models
logic programming
first order logic
aspect ratio