A Divide, Align and Conquer Strategy For Program Synthesis.

Sebastijan Dumancic Delft University of Technology, The Netherlands KU Leuven, Belgium https://orcid.org/0000-0003-0915-8034

Jonas Witt Sebastijan Dumancic Tias Guns Claus-Christian Carbon A Divide, Align and Conquer Strategy For Program Synthesis. 1961-1997 2025 82 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.16847 db/journals/jair/jair82.html#WittDGC25 streams/journals/jair

Lorenzo Theunissen Sebastijan Dumancic Fernando Kuipers LTL-based Specifications for P4 Program Synthesis. 7-12 2025 FMANO@SIGCOMM https://doi.org/10.1145/3750022.3750456 conf/fmano/2025 db/conf/fmano/fmano2025.html#TheunissenDK25 Andrea Agiollo Enkeleda Bardhi Giovanni Ciatto Sebastijan Dumancic Giuseppe Marra Proceedings of the 1st International Workshop on Advanced Neuro-Symbolic Applications co-located with the 28th European Conference on Artificial Intelligence (ECAI 2025), Bologna, Italy, October 26, 2025. ANSyA@ECAI CEUR-WS.org 2025 CEUR Workshop Proceedings 4125 https://ceur-ws.org/Vol-4125 https://nbn-resolving.org/urn:nbn:de:0074-4125-x db/conf/ansya/ansya2025.html

Tilman Hinnerichs Bart Swinkels Jaap de Jong Reuben Gardos Reid Tudor Magirescu Neil Yorke-Smith Sebastijan Dumancic Modelling Program Spaces in Program Synthesis with Constraints. 2025 August abs/2508.00005 CoRR https://doi.org/10.48550/arXiv.2508.00005 db/journals/corr/corr2508.html#abs-2508-00005 streams/journals/corr

Ruben Sharma Sebastijan Dumancic Ross D. King Andrew Cropper Learning Logical Rules using Minimum Message Length. 2025 August abs/2508.06230 CoRR https://doi.org/10.48550/arXiv.2508.06230 db/journals/corr/corr2508.html#abs-2508-06230 streams/journals/corr

Issa K. Hanou Sebastijan Dumancic Mathijs de Weerdt Revisiting Landmarks: Learning from Previous Plans to Generalize over Problem Instances. 2025 August abs/2508.21564 CoRR https://doi.org/10.48550/arXiv.2508.21564 db/journals/corr/corr2508.html#abs-2508-21564 streams/journals/corr

Tilman Hinnerichs Reuben Gardos Reid Jaap de Jong Bart Swinkels Pamela Wochner Nicolae Filat Tudor Magurescu Issa K. Hanou Sebastijan Dumancic Herb.jl: A Unifying Program Synthesis Library. 2025 October abs/2510.09726 CoRR https://doi.org/10.48550/arXiv.2510.09726 db/journals/corr/corr2510.html#abs-2510-09726 streams/journals/corr

Giuseppe Marra Sebastijan Dumancic Robin Manhaeve Luc De Raedt From statistical relational to neurosymbolic artificial intelligence: A survey. 104062 2024 March 328 Artif. Intell. https://doi.org/10.1016/j.artint.2023.104062 db/journals/ai/ai328.html#MarraDMR24

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction. 12199-12207 2024 AAAI https://doi.org/10.1609/aaai.v38i11.29109 conf/aaai/2024 db/conf/aaai/aaai2024.html#GoyalDB24 Céline Hocquette Sebastijan Dumancic Andrew Cropper Learning Logic Programs by Discovering Higher-Order Abstractions. 3421-3429 2024 IJCAI https://www.ijcai.org/proceedings/2024/379 conf/ijcai/2024 db/conf/ijcai/ijcai2024.html#HocquetteDC24 Robin Manhaeve Francesco Giannini Mehdi Ali Damiano Azzolini Alice Bizzarri Andrea Borghesi Samuele Bortolotti Luc De Raedt Devendra Singh Dhami Michelangelo Diligenti Sebastijan Dumancic Boi Faltings Elisabetta Gentili Alfonso Gerevini Marco Gori Tias Guns Martin Homola Kristian Kersting Jens Lehmann 0001 Michele Lombardi 0001 Luca Salvatore Lorello Emanuele Marconato Stefano Melacci Andrea Passerini Debjit Paul Fabrizio Riguzzi Stefano Teso Neil Yorke-Smith Marco Lippi 0001 Benchmarking in Neuro-Symbolic AI. 238-249 2024 IJCLR https://doi.org/10.1007/978-3-032-09087-4_17 conf/ijclr/2024 db/conf/ijclr/ijclr2024.html#ManhaeveGAABBBRDDDFGGGG24 streams/conf/ijclr

