Unifying theories in ProofPower-Z.

Marcel Oliveira Ana Cavalcanti Jim Woodcock

Published in: Formal Aspects Comput. (2013)

Keyphrases

cognitive psychology
defeasible logic
website
database systems
search algorithm
neural network
computer vision
image sequences
multiresolution
hidden markov models
design theory