Logic.

Stefano Aguzzoli Matteo Bianchi Brunella Gerla Diego Valota

Published in: ECSQARU (2017)

Keyphrases

logic programming
classical logic
deontic logic
neural network
machine learning
predicate logic
information retrieval
artificial intelligence
computer vision
information systems
artificial neural networks
modal logic
automated reasoning
computational properties
digital circuits
asynchronous circuits