Tilman Hinnerichs Robin Manhaeve Giuseppe Marra Sebastijan Dumancic Towards a fully declarative neuro-symbolic language. 2024 abs/2405.09521 CoRR https://doi.org/10.48550/arXiv.2405.09521 db/journals/corr/corr2405.html#abs-2405-09521

Dirk van Bokkem Max van den Hemel Sebastijan Dumancic Neil Yorke-Smith Embedding a Long Short-Term Memory Network in a Constraint Programming Framework for Tomato Greenhouse Optimisation. 15731-15737 2023 AAAI https://doi.org/10.1609/aaai.v37i13.26867 conf/aaai/2023 db/conf/aaai/aaai2023.html#BokkemHDY23

Jonas Witt Stef Rasing Sebastijan Dumancic Tias Guns Claus-Christian Carbon A Divide-Align-Conquer Strategy for Program Synthesis. 2023 abs/2301.03094 CoRR https://doi.org/10.48550/arXiv.2301.03094 db/journals/corr/corr2301.html#abs-2301-03094

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction. 2023 abs/2303.01141 CoRR https://doi.org/10.48550/arXiv.2303.01141 db/journals/corr/corr2303.html#abs-2303-01141

Céline Hocquette Sebastijan Dumancic Andrew Cropper Learning Logic Programs by Discovering Higher-Order Abstractions. 2023 abs/2308.08334 CoRR https://doi.org/10.48550/arXiv.2308.08334 db/journals/corr/corr2308.html#abs-2308-08334

Andrew Cropper Sebastijan Dumancic Inductive Logic Programming At 30: A New Introduction. 765-850 2022 74 J. Artif. Intell. Res. https://doi.org/10.1613/jair.1.13507 https://www.wikidata.org/entity/Q130821879 db/journals/jair/jair74.html#CropperD22

Andrew Cropper Sebastijan Dumancic Richard Evans 0001 Stephen H. Muggleton Inductive logic programming at 30. 147-172 2022 111 Mach. Learn. 1 https://doi.org/10.1007/s10994-021-06089-1 db/journals/ml/ml111.html#CropperDEM22

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel SaDe: Learning Models that Provably Satisfy Domain Constraints. 410-425 2022 ECML/PKDD (5) https://doi.org/10.1007/978-3-031-26419-1_25 conf/pkdd/2022-5 db/conf/pkdd/pkdd2022-5.html#GoyalDB22

Robin Manhaeve Sebastijan Dumancic Angelika Kimmig Thomas Demeester Luc De Raedt Neural probabilistic logic programming in DeepProbLog. 103504 2021 298 Artif. Intell. https://doi.org/10.1016/j.artint.2021.103504 db/journals/ai/ai298.html#ManhaeveDKDR21

