A Propositional Proof System for Log Space.

Published in: CSL (2005)

Keyphrases

propositional logic
machine learning
search space
first order logic
higher dimensional
information retrieval
artificial intelligence
relational databases
logic programs
low dimensional
parameter space
multi valued