An optimal tableau for Right Propositional Neighborhood Logic over Trees.

Davide Bresolin Angelo Montanari Pietro Sala

Published in: TIME (2008)

Keyphrases

proof procedure
decision trees
sound and complete axiomatization
dynamic programming
propositional logic
theorem proving
multi valued
probabilistic logic
optimal solution
machine learning
predicate calculus
worst case
predicate logic
general logic programs