Sebastijan Dumancic Tias Guns Andrew Cropper Knowledge Refactoring for Inductive Program Synthesis. 7271-7278 2021 AAAI https://doi.org/10.1609/aaai.v35i8.16893 conf/aaai/2021 db/conf/aaai/aaai2021.html#DumancicGC21 Sebastijan Dumancic Wannes Meert Stijn Goethals Tim Stuyckens Jelle Huygen Koen Denies Automated Reasoning and Learning for Automated Payroll Management. 15107-15116 2021 AAAI https://doi.org/10.1609/aaai.v35i17.17774 conf/aaai/2021 db/conf/aaai/aaai2021.html#DumancicMGSHD21 Gust Verbruggen Elia Van Wolputte Sebastijan Dumancic Luc De Raedt avatar - Automated Feature Wrangling for Machine Learning. 235-247 2021 IDA https://doi.org/10.1007/978-3-030-74251-5_19 conf/ida/2021 db/conf/ida/ida2021.html#VerbruggenWDR21 Robin Manhaeve Giuseppe Marra Thomas Demeester Sebastijan Dumancic Angelika Kimmig Luc De Raedt Neuro-Symbolic AI = Neural + Logical + Probabilistic AI. 173-191 2021 Neuro-Symbolic Artificial Intelligence https://doi.org/10.3233/FAIA210354 series/faia/342 db/series/faia/faia342.html#ManhaeveMDDKR21

Andrew Cropper Sebastijan Dumancic Richard Evans 0001 Stephen H. Muggleton Inductive logic programming at 30. 2021 abs/2102.10556 CoRR https://arxiv.org/abs/2102.10556 db/journals/corr/corr2102.html#abs-2102-10556

Giuseppe Marra Sebastijan Dumancic Robin Manhaeve Luc De Raedt From Statistical Relational to Neural Symbolic Artificial Intelligence: a Survey. 2021 abs/2108.11451 CoRR https://arxiv.org/abs/2108.11451 db/journals/corr/corr2108.html#abs-2108-11451

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel SaDe: Learning Models that Provably Satisfy Domain Constraints. 2021 abs/2112.00552 CoRR https://arxiv.org/abs/2112.00552 db/journals/corr/corr2112.html#abs-2112-00552

Grace Bang Guy Barash Ryan Beal Jacques Calì Mauricio Castillo-Effen Xin Cynthia Chen Niyati Chhaya Rachel Cummings Rohan Dhoopar Sebastijan Dumancic Huáscar Espinoza Eitan Farchi Ferdinando Fioretto Raquel Fuentetaja 0001 Christopher William Geib Odd Erik Gundersen José Hernández-Orallo Xiaowei Huang 0001 Kokil Jaidka Sarah Keren Seokhwan Kim Michel Galley Xiaomo Liu Tyler Lu Zhiqiang Ma Richard Mallah John A. McDermid Martin Michalowski Reuth Mirsky Seán Ó hÉigeartaigh Deepak Ramachandran Javier Segovia-Aguas Onn Shehory Arash Shaban-Nejad Vered Shwartz Siddharth Srivastava 0001 Kartik Talamadupula Jian Tang Pascal Van Hentenryck Dell Zhang Jian Zhang The Association for the Advancement of Artificial Intelligence 2020 Workshop Program. 100-114 2020 41 AI Mag. 4 https://doi.org/10.1609/aimag.v41i4.7398 https://www.wikidata.org/entity/Q126175886 db/journals/aim/aim41.html#BangBBCCCCCDDEF20

Andrew Cropper Sebastijan Dumancic Learning Large Logic Programs By Going Beyond Entailment. 2073-2079 2020 IJCAI https://doi.org/10.24963/ijcai.2020/287 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#CropperD20 Andrew Cropper Sebastijan Dumancic Stephen H. Muggleton Turning 30: New Ideas in Inductive Logic Programming. 4833-4839 2020 Survey track IJCAI https://doi.org/10.24963/ijcai.2020/673 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#CropperDM20 Luc De Raedt Sebastijan Dumancic Robin Manhaeve Giuseppe Marra From Statistical Relational to Neuro-Symbolic Artificial Intelligence. 4943-4950 2020 Survey track IJCAI https://doi.org/10.24963/ijcai.2020/688 conf/ijcai/2020 db/conf/ijcai/ijcai2020.html#RaedtDMM20 Jonas Soenen Sebastijan Dumancic Toon van Craenendonck Hendrik Blockeel Tackling Noise in Active Semi-supervised Clustering. 121-136 2020 ECML/PKDD (2) https://doi.org/10.1007/978-3-030-67661-2_8 conf/pkdd/2020-2 db/conf/pkdd/pkdd2020-2.html#SoenenDCB20

