Proceedings

Luc De Raedt

Department of Computer Science and Leuven.AI , KU Leuven , Belgium

27 papers in the IJCAI proceedings

IJCAI 2026

DeepLog: A Software Framework for Modular Neurosymbolic AI
with Robin Manhaeve, Stefano Colamonaco, Vincent Derkinderen, Rik Adriaensen, Lucas Van Praet, Giuseppe Marra
doi:10.24963/ijcai.2026/980
Details PDF

IJCAI 2025

NeSyA: Neurosymbolic Automata
with Nikolaos Manginas, George Paliouras
doi:10.24963/ijcai.2025/662
Details PDF

IJCAI 2023

Safe Reinforcement Learning via Probabilistic Logic Shields
with Wen-Chi Yang, Giuseppe Marra, Gavin Rens
doi:10.24963/ijcai.2023/637
Details PDF

IJCAI 2021

Learning CNF Theories Using MDL and Predicate Invention
with Arcchit Jain, Clément Gautrais, Angelika Kimmig
doi:10.24963/ijcai.2021/358
Details PDF

IJCAI 2020

From Statistical Relational to Neuro-Symbolic Artificial Intelligence
with Sebastijan Dumančić, Robin Manhaeve, Giuseppe Marra
doi:10.24963/ijcai.2020/688
Details PDF
ProbAnch: a Modular Probabilistic Anchoring Framework
with Andreas Persson, Pedro Zuidberg Dos Martires, Amy Loufti
doi:10.24963/ijcai.2020/771
Details PDF

IJCAI 2019

Acquiring Integer Programs from Data
with Mohit Kumar, Stefano Teso
doi:10.24963/ijcai.2019/158
Details PDF
The pywmi Framework and Toolbox for Probabilistic Inference using Weighted Model Integration
with Samuel Kolb, Paolo Morettin, Pedro Zuidberg Dos Martires, Francesco Sommavilla, Andrea Passerini, Roberto Sebastiani
doi:10.24963/ijcai.2019/946
Details PDF

IJCAI 2018

Learning SMT(LRA) Constraints using SMT Solvers
with Samuel Kolb, Stefano Teso, Andrea Passerini
doi:10.24963/ijcai.2018/323
Details PDF

IJCAI 2017

Solving Probability Problems in Natural Language
with Anton Dries, Angelika Kimmig, Jesse Davis, Vaishak Belle
doi:10.24963/ijcai.2017/556
Details PDF
Stochastic Constraint Programming with And-Or Branch-and-Bound
with Behrouz Babaki, Tias Guns
doi:10.24963/ijcai.2017/76
Details PDF

IJCAI 2015

Anytime Inference in Probabilistic Logic Programs with Tp-Compilation
with Jonas Vlasselaer, Guy Van den Broeck, Angelika Kimmig, Wannes Meert
Details PDF
Graph Invariant Kernels
with Francesco Orsini, Paolo Frasconi
Details PDF
Inducing Probabilistic Relational Rules from Probabilistic Examples
with Anton Dries, Ingo Thon, Guy Van den Broeck, Mathias Verbeke
Details PDF
kLog: A Language for Logical and Relational Learning with Kernels (Extended Abstract)
with Paolo Frasconi, Fabrizio Costa, Kurt De Grave
Details PDF

IJCAI 2013

MiningZinc: A Modeling Language for Constraint-Based Mining
with Tias Guns, Anton Dries, Guido Tack, Siegfried Nijssen
Details PDF

IJCAI 2011

Lifted Probabilistic Inference by First-Order Knowledge Compilation
with Guy Van den Broeck, Nima Taghipour, Wannes Meert, Jesse Davis
doi:10.5591/978-1-57735-516-8/IJCAI11-363
Details PDF

IJCAI 2009

Local Query Mining in a Probabilistic Prolog
with Angelika Kimmig
Details PDF

IJCAI 2007

On Mining Closed Sets in Multi-Relational Data
with Gemma C. Garriga, Roni Khardon
Details PDF
ProbLog: A Probabilistic Prolog and Its Application in Link Discovery
with Angelika Kimmig, Hannu Toivonen
Details PDF
r-grams: Relational Grams
with Niels Landwehr
Details PDF

IJCAI 2001

The Levelwise Version Space Algorithm and its Application to Molecular Fragment Finding
with Stefan Kramer
Details PDF

IJCAI 1995

Forgetting and Compacting data in Concept Learning
with Gunther Sablon
Details PDF

IJCAI 1993

A Theory of Clausal Discovery
with Maurice Bruynooghe
Details PDF
Multiple Predicate Learning
with Nada Lavrac, Saso Dzeroski
Details PDF

IJCAI 1989

Explanation Based Program Transformation
with Maurice Bruynooghe, Danny De Schreye
Details PDF
Towards Friendly Concept-Learners
with Maurice Bruynooghe
Details PDF
Welcome Future Conferences AI Journal Division IJCAI Proceedings About IJCAI IJCAI Awards