Declarative AI 2020

Note: ALL times are CEST

Wednesday, June 24^th 2020

10:00 - 10:30 RW Opening

10:30 - 12:45 RW Session 1: Introduction to Probabilistic Ontologies (by Rafael Peñaloza)

12:45 - 14:00 Break

14:00 - 16:15 RW Session 2: On the Complexity of Learning Description Logic Ontologies (by Ana Ozaki)

16:15 - 16:45 Break

16:45 - 19:00 RW Session 3: Explanation via Machine Arguing (by Francesca Toni, Oana Cocarascu and Antonio Rago)

Thursday, June 25^th 2020

10:30 - 12:45 RW Session 4: Stream Reasoning: From Theory to Practice (by Emanuele Della Valle, Emanuele Falzone and Riccardo Tommasini)

12:45 - 14:00 Break

14:00 - 16:15 RW Session 5: First-Order Rewritability of Temporal Ontology-Mediated Queries (by Michael Zakharyaschev, Vladislav Ryzhikov and Przemysław Wałęga)

16:15 - 16:45 Break

16:45 - 18:45 RW Session 6: Student talks

Friday, June 26^th 2020

10:30 - 12:45 RW Session 7: Aggregates and Generalized Atoms in Answer Set Programming (by Wolfgang Faber)

12:45 - 14:00 Break

14:00 - 16:15 RW Session 8: Declarative Data Analysis using Limit Datalog Programs (by Egor V. Kostylev)

16:15 - 16:45 Break

16:45 - 19:00 RW Session 9: Knowledge Graphs: Research Directions (by Aidan Hogan)

19:00 - 19:30 RW Closing

Monday, June 29^th 2020

11:50 - 12:00 RuleML+RR Opening

12:00 - 13:00 RuleML+RR Session 1: Reasoning

12:00 - 12:20 Tackling the DMN Challenges with cDMN: A Tight Integration of DMN and Constraint Reasoning (by Bram Aerts, Simon Vandevelde and Joost Vennekens)

12:20 - 12:35 Reasoning under Uncertainty in Datalog+/- Knowledge Graphs (by Luigi Bellomarini, Eleonora Laurenza, Emanuel Sallinger and Evgeny Sherkhonov)

12:35 - 12:50 Distributed Reasoning for Restricted Weakly-Linear Disjunctive Tuple-Generating Dependencies (by Arash Karimi and Jia-Huai You)

13:00 - 13:10 Break

13:10 - 14:10 RuleML+RR Session 2: Uncertainty

13:10 - 13:30 Query Answering in Fuzzy DL-Lite with Graded Axioms (by Gabriella Pasi and Rafael Peñaloza)

13:30 - 13:45 Symbolic Similarity Relations for Tuning Fully Integrated Fuzzy Logic Programs (by Gines Moreno and José Antonio Riaza Valverde)

13:45 - 14:00 Contestable Black-Boxes (by Andrea Aler Tubella, Andreas Theodorou, Virginia Dignum and Loizos Michael)

14:10 - 14:20 Break

14:20 - 15:20 RuleML+RR Session 3: Machine Learning

14:20 - 14:40 New Rule Induction Method by use of a Co-occurrence Set from the Decision Table (by Yuichi Kato and Tetsuro Saeki)

14:40 - 15:00 An ASP-Based Approach to Counterfactual Explanations for Classification (by Leopoldo Bertossi)

15:00 - 15:15 On Defining Rules for Cancer Data Fabrication (by Juliana Küster Filipe Bowles, Agastya Silvina, Eyal Bin and Michael Vinov)

15:20 - 15:30 Break

15:30 - 16:00 Keynote I: Knowledge Graphs: Methodologies, Tools, and Selected Use Cases (by Dieter Fensel, Professor at University of Innsbruck, Austria)

16:00 - 16:30 Keynote II: Requirements as Rules (by Arild Waaler, Professor at University of Oslo, Norway)

