Login / Signup

Using Inhabitation in Bounded Combinatory Logic with Intersection Types for Composition Synthesis.

Boris DüdderOliver GarbeMoritz MartensJakob RehofPawel Urzyczyn
Published in: ITRS (2012)
Keyphrases
  • logic synthesis
  • automated reasoning
  • databases
  • machine learning
  • computational properties
  • genetic algorithm
  • artificial intelligence
  • knowledge base
  • decision trees
  • face recognition
  • multiple types
  • classical logic