FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
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)
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)
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