An Impure Logic of Representational Grounding.

Fabrice Correia

Published in: J. Philos. Log. (2017)

Keyphrases

modal logic
classical logic
multi valued
artificial intelligence
logic programming
real world
computational properties
database
real time
neural network
knowledge representation
multiple representations
deontic logic
logic synthesis
sound and complete axiomatization