Towards an efficient prover for the C1 paraconsistent logic

Adolfo Neto Celso A. A. Kaestner Marcelo Finger

Published in: CoRR (2012)

Keyphrases

wide range
theorem proving
highly efficient
computer vision
multimedia
high level
high quality
reinforcement learning
data sets
search algorithm
high dimensional
knowledge representation
medical images
computationally efficient
theorem prover
data mining
databases