On the Visualization of Logic: A Diagrammatic Language Based on Spatial, Graphical and Symbolic Notations.
Delfina MalandrinoAlfonso GuarinoNicola LettieriRocco ZaccagninoPublished in: IV (1) (2019)
Keyphrases
- modeling language
- proof theory
- spatial data
- formal language
- graphical representations
- spatio temporal
- operational semantics
- programming language
- formal theory
- spatial information
- geo spatial
- natural language
- classical logic
- symbolic reasoning
- language learning
- dynamic logic
- intuitionistic logic
- predicate calculus
- logic programming
- formal logic
- agent programming
- modal logic
- visual representations
- predicate logic
- linear temporal logic
- highly expressive
- query language for xml
- data analysis
- visual representation
- multi valued
- default reasoning
- symbolic representation
- modal operators
- spatial analysis
- spatial reasoning
- spatial databases
- symbolic description
- spatial and temporal
- propositional dynamic logic
- diagrammatic reasoning
- machine translation