Speaker:

Ye Wei & Dingwen Xu (University of Electronic Science and Technology of China)

Time:

• 16:20-17:20 (Time in Beijing)
• November 25, 2022 (Friday)

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.