Automated Support for the Investigation of Paraconsistent and Other Logics.

Agata Ciabattoni Ori Lahav Lara Spendier Anna Zamansky

Published in: LFCS (2013)

Keyphrases

logic programming
inference rules
semi automated
end users
expressive power
database
databases
neural network
information retrieval
learning algorithm
social networks
image sequences
computer aided
context sensitive
fully automated
truth values