Days: Monday, September 17th Tuesday, September 18th Wednesday, September 19th Thursday, September 20th Friday, September 21st Saturday, September 22nd Sunday, September 23rd Monday, September 24th Tuesday, September 25th Wednesday, September 26th
View this program: with abstractssession overviewtalk overview
The LuxLogAI registration desk will open on 8.15am every day from Monday, Sep 17, to Friday, Sep 21. Please pick up your conference badges here. The registration desk will also help you with any issues or problems throughout the whole day.
See also the LuxLogAI conference booklet for further information.
| 09:00 | Welcome address (abstract) |
| 09:10 | Specifying collaborative decision-making systems using BPMN, CMMN & DMN (abstract)  |
| 09:50 | Decision Automation using Models, Services and Dashboards (abstract) |
| 09:00 | Artificial Intelligence for Consumer Law (abstract) |
| 10:00 | Legal Reasoning and Big Data: Opportunities and Challenges (abstract)  |
| 09:30 | Knowledgeable Robots (abstract) |
| 11:00 | The support of Decision Modeling features and concepts in tooling (abstract) |
| 11:40 | Goal-Oriented Business Decision Modeling (abstract) |
| 11:00 | Learning to Plan from Raw Data in Grid-based Games (abstract) |
| 11:30 | What if the world were different? Gradient-based exploration for new optimal policies (abstract) |
| 12:00 | Using the Winograd Schema Challenge as a CAPTCHA (abstract) |
| 11:00 | Automatic Catchphrase Extraction from Legal Case Documents via Scoring using Deep Neural Networks (abstract) |
| 11:30 | A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs (abstract) |
| 12:00 | Nomothesia: A Linked Data Platform for Greek Legislation (abstract) |
| 14:00 | High-Performance Decision Model Execution by Compilation of DMN into Machine Code (abstract) |
| 14:40 | Accord Project for Smart Legal Contracts (abstract) |
| 14:00 | New old frontiers in deep learning: curriculum learning, generative models (abstract) |
| 15:00 | Classifier-Based Evaluation of Image Feature Importance (abstract) |
| 14:00 | The True Value of Art (abstract) |
| 14:00 | Principles for a judgement editor based on BDD (abstract) |
| 14:30 | The Logic of Silence in Testimonies (abstract) |
| 15:00 | \AA qvist's Dyadic Deontic Logic {\bf E} in HOL (abstract) |
Round table discussion with Prof. Roman Kräussl and artists Alexandre Gurita and Sergio Albiac. See LuxLogAI web pages for details.
| 15:45 | Smart contracts from legal text: interpretation, analysis and modelling !! (abstract) |
| 16:25 | jDMN: An execution engine for DMN in Java (abstract) |
| 17:05 | Process discovery technique of decision-making in sales activity: Process mining based approach (abstract) |
| 16:00 | Iterative Planning for Deterministic QDec-POMDPs (abstract) |
| 16:30 | Computing minimal subsumption modules of ELHr terminologies (abstract) |
| 17:00 | Discovering Causal Relations in Semantically-Annotated Probabilistic Business Process Diagrams (abstract) |
| 16:00 | Spect-actor: A manifesto for an un-virtual immersive experience (abstract) |
| 16:20 | What does the object want from me? (abstract) |
| 16:00 | I/O Logic in HOL (abstract) |
| 16:30 | Deontic Description Logic (abstract) |
| 17:00 | Visualizing Legal Information: an Ontology-Based Data Protection Icon Set (abstract) |
| 17:30 | Logic and Graphs of Legal Relations: Why Hohfeld Was Right about Rights (abstract) |
View this program: with abstractssession overviewtalk overview
The LuxLogAI registration desk will open on 8.15am every day from Monday, Sep 17, to Friday, Sep 21. Please pick up your conference badges here. The registration desk will also help you with any issues or problems throughout the whole day.
See also the LuxLogAI conference booklet for further information.
This year for the first time one of the major contributors to Business Rules and Decision Management movement will be presented with the Lifetime Achievement Award during DecisionCAMP-2018. The attendees will also vote for the “Most Influential DM People”.
See also: https://dmcommunity.org/top-ten/
| 09:00 | Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (abstract) |
| 09:10 | Spreadsheets in Decision Management (abstract) |
| 09:50 | Managing a Decision Zoo (Requirements Engineering for Complex Decisions) (abstract) |
| 09:35 | Bridging Trouble (abstract) |
| 11:00 | Automatic judgment of decision authority using OpenRules (abstract) |
| 11:40 | Explaining the Unexplainable: Using DMN to Justify the Outcomes of Black-box Analytics (abstract) |
| 11:00 | Towards a Closer Integration of Dynamic Programming and Constraint Programming (abstract) |
| 11:30 | Standard and Non-Standard Inferences in the Description Logic FL0 Using Tree Automata (abstract) |
| 12:00 | Historical Gradient Boosting Machine (abstract) |
| 11:00 | Justifications under the Fixed-Domain Semantics (abstract) |
| 11:30 | Cardinality Restrictions within Description Logic Connection Calculi (abstract) |
| 12:00 | On the Impact and Proper Use of Heuristics in Test-Driven Ontology Debugging (abstract) |
| 14:00 | Fusion Project – replacing a legacy system elephant, one bite at a time (abstract) |
| 14:40 | Implementing Decision Modeling in a Large Organization (abstract) |
| 14:00 | Interpretability of a Service Robot: Enabling User Questions and Checkable Answers (abstract) |
| 14:30 | A Data-Driven Metric of Hardness for WSC Sentences (abstract) |
| 15:00 | Classifier Labels as Language Grounding for Explanations (abstract) |
| 14:00 | Integrating Rule-Based AI Tools into Mainstream Game Development (abstract) |
| 14:18 | Faceted Answer-Set Navigation (abstract) |
| 14:36 | An optimized KE-tableau-based system for reasoning in the description logic $\shdlssx$ (abstract) |
| 14:54 | Clinical Decision Support based on OWL Queries in a Knowledge-as-a-Service Architecture (abstract) |
| 15:12 | Answer Set Programming Modulo `Space-Time' (abstract) |
| 15:45 | Introduction and Updates on DMN TCK (abstract) |
Presented by curator Yolanda Spinola-Elias. Featured artists are Sergio Albiac, José Manuel Berenguer, Roc Parés, a selection of videoartworks from Loop Festival of Videoart. some of them related to AI/New Technologies and society impact vision. The exhibition includes an AI+A timeline art installation.
| 16:00 | Analysis of Attack Graph Representations for Ranking Vulnerability Fixes (abstract) |
| 16:30 | Multi-Armed Bandit Algorithms for a Mobile Service Robot's Spare Time in a Structured Environment (abstract) |
| 17:00 | Genetic Algorithms for Scheduling and Optimization of Ore Train Networks (abstract) |
| 16:00 | The MET: The Art of Flexible Reasoning with Modalities (abstract) |
| 16:18 | Improving Probabilistic Rules Compilation using PRM (abstract) |
| 16:36 | Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments (abstract) |
| 16:54 | Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (abstract) |
| 17:12 | A new approach to conceive ASP solvers (abstract) |
Moderated by Carole-Ann Berlioz
Round table discussion coordinated by Yolanda Spinola-Elias with artist Roc Parés, Sergio Albiac and Egberdien van der Torre.
The conference banquet of LuxLogAI will take place on 18 Sep on a boat on the Moselle river during a cruise in the evening.
The boat will leave from Remich, the pearl of the Moselle, and take us in the direction of Schengen in the tri-border area of France – Germany – Luxembourg, where the so-called Schengen Agreement was signed on a passenger vessel on 14th June 1985.
See the LuxLogAI web pages for details.
View this program: with abstractssession overviewtalk overview
| 09:00 | Make Faster, Smarter Decisions by combining Machine Learning and Decision Optimization (abstract) |
| 09:40 | Case Study - Building an enterprise ready decision management platform for customer engagement and next best action (abstract) |
| 09:00 | Artistic Creativity in Artificial Intelligence: An Autonomous Art Genre (abstract) |
| 09:45 | Scientific Research on Self-Organising Systems - an Overview (abstract) |
| 09:15 | TBA (abstract) |
Presentation by Mrs Florencia Balbastro (FNR)
| 11:00 | Decision Modeling at AXA CH (abstract) |
| 11:40 | Outpatient Waitlist Analysis for Irish Hospitals (abstract) |
| 11:00 | On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals (abstract) |
| 11:30 | Replaceability for constraint satisfaction problems: algorithms, inference, and complexity patterns (abstract) |
| 12:00 | Responsible Technologies (abstract) |
| 11:00 | Traces: Anatomy of a Digital Artwork (abstract) |
| 11:45 | The Liquid Organization (abstract) |
Bob Kowalski (Imperial College London), Miguel Calejo (logicalcontracts.com), Fariba Sadri (Imperial College London)
See the LuxLogAI web page for details.
Slides available here.
| 14:00 | Modernising Production Rule Systems (abstract) |
| 14:40 | Modeling progress on Climate Change and Social Value Acts (abstract) |
| 14:00 | Vadalog: A Language and System for Knowledge Graphs (abstract) |
| 14:00 | The Art of Recycling (abstract) |
| 14:45 | How to get Robots organized (abstract) |
| 15:00 | The challenges faced by the industry in working with rules and the challenges faced by universities in working with the industry (abstract) |
| 15:45 | Automating the transition from tax law to automatic decision making (abstract) |
| 16:15 | A rule language for business people to configure their policy and support decision making (abstract) |
| 16:45 | Closing discussion (abstract) |
| 16:00 | Driving FinTech and RegTech with Industry and Technology Standards (abstract) |
The round table debate is part of the Luxembourg Logic in Artificial Intelligence Summit (LuxLogAI 2018). The purpose of the discussion is to identify key directions in the development of Artificial Intelligence to gain competitive advantage for Europe and Luxembourg in particular, and to figure out the critical transformations in our society as a consequence of the technological progress. See the LuxLogAI web pages for more information.
Important: Note that an extra registration is required. Click here to register for the event (redirects you to Eventbrite).
Participants are hereby informed that they are likely to appear on photographs taken at the event. These are intended to be published in University of Luxembourg print and/or digital/social media. If you do not wish to be photographed, please alert the organisers and the photographer.
View this program: with abstractssession overviewtalk overview
The ABCDE summer tutorial 2018 gives a survey of exciting recent developments in default reasoning and belief change and offers a look at some interesting but hardly known facts from these areas. See the LuxLogAI web page for details.
| 09:00 | On the k-Boundedness for Existential Rules (abstract) |
| 09:30 | On Horn Conjunctive Queries (abstract) |
| 10:00 | Restricted Chase Termination: a Hierarchical Approach and Experimentation (abstract) |
The ABCDE summer tutorial 2018 gives a survey of exciting recent developments in default reasoning and belief change and offers a look at some interesting but hardly known facts from these areas. See the LuxLogAI web page for details.
| 11:00 | SWRL2SPIN: Converting SWRL to SPIN (abstract) |
| 11:15 | RdfRules Preview: Towards an Analytics Engine for Rule Mining in RDF Knowledge Graphs (abstract) |
| 11:30 | PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine (abstract) |
| 11:45 | Classification based on Associations (CBA) - a performance analysis (abstract) |
| 12:00 | Formalizing Air Traffic Control Regulations in PSOA RuleML (abstract) |
| 12:15 | Building and Analyzing Goal-Oriented Decision Models (abstract) |
The focus of Diversity LuxLogAI is gender diversity in AI. The interactive 2 hours session will enable participants to share their opinions, contribute with suggestions, learn from others and reflect on what was discussed. See LuxLogAI web page for details.
The ABCDE summer tutorial 2018 gives a survey of exciting recent developments in default reasoning and belief change and offers a look at some interesting but hardly known facts from these areas. See the LuxLogAI web page for details.
| 14:00 | Efficient and Convenient Search on Very Large Knowledge Bases (abstract) |
| 15:00 | Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling (abstract) |
Monica Palmirani (Bologna), Guido Governatori (Data61/CSIRO).
See the LuxLogAI web pages for details.
View this program: with abstractssession overviewtalk overview
| 09:00 | Mathematical Interface Theories for System Integration (abstract) |
| 09:15 | Proof Recovery for the IMPS system (abstract) |
| 09:30 | Automatic generation of Invariants for Concurrent Programs (abstract) |
| 09:45 | On Inductive Verification and Synthesis (abstract) |
| 10:00 | CoRg: Commonsense Reasoning Using a Theorem Prover and Machine Learning (abstract) |
| 10:15 | Deep Reasoning - Hardware Accelerated Artificial Intelligence (abstract) |
| 09:00 | Modal Rules: Extending Defeasible Logic with Modal Operators (abstract) |
| 10:00 | Improving Probabilistic Rules Compilation using PRM (poster teaser) (abstract) |
| 10:04 | Computational Hermeneutics: Using Automated Theorem Proving for the Logical Analysis of Natural-Language Arguments (poster teaser) (abstract) |
| 10:08 | Towards knowledge-based integration and visualization of geospatial data using Semantic Web technologies (poster teaser) (abstract) |
| 10:12 | A new approach to conceive ASP solvers (poster teaser) (abstract) |
| 10:16 | Concepts as Modalities in Description Logics (poster teaser) (abstract) |
| 10:20 | Inducing Schema.org markup from Natural Language Context (poster teaser) (abstract) |
| 10:24 | An Ontology for Transportation System (poster teaser) (abstract) |
| 11:00 | Quantifier handling in SMT (abstract) |
| 11:00 | A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm (abstract) |
| 11:30 | CHR.js: A CHR Implementation in JavaScript (abstract) |
| 12:00 | Herbrand's Revenge - SAT Solving for First-Order Theorem Proving (abstract) |
| 12:15 | A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi (abstract) |
| 12:00 | A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (abstract) |
| 14:00 | IsaSAT, a verified SAT Solver using Isabelle/HOL (abstract) |
| 14:15 | Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle (abstract) |
| 14:30 | Competitive Proving for Fun (abstract) |
| 14:45 | Computational Hermeneutics: Using Automated Reasoning for the Logical Analysis of Natural-Language Arguments (abstract) |
| 15:00 | Leibniz on Reasoning about Impossible Concepts (abstract) |
| 14:00 | Computational Regulation of Medical Devices in PSOA RuleML (abstract) |
| 14:22 | Nuance Reasoning Framework: A Rule-Based System for Semantic Query Rewriting (abstract) |
| 14:44 | A rule-based eCommerce methodology for the IoT using trustworthy Intelligent Agents and Microservices (abstract) |
| 15:06 | Learning condition action rules for personalised journey recommendations (abstract) |
| 16:00 | Wanda: a higher-order termination tool (abstract) |
View this program: with abstractssession overviewtalk overview
| 08:30 | Cold-start knowledge base population using ontology-based information extraction based on factor graph models (abstract) |
| 14:30 | Efficient SPARQL queries on very large Knowledge Graphs (abstract) |
View this program: with abstractssession overviewtalk overview
| 08:30 | Normative reasoning for the Semantic Web (abstract) |
| 14:30 | Query answering and reasoning over probabilistic knowledge bases (abstract) |
Presentation of the results from the morning session's working groups.
View this program: with abstractssession overviewtalk overview
| 08:30 | Scalable Semantic Data Management (abstract) |
Presentation of the results from the morning session's working groups.
Dinner at Dimmi Si (Italian Restaurant), 12 Avenue du Rock'n'Roll, Belval. See also Google Maps.
View this program: with abstractssession overviewtalk overview
| 08:30 | Machine Learning with and for Knowledge Graphs (abstract) |
Presentation of the results from the morning session's working groups.
| 16:00 | Rule Induction and Reasoning over Knowledge Graphs (abstract) |
View this program: with abstractssession overviewtalk overview
| 08:30 | Engineering of Web Stream Processing Applications (abstract) |
Presentation of the results from the morning session's working groups.