Ondřej Kuželka

Faculty of Electrical Engineering , Czech Technical University in Prague , Czech Republic

7 papers in the IJCAI proceedings

IJCAI 2023

Counting and Sampling Models in First-Order Logic

doi:10.24963/ijcai.2023/801

Details PDF

On Discovering Interesting Combinatorial Integer Sequences

with Martin Svatoš, Peter Jung, Jan Tóth, Yuyi Wang

doi:10.24963/ijcai.2023/372

Details PDF

IJCAI 2021

Fast Algorithms for Relational Marginal Polytopes

with Yuanhong Wang, Timothy van Bremen, Juhua Pu, Yuyi Wang

doi:10.24963/ijcai.2021/586

Details PDF

IJCAI 2020

Approximate Weighted First-Order Model Counting: Exploiting Fast Approximate Model Counters and Symmetry

with Timothy van Bremen

doi:10.24963/ijcai.2020/587

Details PDF

IJCAI 2017

Induction of Interpretable Possibilistic Logic Theories from Relational Data

with Jesse Davis, Steven Schockaert

doi:10.24963/ijcai.2017/160

Details PDF

IJCAI 2016

Bounds for Learning from Evolutionary-Related Data in the Realizable Case

with Yuyi Wang, Jan Ramon

Details PDF

Learning Possibilistic Logic Theories from Default Rules

with Jesse Davis, Steven Schockaert

Details PDF

Future Conferences

AI Journal Division

IJCAI Proceedings