Weighted Model Counting in First-Order Logic

28 aprile 2022
Orario di inizio 
PovoZero - Via Sommarive 14, Povo (Trento)
Seminar Room “-1” (Department of Mathematics)
Comunità universitaria
Online su prenotazione
Email per prenotazione: 

Doc in Progress” are pleased to introduce you to:

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

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] using an institutional e-mail address for both reserving a sit in the seminar room or obtaining login credentials.