Andrew Cropper Sebastijan Dumancic Stephen H. Muggleton Turning 30: New Ideas in Inductive Logic Programming. 2020 abs/2002.11002 CoRR https://arxiv.org/abs/2002.11002 db/journals/corr/corr2002.html#abs-2002-11002

Luc De Raedt Sebastijan Dumancic Robin Manhaeve Giuseppe Marra From Statistical Relational to Neuro-Symbolic Artificial Intelligence. 2020 abs/2003.08316 CoRR https://arxiv.org/abs/2003.08316 db/journals/corr/corr2003.html#abs-2003-08316

Andrew Cropper Sebastijan Dumancic Learning large logic programs by going beyond entailment. 2020 abs/2004.09855 CoRR https://arxiv.org/abs/2004.09855 db/journals/corr/corr2004.html#abs-2004-09855

Sebastijan Dumancic Andrew Cropper Knowledge Refactoring for Program Induction. 2020 abs/2004.09931 CoRR https://arxiv.org/abs/2004.09931 db/journals/corr/corr2004.html#abs-2004-09931

Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel Feature Interactions in XGBoost. 2020 abs/2007.05758 CoRR https://arxiv.org/abs/2007.05758 db/journals/corr/corr2007.html#abs-2007-05758

Andrew Cropper Sebastijan Dumancic Inductive logic programming at 30: a new introduction. 2020 abs/2008.07912 CoRR https://arxiv.org/abs/2008.07912 db/journals/corr/corr2008.html#abs-2008-07912

Robin Manhaeve Sebastijan Dumancic Angelika Kimmig Thomas Demeester Luc De Raedt DeepProbLog: Neural Probabilistic Logic Programming. 2019 BNAIC/BENELEARN https://ceur-ws.org/Vol-2491/abstract68.pdf conf/bnaic/2019 db/conf/bnaic/bnaic2019.html#ManhaeveDKDR19 Sebastijan Dumancic Tias Guns Wannes Meert Hendrik Blockeel Learning Relational Representations with Auto-encoding Logic Programs. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/842 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#DumancicGMB19 6081-6087 Sebastijan Dumancic Alberto García-Durán Mathias Niepert A Comparative Study of Distributional and Symbolic Paradigms for Relational Learning. 2019 IJCAI https://doi.org/10.24963/ijcai.2019/843 conf/ijcai/2019 db/conf/ijcai/ijcai2019.html#DumancicGN19 6088-6094 Luc De Raedt Robin Manhaeve Sebastijan Dumancic Thomas Demeester Angelika Kimmig Neuro-Symbolic = Neural + Logical + Probabilistic. 2019 NeSy@IJCAI conf/nesy/2019 db/conf/nesy/nesy2019.html#RaedtMDDK19

Sebastijan Dumancic Tias Guns Wannes Meert Hendrik Blockeel Learning Relational Representations with Auto-encoding Logic Programs. 2019 abs/1903.12577 CoRR http://arxiv.org/abs/1903.12577 db/journals/corr/corr1903.html#abs-1903-12577

Robin Manhaeve Sebastijan Dumancic Angelika Kimmig Thomas Demeester Luc De Raedt DeepProbLog: Neural Probabilistic Logic Programming. 2019 abs/1907.08194 CoRR http://arxiv.org/abs/1907.08194 db/journals/corr/corr1907.html#abs-1907-08194

