A logic you can count on.

Silvano Dal-Zilio Denis Lugiez Charles Meyssonnier

Published in: POPL (2004)

Keyphrases

logic programming
modal logic
automated reasoning
defeasible logic
predicate logic
real time
delay insensitive
epistemic logic
classical logic
deductive reasoning
logical operations
abductive reasoning
truth values
multi valued
artificial neural networks
video sequences
data structure
learning algorithm