and the Associated Borromean Logic.

Published in: Logica Universalis (2012)

Keyphrases

logic programming
classical logic
asynchronous circuits
image processing
multi valued
probabilistic logic
real time
computer vision
probabilistic model
automated reasoning
deontic logic