MC-2022 PROGRAM
Thursday, August 11th
View this program: with abstractssession overviewtalk overviewside by side with other conferences
09:00-10:30 Session 92C: Model Counting: Applications
| 09:00 | Quantifying Software Reliability via Model-Counting (abstract) PRESENTER: Samuel Teuber |
| 09:30 | Stochastic Constraint Optimisation with Applications in Network Analysis (abstract) PRESENTER: Anna Latour |
| 10:00 | Rushing and Strolling among Answer Sets - Navigation Made Easy (abstract) |
10:30-11:00Coffee Break
11:00-12:30 Session 95D: Model Counting: Applications & Experiments
| 11:00 | Cognitive Reasoning in ASP (abstract) PRESENTER: Emmanuelle-Anna Dietz |
| 11:30 | Generating Random Weighted Model Counting Instances: An Empirical Analysis with Varying Primal Treewidth (abstract) |
| 12:00 | Extending Partially Directed Graphs and Determine the Size of their Markov Equivalence Class (abstract) |
12:30-14:00Lunch Break
14:00-15:30 Session 97D: Algorithms & Complexity
| 14:00 | Heuristic computation of exact treewidth - some improvements and more experimental evaluations (abstract) |
| 14:30 | Counting Complexity for Projected Reasoning in Abstract Argumentation (abstract) |
| 15:00 | A Faster Algorithm for Propositional Model Counting Parameterized by Incidence Treewidth (abstract) PRESENTER: Friedrich Slivovsky |
15:30-16:00Coffee Break
16:00-17:30 Session 98D: Sampling and First Order
| 16:00 | Recursive Solutions to First-Order Model Counting (abstract) PRESENTER: Paulius Dilkas |
| 16:30 | Scalable Uniform Sampling via Efficient Knowledge Compilation (abstract) PRESENTER: Yong Lai |
| 17:00 | Designing Samplers is Easy: The Boon of Testers (abstract) PRESENTER: Priyanka Golia |
18:00-19:30Workshop Dinner (at the Technion) - Paid event