Analytic Tableaux for Higher-Order Logic with Choice.

Julian Backes Chad E. Brown

Published in: IJCAR (2010)

Keyphrases

higher order logic
higher order
conditional logic
modal logic
theorem prover
logical framework
video sequences
functional dependencies
automated reasoning
decision procedures
artificial intelligence
incomplete information
decision trees
relational databases
dimension reduction
nonmonotonic reasoning