16:35 - 16:45 DecisionCAMP Kickoff

16:45 - 18:30 DecisionCAMP Session 1

16:45 - 17:15 Decision model as template: using DMN to constrain the configurability of a domain of decision logic (by Dr. Alan Fish, FICO)

17:20 - 17:50 Ruleflow or Decision Model? Why not both? (by Guilhem Molines and Kayla Martens, IBM)

17:55 - 18:25 Thinking inside the box – Introducing new boxed expressions to DMN (by Denis Gagne, Trisotech)

18:30 - 18:45 Break

18:45 - 20:30 DecisionCAMP Session 2

18:45 - 19:15 Discovering Decision Models in Legacy Code (by Larry Goldberg, Sapiens)

19:20 - 19:50 Artificial Intelligence needs explanation (by Silvie Spreeuwenberg, librt)

19:55 - 20:25 Making Executable DMN Modeling More Business-Friendly (by Bruce Silver, Method and Style, Matteo Mortari, Red Hat)

20:30 - 21:15 DecisionCAMP Interactive Discussion I

Tuesday, June 30^th 2020

12:00 - 13:00 RuleML+RR Session 4: Standards/Representations I

12:00 - 12:20 Benchmark for Performance Evaluation of SHACL Implementations in Graph Databases (by Robert Schaffenrath, Daniel Proksch, Markus Kopp, Iacopo Albasini, Oleksandra Panasiuk and Anna Fensel)

12:20 - 12:35 Dialogue Games for Explaining Medication Choices (by Qurat-Ul-Ain Shaheen, Alice Toniolo and Juliana K. F. Bowles)

12:35 - 12:50 On the Formal Representation of the Australian Spent Conviction Scheme (by Guido Governatori and Pompeu Casanovas)

13:00 - 13:10 Break

13:10 - 14:10 RuleML+RR Doctoral Consortium

13:00 - 13:25 Distributed Medical Rule Engine (DMRE)-Project (by Gerhard Kober)

13:25 - 13:40 Supporting Metamodeling in Ontologies Using Rules (by Haya Majid Qureshi and Wolfgang Faber)

13:40 - 13:55 Advanced Syntax and Compilation for Probabilistic Production Rules using PRM (by Gaspard Ducamp, Philippe Bonnard, Christian De Sainte Marie and Pierre-Henri Wuillemin)

13:55 - 14:10 Toward a Transparent Recommender System (by Grzegorz P. Mika)

14:10 - 14:20 Break

14:20 - 15:20 RuleML+RR Session 5: Standards/Representations II

14:20 - 14:40 Invertible Bidirectional Metalogical Translation Between Prolog and RuleML for Knowledge Representation and Querying (by Mark Thom, Harold Boley and Theodoros Mitsikas)

14:40 - 15:00 A Hands-on PSOA RuleML Tutorial: Relationship & Framepoint Facts and Rules (Theodoros Mitsikas)

15:00 - 15:20 Diving Deep into LegalRuleML for Modelling Legal Norms (Monica Palmirani)

15:20 - 15:30 Break (incl. Zoom voting for the RuleML+RR 2020 best presentation)

15:30 - 16:00 Keynote III: What The Real World Needs From Decision Management, Reasoning and AI (by Derek Miers, Sr. Director at Gartner, United Kingdom)

16:00 - 17:00 RuleML+RR Business Meeting (by invitation only, on Skype; in parallel with DecisionCAMP Session 3)

16:00 - 17:50 DecisionCAMP Session 3

16:05 - 16:35 A Decision Framework for Machine Learning (by Brian Stucky, Quicken Loans)

16:40 - 17:10 Automated Decision Making from A to Z (by Prof. Jan Vanthienen, Vedavyas Etikala, KU Leuven)

17:15 - 17:45 Developing Decision Optimization Microservices for real-world decision-making application (by Dr. Jacob Feldman, OpenRules)

