Weighted Model Counting in First-Order Logic

“Doc in Progress” are pleased to introduce you to:

• Sagar Malhotra -  University of Trento, FBK, PhD in Information and Communication Technology

Abstract:
Weighted Model Counting (WMC) refers to computing the weighted sum of the models of a logical formula. Many tasks in fields like probabilistic logic, social network analysis, formal verification, network reliability, etc. can be formalised as WMC. A significant challenge to WMC remains the sheer intractability of the problem.
In this talk, we will go over the recent developments in WMC for its first-order logic variant. We will present the fragments of first-order logic that admit polynomial-time WMC. Furthermore, we will present an analytical approach to model counting, allowing us to write closed-form formulae for WMC of arbitrary logical sentences
containing at most two variables.
The presented treatment is due to collaboration with Luciano Serafini.

The seminar will be held both in presence in Seminar Room "-1" (PovoZero) and online via Zoom.

To join the event, please contact docinprogress.unitn [at] gmail.com using an institutional e-mail address for both reserving a sit in the seminar room or obtaining login credentials.