2 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.LO2023★ 2 cited
On Discovering Interesting Combinatorial Integer Sequences
Martin Svatoš, Peter Jung, Jan Tóth +2
We study the problem of generating interesting integer sequences with a combinatorial interpretation. For this we introduce a two-step approach. In the first step, we generate firs…
cs.AI2023★ 1 cited
On Exact Sampling in the Two-Variable Fragment of First-Order Logic
Yuanhong Wang, Juhua Pu, Yuyi Wang +1
In this paper, we study the sampling problem for first-order logic proposed recently by Wang et al. -- how to efficiently sample a model of a given first-order sentence on a finite…
cs.AI2016
Stratified Knowledge Bases as Interpretable Probabilistic Models (Extended Abstract)
Ondrej Kuzelka, Jesse Davis, Steven Schockaert
In this paper, we advocate the use of stratified logical theories for representing probabilistic models. We argue that such encodings can be more interpretable than those obtained…