The RuleML Webinars feature rule topics of shared interest to the RuleML community. Each Webinar currently consists of a 20-minute presentation interleaved with / followed by about 10 minutes of discussion. Presenters provide their slides (PDFized as exemplified in the Title column below) prior to the Zoom-based Webinars (using "Share Screens"). The events typically happen on the last Wednesday of the month at 3 PM Central Europe. The organization of this Webinar series was started in January 2015 by Harold Boley, who ran it until June 2019. Starting in July 2019, the RuleML Webinar organization has been continued by Tomáš Kliegr, who should be contacted by prospective presenters.
To receive Zoom connection information, please write to the webinar organizer (tomas.kliegr -at- vse.cz).
| Date | Presenter | Title | Notes |
|---|
| Date | Presenter | Title | Material |
|---|---|---|---|
| 2024-11-15 | Martin F. Berger (University of Sussex, UK & Montanarius Ltd) | Towards GPU-accelerated automated reasoning | ltl-learning-on-gpus,https://martinfriedrichberger.net/pldi2023 |
| 2024-6-26 | David M. Cerna (Institute of Computer Science, Czech Academy of Sciences) | Predicate invention in rule learning with Popper use case - When what is known is not enough | Popper ILP System |
| 2024-5-29 | Céline Hocquette (University of Oxford, Department of Computer Science) | Popper system for Inductive Logical Programming | Popper ILP System |
| 2024-1-31 | Bettina Finzel (Cognitive Systems group, University of Bamberg, Germany) | Generating Concept-based and Relational Explanations for Image Classification | |
| 2023-10-25 | Len Feremans (Adrem Data lab at the University of Antwerp, The Netherlands) | Rule learning for recommender systems | |
| 2023-08-01 | Marcin Joachimiak (LBL Berkeley, USA) | Understanding Earth’s Ecosystems with Machine Learning | KBase (paper, system), KG-Microbe (paper, KG-Hub, github) |
| 2023-04-26 | Tomáš Kliegr (VŠE, Czech Republic) | QCBA: improving rule classifiers learned from quantitative data by recovering information lost by discretisation | QCBA paper, r package |
| 2023-02-22 | Ahmad Mel (University of Ghent) | Subjectively Interesting Pattern and Outlier Mining | paper |
| 2023-01-25 | Christian De Sainte Marie (IBM France Lab) | Neuro-symbolic AI : where are the rules? | |
| 2022-11-30 | Kevin Angele (STI Innsburck) | RUBEN: A Rule Engine Benchmarking Framework | Rule challenge paper |
| 2022-10-26 | Robert Kowalski (Imperial College) | Fifty Years of Prolog and Beyond | Year of Prolog |
| 2022-6-29 | Lukáš Sýkora (VŠE and Robolytix) | Process Mining via Webhooks and Action Rules | |
| 2022-5-25 | Ian Horrocks (Oxford University) | Knowledge Graphs: Theory, Applications and Challenges | |
| 2022-4-27 | František Malinka (Czech Technical University in Prague) | Semantic Biclustering with Rules | sem1r R package |
| 2022-2-23 | Doerthe Arndt (TU Dresden) and William Van Woensel (NICHE Research Group) | Notation3 Logic: A practical introduction | |
| 2022-1-26 | Anni-Yasmin Turhan (TU Dresden) | Ontology reasoning for complex event recognition | |
| 2021-10-27 | J. Fürnkranz (JKU Linz) | Deep Rule Learning | |
| 2021-09-29 | Ryan J. Urbanowicz (Univ of Pennsylvania) | Learning Classifier Systems in an Automated Machine Learning Framework | |
| 2021-05-26 | Jan Vanthienen (KU Leuven) | Extracting decision models from data and text | |
| 2021-04-28 | Paolo Papotti (Eurecom) | Explainable Fact Checking for Statistical and Property Claims | https://coronacheck.eurecom.fr/ |
| 2021-03-31 | Ralph Schäfermeier (FU Berlin and Fraunhofer FOKUS) | Aspect-Oriented Ontologies: Representing Context and Modules | |
| 2021-02-24 | Marek Dudas (Context Minds) | Towards supporting argumentation with knowledge graph visualization - a legal use case | |
| 2020-11-25 | Davide Sottara (Mayo Clinic) | From SME to Screen - A Knowledge Architecture for Clinical Cognitive Support | |
| 2020-10-28 | Martin Kopp | Comparing rule mining approaches for computer security | |
| 2020-09-30 | Branislav Pecher and Ivan Srba | Countering False Information with Machine Learning | |
| 2020-08-26 | Ioannis Mollas | Explainable machine learning and Random Forests | |
| 2020-05-27 | Martin Atzmüller | Interpretable Machine Learning using Pattern Mining | |
| 2020-04-29 | Johannes Rabold | Enriching Visual with Verbal Explanations for Relational Concepts - Combining LIME with Aleph | |
| 2020-03-25 | Markus Triska | Logic in the public sector | Single Digital Gateway Regulation, White paper on AI |
| 2020-02-26 | Marvin Schiller | Explaining Ontological Inferences | |
| 2020-01-29 | Mark Thom | Scryer Prolog: A Modern ISO Prolog (Mostly) Written in Rust | Implementation |
| 2019-11-27 | Antonis Kakas | Argumentation & Compliance - MEDICA: an illustrative Example | |
| 2019-10-25 | Silvie Spreeuwenberg | Artificial Intelligence needs explanation | XAI book |
| 2019-09-27 | Marco Montali | Putting decisions in perspective | |
| 2019-06-28 | Joseph Potvin | An Internet of Rules: System Overview | Site |
| 2019-05-31 | Adam Wyner | Annotating and Querying Content within Machine-readable Legal Instruments | Papers |
| 2019-04-26 | Tomáš Kliegr | From Association Rules to Interpretable Classification Models - A Tutorial | Paper, R package arc, R package qCBA, Web UI EasyMiner |
| 2019-03-29 | Sotiris Moschoyiannis | Condition-Action Rules in Controlling Complex Systems | Paper 1, Paper 2 |
| 2019-02-22 | Diego Calvanese | Ontology-based Access to Temporal Data | |
| 2019-01-25 | Nikos Triantafyllou | Smart Contracts and Formal Reasoning: "Should we trust in code after all?" | |
| 2018-11-30 | Francis McCabe | Star - A Modern Programming Language and a Splash of Logic | Implementation |
| 2018-10-26 | Mark Proctor | Modernizing Drools: From Production Rules to Blended AI | Implementation |
| 2018-09-28 | Doerthe Arndt | Semantics of Notation3 Logic: From Implicit to Explicit Quantification | Paper |
| 2018-08-31 | Paul Fodor | Knowledge Authoring for Rule-based Reasoning | Implementation, Paper 1, Paper 2 |
| 2018-07-27 | Elisa Kendall | Best Practices in Using and Extending FIBO for Data Governance: A Cook's Tour and Applications for Rules | Site |
| 2018-06-29 | Kia Teymourian | An Experimental Comparison of Complex Object Implementations for Big Data Systems | Paper, Video |
| 2018-05-25 | Wolfgang Faber | Aggregates in Recursion: Issues and Solutions | Paper |
| 2018-04-27 | Gen Zou | Translators for Interoperating and Porting Object-Relational Knowledge | Paper 1, Paper 2, Paper 3, Paper 4, PhD Thesis |
| 2018-03-23 | Francesco Ricca | ASP in Industrial Contexts: Applications and Toolchain | Paper 1, Paper 2 |
| 2018-02-23 | Marcello Ceci | Legal Patterns for Different Constitutive Rules | Paper |
| 2018-01-26 | Xavier Parent | A rule-based deontic reasoner | Paper |
| 2017-11-24 | Miguel Calejo | Logical Contracts: Logical Contract Server Preview | Site |
| 2017-09-29 | Alexander Steen | Leo-III: The World's Most Widely Applicable Modal Logic Theorem Prover (and its Associated Infrastructure) | Paper |
| 2017-07-28 | Michael Wessel | OntoVPA - Building an ontology-based rule engine for dialogue management on SPARQL + OWL | |
| 2017-06-30 | Roman Kontchakov | Ontology-Based Data Access and OWL 2 QL | |
| 2017-05-26 | William Van Woensel | Optimized, Bottom-Up Semantic Web Reasoning based on OWL2 RL in Resource-Constrained Settings (pptx) | |
| 2017-04-28 | Jacob Feldman | Using Machine Learning for Compression of Large Classification Rulesets | |
| 2017-03-31 | Nick Bassiliades | Rule-Based Trust Among Agents Using Defeasible Logic | |
| 2017-02-24 | Giovanni De Gasperis | DALI for Cognitive Robotics: Principles and Prototype Implementation | Video |
| 2017-01-27 | Stefania Costantini | Dynamic Rule Systems: fighting against Brittleness | |
| 2016-06-20 | Leah Bidlake | Translating HornlogEq RuleML to Grailog for SVG Visualization | |
| 2015-01-22 | Fariba Sadri | LPS and its Kernel KELPS: Logic-Based State Transition Frameworks |