A logic of sights.

Cédric Dégremont Soumya Paul Nicholas Asher

Published in: J. Log. Comput. (2017)

Keyphrases

logic programming
image processing
video sequences
expert systems
classical logic
machine learning
epistemic logic
modal logic
multi valued
intuitionistic logic
proof theory
predicate logic
digital circuits
logical framework
multi agent systems
bayesian networks
social networks
genetic algorithm