Login / Signup
A Compositional Typed Higher-Order Logic with Definitions.
Ingmar Dasseville
Matthias van der Hallen
Bart Bogaerts
Gerda Janssens
Marc Denecker
Published in:
ICLP (Technical Communications) (2016)
Keyphrases
</>
higher order logic
higher order
theorem prover
conditional logic
pairwise
logical framework
artificial intelligence
decision trees
evolutionary algorithm
probability distribution
lambda calculus