Toon van Craenendonck Wannes Meert Sebastijan Dumancic Hendrik Blockeel COBRASTS: A New Approach to Semi-supervised Clustering of Time Series. 179-193 2018 DS https://doi.org/10.1007/978-3-030-01771-2_12 conf/dis/2018 db/conf/dis/dis2018.html#CraenendonckMDB18 Alberto García-Durán Sebastijan Dumancic Mathias Niepert Learning Sequence Encoders for Temporal Knowledge Graph Completion. 4816-4821 2018 EMNLP https://doi.org/10.18653/v1/d18-1516 https://aclanthology.org/D18-1516/ conf/emnlp/2018 db/conf/emnlp/emnlp2018.html#Garcia-DuranDN18 Toon van Craenendonck Sebastijan Dumancic Elia Van Wolputte Hendrik Blockeel COBRAS: Interactive Clustering with Pairwise Queries. 353-366 2018 IDA https://doi.org/10.1007/978-3-030-01768-2_29 conf/ida/2018 db/conf/ida/ida2018.html#CraenendonckDWB18 Robin Manhaeve Sebastijan Dumancic Angelika Kimmig Thomas Demeester Luc De Raedt DeepProbLog: Neural Probabilistic Logic Programming. 3753-3763 2018 NeurIPS https://proceedings.neurips.cc/paper/2018/hash/dc5d637ed5e62c36ecb73b654b05ba2a-Abstract.html http://papers.nips.cc/paper/7632-deepproblog-neural-probabilistic-logic-programming conf/nips/2018 db/conf/nips/nips2018.html#ManhaeveDKDR18 Toon van Craenendonck Wannes Meert Sebastijan Dumancic Hendrik Blockeel Interactive Time Series Clustering with COBRASTS. 654-657 2018 ECML/PKDD (3) https://doi.org/10.1007/978-3-030-10997-4_45 conf/pkdd/2018-3 db/conf/pkdd/pkdd2018-3.html#CraenendonckMDB18

Toon van Craenendonck Sebastijan Dumancic Hendrik Blockeel COBRA: A Fast and Simple Method for Active Clustering with Pairwise Constraints. 2018 abs/1801.09955 CoRR http://arxiv.org/abs/1801.09955 db/journals/corr/corr1801.html#abs-1801-09955

Toon van Craenendonck Sebastijan Dumancic Elia Van Wolputte Hendrik Blockeel COBRAS: Fast, Iterative, Active Clustering with Pairwise Constraints. 2018 abs/1803.11060 CoRR http://arxiv.org/abs/1803.11060 db/journals/corr/corr1803.html#abs-1803-11060

Toon van Craenendonck Wannes Meert Sebastijan Dumancic Hendrik Blockeel COBRAS-TS: A new approach to Semi-Supervised Clustering of Time Series. 2018 abs/1805.00779 CoRR http://arxiv.org/abs/1805.00779 db/journals/corr/corr1805.html#abs-1805-00779

Robin Manhaeve Sebastijan Dumancic Angelika Kimmig Thomas Demeester Luc De Raedt DeepProbLog: Neural Probabilistic Logic Programming. 2018 abs/1805.10872 CoRR http://arxiv.org/abs/1805.10872 db/journals/corr/corr1805.html#abs-1805-10872

Sebastijan Dumancic Alberto García-Durán Mathias Niepert On embeddings as an alternative paradigm for relational learning. 2018 abs/1806.11391 CoRR http://arxiv.org/abs/1806.11391 db/journals/corr/corr1806.html#abs-1806-11391

Alberto García-Durán Sebastijan Dumancic Mathias Niepert Learning Sequence Encoders for Temporal Knowledge Graph Completion. 2018 abs/1809.03202 CoRR http://arxiv.org/abs/1809.03202 db/journals/corr/corr1809.html#abs-1809-03202

Sebastijan Dumancic Hendrik Blockeel An expressive dissimilarity measure for relational clustering using neighbourhood trees. 1523-1545 2017 106 Mach. Learn. 9-10 https://doi.org/10.1007/s10994-017-5644-6 db/journals/ml/ml106.html#DumancicB17

Sebastijan Dumancic Hendrik Blockeel Clustering-Based Relational Unsupervised Representation Learning with an Explicit Distributed Representation. 1631-1637 2017 IJCAI https://doi.org/10.24963/ijcai.2017/226 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#DumancicB17 Toon van Craenendonck Sebastijan Dumancic Hendrik Blockeel COBRA: A Fast and Simple Method for Active Clustering with Pairwise Constraints. 2871-2877 2017 IJCAI https://doi.org/10.24963/ijcai.2017/400 conf/ijcai/2017 db/conf/ijcai/ijcai2017.html#CraenendonckDB17 Sebastijan Dumancic Hendrik Blockeel Demystifying Relational Latent Representations. 63-77 2017 ILP https://doi.org/10.1007/978-3-319-78090-0_5 conf/ilp/2017 db/conf/ilp/ilp2017.html#DumancicB17

