Unification of geospatial reasoning, temporal logic, & social network analysis in event-based systems.
Jans AasmanPublished in: DEBS (2008)
Keyphrases
- social network analysis
- temporal logic
- network analysis
- social networks
- model checking
- link prediction
- reactive systems
- modal logic
- graph theory
- temporal knowledge
- dynamic constraints
- complex networks
- communication patterns
- technology enhanced learning
- link discovery
- inference rules
- formal methods
- structural patterns
- key players