The Logic of Pit.

Hans P. van Ditmarsch

Published in: Synth. (2006)

Keyphrases

modal logic
automated reasoning
logic programming
neural network
digital circuits
nonmonotonic logics
asynchronous circuits
data sets
probabilistic logic
multi valued
databases
search algorithm
video sequences
image processing
knowledge base
predicate logic
abductive reasoning
deontic logic