Model Counting and Sampling in First-Order Logic

Result code in IS VaVaI

<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F68407700%3A21230%2F24%3A00381747" target="_blank" >RIV/68407700:21230/24:00381747 - isvavai.cz</a>

Result on the web

<a href="https://ceur-ws.org/Vol-3739/invited-3.pdf" target="_blank" >https://ceur-ws.org/Vol-3739/invited-3.pdf</a>

DOI - Digital Object Identifier

—

Result language

angličtina

Original language name

Model Counting and Sampling in First-Order Logic

Original language description

First-order model counting (FOMC) asks to count models of a first-order logic sentence over a given set of domain elements. Its weighted variant, WFOMC, generalizes FOMC by assigning weights to the models and has applications among others in statistical relational learning. Several non-trivial classes of WFOMC problems that can be solved in time polynomial in the number of domain elements were identified in the literature over the past decade, since the two seminal paper by Van den Broeck (2011) and Van den Broeck, Meert and Darwiche (2014) established tractability of FO2 for WFOMC. This talk is about recent developments on WFOMC and the related problem of weighted first-order model sampling (WFOMS). We also discuss applications of WFOMC and WFOMS, such as automated solving of problems from enumerative combinatorics and elementary probability theory.

Czech name

—

Czech description

—

Type

D - Article in proceedings

CEP classification

—

OECD FORD branch

10201 - Computer sciences, information science, bioinformathics (hardware development to be 2.2, social aspect to be 5.8)

Project

Result was created during the realization of more than one project. More information in the Projects tab.

Continuities

P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)

Publication year

2024

Confidentiality

S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů

Article name in the collection

Proceedings of the 37th International Workshop on Description Logics

ISBN

—

ISSN

1613-0073

e-ISSN

—

Number of pages

6

Pages from-to

7020-7025

Publisher name

CEUR-WS.org

Place of publication

—

Event location

Bergen

Event date

Jun 18, 2024

Type of event by nationality

WRD - Celosvětová akce

UT code for WoS article

—