Combinatory Logic Synthesizer.

Jan Bessai Andrej Dudenhefner Boris Düdder Moritz Martens Jakob Rehof

Published in: ISoLA (1) (2014)

Keyphrases

classical logic
logic programming
automated reasoning
proof theory
neural network
sound and complete axiomatization
database
natural deduction
predicate logic
nonmonotonic logics
defeasible logic
knowledge representation
relational databases
clustering algorithm
genetic algorithm
databases
real time