Ye Wei & Dingwen Xu: Probability Graph Models
- Speaker
- Ye Wei & Dingwen Xu
- Affiliation
- University of Electronic Science and Technology of China
- Date
- Time
- – Asia/Shanghai
- Venue
- 518, Research Building 4
Abstract
We explain graph models (PGs) and regular path queries (RPQs). Then we introduce probability graph models (PGMs) and regular probability graph query language (PRPQs). We investigate three fundamental questions related to PRPQs: (1) the model checking problem (2) the satisfiability problem, and (3) the Validity problem.