The Interaction Between Logic and Geometry in Aristotelian Diagrams.

Lorenz Demey Hans Smessaert

Published in: Diagrams (2016)

Keyphrases

three dimensional
human computer interaction
logic programming
modal logic
artificial intelligence
sound and complete axiomatization
database
learning algorithm
human interaction
automated reasoning
classical logic
defeasible logic