Logic of prototypes and counterexamples: possibilities and limits.

Thomas Vetterlein

Published in: IFSA-EUSFLAT (2015)

Keyphrases

predicate logic
classical logic
asynchronous circuits
logic programming
multi valued
proof theory
data sets
machine learning
multiscale
modal logic
automated reasoning
nonmonotonic logics
truth values
linear logic