A minimal logic for interactive epistemology.

Emiliano Lorini

Published in: Synth. (2016)

Keyphrases

logic programming
modal logic
multi valued
data sets
formal theory
user friendly
virtual reality
computer graphics
expert systems
knowledge building
image processing
defeasible logic
interactive systems
highly interactive
real time
deontic logic
sound and complete axiomatization