Proof System.

Published in: PxTP (2012)

Keyphrases

modal logic
database
clause learning
intuitionistic logic
machine learning
information retrieval
genetic algorithm
feature space
special case
sequent calculus
proof search