Sebastijan Dumancic Hendrik Blockeel Demystifying Relational Latent Representations. 2017 abs/1705.05785 CoRR http://arxiv.org/abs/1705.05785 db/journals/corr/corr1705.html#DumancicB17

Sebastijan Dumancic Hendrik Blockeel An Efficient and Expressive Similarity Measure for Relational Clustering Using Neighbourhood Trees. 1674-1675 2016 ECAI https://doi.org/10.3233/978-1-61499-672-9-1674 conf/ecai/2016 db/conf/ecai/ecai2016.html#DumancicB16

Sebastijan Dumancic Hendrik Blockeel An expressive dissimilarity measure for relational clustering using neighbourhood trees. 2016 abs/1604.08934 CoRR http://arxiv.org/abs/1604.08934 db/journals/corr/corr1604.html#DumancicB16a

Sebastijan Dumancic Hendrik Blockeel Unsupervised Relational Representation Learning via Clustering: Preliminary Results. 2016 abs/1606.08658 CoRR http://arxiv.org/abs/1606.08658 db/journals/corr/corr1606.html#DumancicB16

Sebastijan Dumancic Wannes Meert Hendrik Blockeel Theory reconstruction: a representation learning view on predicate invention. 2016 abs/1606.08660 CoRR http://arxiv.org/abs/1606.08660 db/journals/corr/corr1606.html#DumancicMB16

Andrea Agiollo Mehdi Ali Damiano Azzolini Grace Bang Guy Barash Enkeleda Bardhi Ryan Beal Alice Bizzarri Hendrik Blockeel Dirk van Bokkem Andrea Borghesi Samuele Bortolotti Jacques Calì Claus-Christian Carbon Mauricio Castillo-Effen Xin Cynthia Chen Niyati Chhaya Giovanni Ciatto Toon van Craenendonck Andrew Cropper Rachel Cummings Thomas Demeester Koen Denies Devendra Singh Dhami Rohan Dhoopar Michelangelo Diligenti Huáscar Espinoza Richard Evans 0001 Boi Faltings Eitan Farchi Nicolae Filat Ferdinando Fioretto Raquel Fuentetaja 0001 Michel Galley Alberto García-Durán Christopher W. GeibChristopher William Geib Elisabetta Gentili Alfonso Gerevini Francesco Giannini Stijn Goethals Marco Gori Kshitij Goyal Odd Erik Gundersen Tias Guns Issa K. Hanou Seán Ó hÉigeartaigh Max van den Hemel Pascal Van Hentenryck José Hernández-Orallo Tilman Hinnerichs Céline Hocquette Martin Homola Xiaowei Huang 0001 Jelle Huygen Kokil Jaidka Jaap de Jong Sarah Keren Kristian Kersting Seokhwan Kim Angelika Kimmig Ross D. King Fernando A. KuipersFernando Kuipers Jens Lehmann 0001 Marco Lippi 0001 Xiaomo Liu Michele Lombardi 0001 Luca Salvatore Lorello Tyler Lu Zhiqiang Ma Tudor Magirescu Tudor Magurescu Richard Mallah Robin Manhaeve Emanuele Marconato Giuseppe Marra John A. McDermid Wannes Meert Stefano Melacci Martin Michalowski Reuth Mirsky Stephen H. Muggleton Mathias Niepert Andrea Passerini Debjit Paul Luc De Raedt Deepak Ramachandran Stef Rasing Reuben Gardos Reid Fabrizio Riguzzi Javier Segovia-Aguas Arash Shaban-Nejad Ruben Sharma Onn Shehory Vered Shwartz Jonas Soenen Siddharth Srivastava 0001 Tim Stuyckens Bart Swinkels Kartik Talamadupula Jian Tang Stefano Teso Lorenzo Theunissen Gust Verbruggen Mathijs de Weerdt Jonas Witt Pamela Wochner Elia Van Wolputte Neil Yorke-Smith Dell Zhang Jian Zhang