Probabilistic Metric Temporal Graph Logic.
Sven SchneiderMaria MaximovaHolger GiesePublished in: CoRR (2021)
Keyphrases
- probabilistic logic
- probability theory
- graph structure
- probabilistic model
- logical inference
- linear temporal logic
- bayesian networks
- probability measures
- temporal context
- graph representation
- spatial and temporal
- temporal information
- metric space
- temporal constraints
- temporal reasoning
- temporal data
- directed graph
- structured data
- spatio temporal
- graph model
- weighted graph
- classical logic
- graph theory
- uncertain data
- logic programming
- random walk
- directed acyclic graph
- probability distribution
- distance metric
- topological map
- generative model
- maximum common subgraph
- semi supervised
- relational structures
- space time
- distance function
- probabilistic reasoning
- similarity metric
- modal logic
- graph mining
- graph matching