Probabilistic Metric Temporal Graph Logic.
Sven SchneiderMaria MaximovaHolger GiesePublished in: ICGT (2022)
Keyphrases
- probabilistic logic
- linear temporal logic
- probability theory
- graph structure
- temporal reasoning
- spatio temporal
- probability measure
- temporal context
- temporal information
- temporal constraints
- logical inference
- graph representation
- directed graph
- generative model
- weighted graph
- spatial and temporal
- temporal databases
- logic programming
- probability measures
- bipartite graph
- evaluation metrics
- graph theory
- probabilistic reasoning
- structured data
- metric space
- topological map
- graph theoretic
- multi valued
- temporal relations
- spanning tree
- probabilistic model
- maximum common subgraph
- graph model
- temporal data
- temporal patterns
- connected components
- temporal logic
- information theoretic
- graph mining
- bayesian networks
- random walk
- belief networks
- uncertain data
- modal logic