Multi-focused Proofs with Different Polarity Assignments.

Elaine Pimentel Vivek Nigam João Neto

Published in: LSFA (2015)

Keyphrases

sentiment analysis
artificial intelligence
expert systems
data mining
computer vision
data structure
multi agent systems
artificial neural networks
theorem prover
theorem proving
positive or negative