Automating Coherent Logic.

Marc Bezem Thierry Coquand

Published in: LPAR (2005)

Keyphrases

logic programming
artificial intelligence
sound and complete axiomatization
real time
multi valued
classical logic
data mining
learning algorithm
image processing
automated reasoning
logical framework
truth values