Publicaties
Gekozen filters:
Gekozen filters:
The Interaction between Logic and Geometry in Aristotelian Diagrams KU Leuven
© Springer International Publishing Switzerland 2016. We develop a systematic approach for dealing with informationally equivalent Aristotelian diagrams, based on the interaction between the logical properties of the visualized information and the geometrical properties of the concrete polygon/polyhedron. To illustrate the account’s fruitfulness, we apply it to all Aristotelian families of 4-formula fragments that are closed under negation ...
Geometric and Cognitive Differences between Logical Diagrams for the Boolean Algebra B_4 KU Leuven
© 2018, Springer International Publishing AG, part of Springer Nature. Aristotelian diagrams are used extensively in contemporary research in artificial intelligence. The present paper investigates the geometric and cognitive differences between two types of Aristotelian diagrams for the Boolean algebra B4. Within the class of 3D visualizations, the main geometric distinction is that between the cube-based diagrams (such as the rhombic ...