On a coalgebraic view on Logic.

Dirk Hofmann Manuel A. Martins

Published in: J. Log. Comput. (2013)

Keyphrases

modal logic
multiple views
viewpoint
logic programming
automated reasoning
neural network
predicate logic
data sets
databases
machine learning
three dimensional
data structure
logic programs
multi valued
computational properties