Days: Tuesday, September 18th Wednesday, September 19th Thursday, September 20th Friday, September 21st
View this program: with abstractssession overviewtalk overviewside by side with other conferences
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 | Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (abstract) |
| 09:35 | Bridging Trouble (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 | 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) |
| 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) |
Bus to Remich
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 overviewside by side with other conferences
Presentation by Mrs Florencia Balbastro (FNR)
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 | Vadalog: A Language and System for Knowledge Graphs (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) |
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 overviewside by side with other conferences
| 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) |
| 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) |
| 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 overviewside by side with other conferences
| 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 | 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 | A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (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) |