The Logic of Typical and Atypical Instances (LTA).

Jean-Pierre Desclés Anca Pascu Christophe Jouis

Published in: FLAIRS Conference (2013)

Keyphrases

randomly generated
logic programming
predicate logic
data sets
real world
artificial intelligence
modal logic
neural network
lower and upper bounds
classical logic
formal theory
real time
deontic logic