Login / Signup

A Compositional Typed Higher-Order Logic with Definitions.

Ingmar DassevilleMatthias van der HallenBart BogaertsGerda JanssensMarc 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