A Spatial Logic with Time and Quantifiers.
Laura BussiVincenzo CianciaFabio GadducciPublished in: DaLí (2023)
Keyphrases
- spatial data
- logic programming
- spatial information
- predicate logic
- spatial databases
- natural language
- spatial and temporal
- spatial distribution
- spatial relationships
- spatial relations
- temporal logic
- model checking
- first order logic
- classical logic
- set theory
- logical framework
- multi valued
- computational properties
- neural network
- asynchronous circuits
- spatial objects
- modal logic
- data model
- spatio temporal
- database systems
- learning algorithm
- genetic algorithm
- information retrieval