17:50 - 18:05 Break

18:05 - 19:50 DecisionCAMP Session 4

18:05 - 18:35 Good beginnings (by Chris Berg, inrule)

18:40 - 19:10 cDMN: Combining DMN with Constraint Reasoning (by Simon Vandevelde, Bram Aerts and Joost Vennekens, KU Leuven)

19:15 - 20:00 DecisionCAMP Interactive Discussion II

Wednesday, July 1^st 2020

12:00 - 13:00 RuleML+RR Industry

12:00 - 12:15 Digital Marketing knowledge transfer to a rule-based reasoning system for massive optimization of campaigns (by Fernando Perales, Ignacio Martínez, Javier Bielsa, Jose Cabanillas and Francisco Rodríguez)

12:15 - 12:30 Rule-based Anti-Money Laundering in Financial Intelligence Units: Experience and Vision (by Luigi Bellomarini, Eleonora Laurenza and Emanuel Sallinger)

12:30 - 12:45 Hostile Takeovers during the COVID-19 Crisis: Reasoning on Company Knowledge Graphs (by Luigi Bellomarini, Marco Benedetti, Stefano Ceri, Andrea Gentili, Rosario Laurendi, Davide Magnanimi, Markus Nissl and Emanuel Sallinger)

12:45 - 13:00 DeRool: A rule-based dialog engine (by Kevin Angele and Jürgen Angele)

13:00 - 13:10 Break

13:10 - 14:10 RuleML+RR Challenge 1

13:10 - 13:30 Using PROVA-Rule engine as dispatching-service for FHIR-Observation-Resources (by Gerhard Kober and Adrian Paschke)

13:30 - 13:50 One Shot Rule Learning for Challenging Character Recognition (by Dany Varghese and Alireza Tamaddoni Nezhad)

13:50 - 14:10 Action Rules: Counterfactual explanations in Python (by Lukáš Sýkora and Tomáš Kliegr)

14:10 - 14:20 Break

14:20 - 15:20 RuleML+RR Challenge 2

14:20 - 14:40 Rule Extraction via Dynamic Discretization with an Application to Air Quality Modelling (by Estrella Lucena Sánchez, Guido Sciavicco, Joanna Kamińska and Eduard Ionel Stan)

14:40 - 15:00 A Visual Rule Generation Tool for SWRL (by Alia El Bolock, Ibrahim Mohamed, Cornelia Herbert and Slim Abdennadher)

15:00 - 15:20 Towards the use of Situation Hierarchies for supporting Decision Making: A Formal Lattice-Based Approach (by Franco Giustozzi, Julien Saunier and Cecilia Zanni-Merk)

15:20 - 15:30 Break (incl. Zoom voting for the RuleML+RR Challenge winner)

15:30 - 16:00 Keynote IV: Multilabel Rule Learning (by Eyke Hüllermeier, Professor at Paderborn University, Germany)

16:00 - 16:30 RuleML+RR Closing

16:30 - 18:15 DecisionCAMP Session 5

16:30 - 17:00 How End to End Decision Automation Increases Business Agility (by Arash Aghlara, FlexRule)

17:05 - 17:35 Modeling Insurance Products with DMN (by Wilfried Kurth, AXA CH)

17:40 - 18:10 Decision Requirements Level: The real key feature of DMN (by Daniel Schmitz-Hübsch, Materna)

18:15 - 18:30 Break

18:30 - 20:10 DecisionCAMP Session 6

18:30 - 19:00 Visualization of DMN models using Design Structure Matrices (by Dario Campagna, Carlos Kavka, Sara Nicastro and Alessandro Turco, ESTECO SpA)

19:05 - 19:35 Creating executable decision service designs using DMN and Excel Workbook (by Gediminas Vedrickas, FICO)

19:40 - 20:10 The Triple Crown in Practice (by Dennis Aarts, The Business Analysts)

20:10 - 20:20 DecisionCAMP Closing