Types and Tokens for Logic with Diagrams.

Published in: ICCS (2004)

Keyphrases

logic programming
real time
data sets
image processing
automated reasoning
multi valued
machine learning
website
data model
modal logic