Extensional Paramodulation for Higher-Order Logic and Its Effective Implementation Leo-III.

Alexander Steen

Published in: Künstliche Intell. (2020)

Keyphrases

higher order logic
higher order
inference rules
theorem prover
decision trees
multi agent
pairwise
sufficient conditions
logical framework