Published in: Dagstuhl Reports, Volume 13, Issue 10 (2024)
Luc De Raedt, Ute Schmid, and Johannes Langer. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442). In Dagstuhl Reports, Volume 13, Issue 10, pp. 182-211, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2024)
@Article{deraedt_et_al:DagRep.13.10.182, author = {De Raedt, Luc and Schmid, Ute and Langer, Johannes}, title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 23442)}}, pages = {182--211}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2024}, volume = {13}, number = {10}, editor = {De Raedt, Luc and Schmid, Ute and Langer, Johannes}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops.dagstuhl.de/entities/document/10.4230/DagRep.13.10.182}, URN = {urn:nbn:de:0030-drops-198397}, doi = {10.4230/DagRep.13.10.182}, annote = {Keywords: explainable ai, human-like machine learning, inductive logic programming, interpretable machine learning, neuro-symbolic ai} }
Published in: LIPIcs, Volume 235, 28th International Conference on Principles and Practice of Constraint Programming (CP 2022)
Senne Berden, Mohit Kumar, Samuel Kolb, and Tias Guns. Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation. In 28th International Conference on Principles and Practice of Constraint Programming (CP 2022). Leibniz International Proceedings in Informatics (LIPIcs), Volume 235, pp. 8:1-8:17, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2022)
@InProceedings{berden_et_al:LIPIcs.CP.2022.8, author = {Berden, Senne and Kumar, Mohit and Kolb, Samuel and Guns, Tias}, title = {{Learning MAX-SAT Models from Examples Using Genetic Algorithms and Knowledge Compilation}}, booktitle = {28th International Conference on Principles and Practice of Constraint Programming (CP 2022)}, pages = {8:1--8:17}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, ISBN = {978-3-95977-240-2}, ISSN = {1868-8969}, year = {2022}, volume = {235}, editor = {Solnon, Christine}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/LIPIcs.CP.2022.8}, URN = {urn:nbn:de:0030-drops-166373}, doi = {10.4230/LIPIcs.CP.2022.8}, annote = {Keywords: Machine learning, constraint learning, MAX-SAT} }
Published in: Dagstuhl Reports, Volume 11, Issue 4 (2021)
Andrew Cropper, Luc De Raedt, Richard Evans, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192). In Dagstuhl Reports, Volume 11, Issue 4, pp. 20-33, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)
@Article{cropper_et_al:DagRep.11.4.20, author = {Cropper, Andrew and De Raedt, Luc and Evans, Richard and Schmid, Ute}, title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 21192)}}, pages = {20--33}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2021}, volume = {11}, number = {4}, editor = {Cropper, Andrew and De Raedt, Luc and Evans, Richard and Schmid, Ute}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.11.4.20}, URN = {urn:nbn:de:0030-drops-147975}, doi = {10.4230/DagRep.11.4.20}, annote = {Keywords: Interpretable Machine Learning, Explainable Artificial Intelligence, Interactive Learning, Human-like Computing, Inductive Logic Programming} }
Published in: Dagstuhl Reports, Volume 9, Issue 5 (2019)
Luc De Raedt, Richard Evans, Stephen H. Muggleton, and Ute Schmid. Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202). In Dagstuhl Reports, Volume 9, Issue 5, pp. 58-88, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{deraedt_et_al:DagRep.9.5.58, author = {De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute}, title = {{Approaches and Applications of Inductive Programming (Dagstuhl Seminar 19202)}}, pages = {58--88}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {9}, number = {5}, editor = {De Raedt, Luc and Evans, Richard and Muggleton, Stephen H. and Schmid, Ute}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.9.5.58}, URN = {urn:nbn:de:0030-drops-113810}, doi = {10.4230/DagRep.9.5.58}, annote = {Keywords: Enduser programming, Explainable AI, Human-like computing, Inductive logic programming, Probabilistic programming} }
Published in: Dagstuhl Reports, Volume 8, Issue 9 (2019)
Tijl De Bie, Luc De Raedt, Holger H. Hoos, and Padhraic Smyth. Automating Data Science (Dagstuhl Seminar 18401). In Dagstuhl Reports, Volume 8, Issue 9, pp. 154-181, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)
@Article{debie_et_al:DagRep.8.9.154, author = {De Bie, Tijl and De Raedt, Luc and Hoos, Holger H. and Smyth, Padhraic}, title = {{Automating Data Science (Dagstuhl Seminar 18401)}}, pages = {154--181}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2019}, volume = {8}, number = {9}, editor = {De Bie, Tijl and De Raedt, Luc and Hoos, Holger H. and Smyth, Padhraic}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.8.9.154}, URN = {urn:nbn:de:0030-drops-103443}, doi = {10.4230/DagRep.8.9.154}, annote = {Keywords: artificial intelligence, automated machine learning, automated scientific discovery, data science, inductive programming} }
Published in: Dagstuhl Reports, Volume 4, Issue 10 (2015)
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Michele Sebag. Constraints, Optimization and Data (Dagstuhl Seminar 14411). In Dagstuhl Reports, Volume 4, Issue 10, pp. 1-31, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2015)
@Article{deraedt_et_al:DagRep.4.10.1, author = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Sebag, Michele}, title = {{Constraints, Optimization and Data (Dagstuhl Seminar 14411)}}, pages = {1--31}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2015}, volume = {4}, number = {10}, editor = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Sebag, Michele}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.4.10.1}, URN = {urn:nbn:de:0030-drops-48901}, doi = {10.4230/DagRep.4.10.1}, annote = {Keywords: Data mining, constraint programming, machine learning} }
Published in: Dagstuhl Reports, Volume 1, Issue 5 (2011)
Luc De Raedt, Siegfried Nijssen, Barry O'Sullivan, and Pascal Van Hentenryck. Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201). In Dagstuhl Reports, Volume 1, Issue 5, pp. 61-83, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2011)
@Article{deraedt_et_al:DagRep.1.5.61, author = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Van Hentenryck, Pascal}, title = {{Constraint Programming meets Machine Learning and Data Mining (Dagstuhl Seminar 11201)}}, pages = {61--83}, journal = {Dagstuhl Reports}, ISSN = {2192-5283}, year = {2011}, volume = {1}, number = {5}, editor = {De Raedt, Luc and Nijssen, Siegfried and O'Sullivan, Barry and Van Hentenryck, Pascal}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagRep.1.5.61}, URN = {urn:nbn:de:0030-drops-32077}, doi = {10.4230/DagRep.1.5.61}, annote = {Keywords: Machine learning, data mining, constraint programming, constraints} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Luc De Raedt, Barbara Hammer, Pascal Hitzler, and Wolfgang Maass. 08041 Abstracts Collection – Recurrent Neural Networks - Models, Capacities, and Applications. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{deraedt_et_al:DagSemProc.08041.1, author = {De Raedt, Luc and Hammer, Barbara and Hitzler, Pascal and Maass, Wolfgang}, title = {{08041 Abstracts Collection – Recurrent Neural Networks - Models, Capacities, and Applications}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.1}, URN = {urn:nbn:de:0030-drops-14250}, doi = {10.4230/DagSemProc.08041.1}, annote = {Keywords: Recurrent Neural Networks, Neural-Symbolic Integration, Biological Models, Hybrid Models, Relational Learning Echo State Networks, Spike Prediction, Unsupervised Recurrent Networks} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Luc De Raedt, Barbara Hammer, Pascal Hitzler, and Wolfgang Maass. 08041 Summary – Recurrent Neural Networks - Models, Capacities, and Applications. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, pp. 1-4, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{deraedt_et_al:DagSemProc.08041.2, author = {De Raedt, Luc and Hammer, Barbara and Hitzler, Pascal and Maass, Wolfgang}, title = {{08041 Summary – Recurrent Neural Networks - Models, Capacities, and Applications}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, pages = {1--4}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.2}, URN = {urn:nbn:de:0030-drops-14243}, doi = {10.4230/DagSemProc.08041.2}, annote = {Keywords: Recurrent networks} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Peter Tino. Equilibria of Iterative Softmax and Critical Temperatures for Intermittent Search in Self-Organizing Neural Networks. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{tino:DagSemProc.08041.3, author = {Tino, Peter}, title = {{Equilibria of Iterative Softmax and Critical Temperatures for Intermittent Search in Self-Organizing Neural Networks}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.3}, URN = {urn:nbn:de:0030-drops-14202}, doi = {10.4230/DagSemProc.08041.3}, annote = {Keywords: Recurrent self-organizing maps, symmetry breaking bifurcation, N-queens} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Kai-Uwe Kühnberger, Helmar Gust, and Peter Geibel. Perspectives of Neuro--Symbolic Integration – Extended Abstract --. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{kuhnberger_et_al:DagSemProc.08041.4, author = {K\"{u}hnberger, Kai-Uwe and Gust, Helmar and Geibel, Peter}, title = {{Perspectives of Neuro--Symbolic Integration – Extended Abstract --}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.4}, URN = {urn:nbn:de:0030-drops-14226}, doi = {10.4230/DagSemProc.08041.4}, annote = {Keywords: Neuro-Symbolic Integration, Topos Theory, First-Order Logic} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Luis C. Lamb. The Grand Challenges and Myths of Neural-Symbolic Computation. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, pp. 1-16, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{lamb:DagSemProc.08041.5, author = {Lamb, Luis C.}, title = {{The Grand Challenges and Myths of Neural-Symbolic Computation}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, pages = {1--16}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.5}, URN = {urn:nbn:de:0030-drops-14233}, doi = {10.4230/DagSemProc.08041.5}, annote = {Keywords: Connectionist non-classical logics, neural-symbolic computation, non-classical reasoning, computational cognitive models} }
Published in: Dagstuhl Seminar Proceedings, Volume 8041, Recurrent Neural Networks- Models, Capacities, and Applications (2008)
Frank Van der Velde and Marc de Kamps. The role of recurrent networks in neural architectures of grounded cognition: learning of control. In Recurrent Neural Networks- Models, Capacities, and Applications. Dagstuhl Seminar Proceedings, Volume 8041, pp. 1-18, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{vandervelde_et_al:DagSemProc.08041.6, author = {Van der Velde, Frank and de Kamps, Marc}, title = {{The role of recurrent networks in neural architectures of grounded cognition: learning of control}}, booktitle = {Recurrent Neural Networks- Models, Capacities, and Applications}, pages = {1--18}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {8041}, editor = {Luc De Raedt and Barbara Hammer and Pascal Hitzler and Wolfgang Maass}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.08041.6}, URN = {urn:nbn:de:0030-drops-14213}, doi = {10.4230/DagSemProc.08041.6}, annote = {Keywords: Grounded representations, binding control, combinatorial structures, neural architecture, recurrent network, learning} }
Published in: Dagstuhl Seminar Proceedings, Volume 7161, Probabilistic, Logical and Relational Learning - A Further Synthesis (2008)
Luc De Raedt, Thomas Dietterich, Lise Getoor, Kristian Kersting, and Stephen H. Muggleton. 07161 Abstracts Collection – Probabilistic, Logical and Relational Learning - A Further Synthesis. In Probabilistic, Logical and Relational Learning - A Further Synthesis. Dagstuhl Seminar Proceedings, Volume 7161, pp. 1-21, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{deraedt_et_al:DagSemProc.07161.1, author = {De Raedt, Luc and Dietterich, Thomas and Getoor, Lise and Kersting, Kristian and Muggleton, Stephen H.}, title = {{07161 Abstracts Collection – Probabilistic, Logical and Relational Learning - A Further Synthesis}}, booktitle = {Probabilistic, Logical and Relational Learning - A Further Synthesis}, pages = {1--21}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7161}, editor = {Luc de Raedt and Thomas Dietterich and Lise Getoor and Kristian Kersting and Stephen H. Muggleton}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07161.1}, URN = {urn:nbn:de:0030-drops-13885}, doi = {10.4230/DagSemProc.07161.1}, annote = {Keywords: Artificial Intelligence, Uncertainty in AI, Probabilistic Reasoning, Knowledge Representation, Logic Programming, Relational Learning, Inductive Logic Programming, Graphical Models, Statistical Relational Learning, First-Order Logical and Relational Probabilistic Languages} }
Published in: Dagstuhl Seminar Proceedings, Volume 7161, Probabilistic, Logical and Relational Learning - A Further Synthesis (2008)
Barbara Hammer, Alessio Micheli, and Alessandro Sperduti. A general framework for unsupervised preocessing of structured data. In Probabilistic, Logical and Relational Learning - A Further Synthesis. Dagstuhl Seminar Proceedings, Volume 7161, pp. 1-6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2008)
@InProceedings{hammer_et_al:DagSemProc.07161.2, author = {Hammer, Barbara and Micheli, Alessio and Sperduti, Alessandro}, title = {{A general framework for unsupervised preocessing of structured data}}, booktitle = {Probabilistic, Logical and Relational Learning - A Further Synthesis}, pages = {1--6}, series = {Dagstuhl Seminar Proceedings (DagSemProc)}, ISSN = {1862-4405}, year = {2008}, volume = {7161}, editor = {Luc de Raedt and Thomas Dietterich and Lise Getoor and Kristian Kersting and Stephen H. Muggleton}, publisher = {Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik}, address = {Dagstuhl, Germany}, URL = {https://drops-dev.dagstuhl.de/entities/document/10.4230/DagSemProc.07161.2}, URN = {urn:nbn:de:0030-drops-13837}, doi = {10.4230/DagSemProc.07161.2}, annote = {Keywords: Relational clustering, median clustering, recursive SOM models, kernel SOM} }
Feedback for Dagstuhl Publishing