Similar Items: Approximating Queries on Probabilistic Graphs
- The Dichotomy of Evaluating Homomorphism-Closed Queries on Probabilistic Graphs
- Approximate reasoning for real-time probabilistic processes
- Sound approximate and asymptotic probabilistic bisimulations for PCTL
- Expressive Path Queries on Graph with Data
- Localized RETE for Incremental Graph Queries with Nested Graph Conditions
- Approximating a Behavioural Pseudometric without Discount for Probabilistic Systems