Lifted inference with tree axioms

We consider the problem of weighted first-order model counting (WFOMC): given a first-order sentence ϕ and domain size n∈N, determine the weighted sum of models of ϕ over the domain {1,…,n}. Past work has shown that any sentence using at most two logical variables admits an algorithm for WFOMC that...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
Veröffentlicht in:	Artificial intelligence Jg. 324; S. 103997
Hauptverfasser:	van Bremen, Timothy, Kuželka, Ondřej
Format:	Journal Article
Sprache:	Englisch
Veröffentlicht:	Elsevier B.V 01.11.2023
Schlagworte:	Logic Statistical-relational learning Weighted first-order model counting Statistical-relational learning Logic Weighted first-order model counting
ISSN:	0004-3702, 1872-7921
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!