CERES in higher-order logic.

Stefan Hetzl Alexander Leitsch Daniel Weller

Published in: Ann. Pure Appl. Log. (2011)

Keyphrases

higher order logic
higher order
theorem prover
conditional logic
logical framework
default reasoning
automated reasoning
artificial intelligence
data representation
knowledge base
multi agent
pairwise
general purpose
modal logic