Possibility and Necessity Functions over Non-Classical Logics.

Philippe Besnard Jérôme Lang

Published in: UAI (1994)

Keyphrases

databases
website
image sequences
neural network
learning algorithm
computer vision
data structure
digital libraries
classical logic
automated theorem proving
mathematical functions