FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
SLIDES

Counting Complexity for Projected Reasoning in Abstract Argumentation

Johannes Fichte, Markus Hecher and Arne Meier

Rushing and Strolling Among Answer Sets - Navigation Made Easy

Johannes K. Fichte, Sarah Alice Gaggl and Dominik Rusovac

Recursive Solutions to First-Order Model Counting

Paulius Dilkas and Vaishak Belle

Generating Random Weighted Model Counting Instances: an Empirical Analysis with Varying Primal Treewidth

Paulius Dilkas

Scalable Uniform Sampling via Efficient Knowledge Compilation

Yong Lai, Kuldeep S. Meel and Roland Yap

Quantifying Software Reliability via Model-Counting

Samuel Teuber and Alexander Weigl

Heuristic Computation of Exact Treewidth - Some Improvements and More Experimental Evaluations

Hisao Tamaki
Total: 7 presentations.