Inversion by Definitional Reflection and the Admissibility of Logical Rules.

Wagner de Campos Sanz Thomas Piecha

Published in: Rev. Symb. Log. (2009)

Keyphrases

logical rules
first order logic
integrity constraints
neural network
computer vision
question answering
artificial neural networks
lower bound
high level
viewpoint
single image
case study
decision trees
image reconstruction
web pages
information systems
laplace transform