A Dynamic Approach to Temporal Normative Logic.
Fengkui JuGianluca GrillettiPublished in: LORI (2017)
Keyphrases
- spatio temporal
- normative systems
- temporal information
- logic programming
- dynamic environments
- temporal reasoning
- linear temporal logic
- temporal constraints
- dynamic textures
- computational properties
- temporal dimension
- machine learning
- space time
- spatial information
- spatial and temporal
- social networks
- database
- dynamically changing
- classical logic
- temporal aspects
- temporal knowledge
- data mining