Signalling in independence-friendly logic.

Fausto Barbero Gabriel Sandu

Published in: Log. J. IGPL (2014)

Keyphrases

modal logic
multi valued
classical logic
predicate logic
friendly interface
learning algorithm
digital circuits
neural network
information systems
conditional independence
automated reasoning
probabilistic logic
defeasible logic
traffic engineering