Connectives Stranger than Tonk.

Heinrich Wansing

Published in: J. Philos. Log. (2006)

Keyphrases

trust management
inference rules
truth values
management system
classical logic
database
neural network
machine learning
computer vision
decision making
cooperative
special case
wireless sensor networks
sequent calculus