LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
RULEML+RR PROGRAM

Days: Tuesday, September 18th Wednesday, September 19th Thursday, September 20th Friday, September 21st

Tuesday, September 18th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

08:15-09:30 Opening of Registration

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-09:30 Session 9B: Applications of Rules and Neural Networks
Location: MSA 3.520
09:00
Mixing Logic Programming and Neural Networks to Support Neurological Disorders Analysis (abstract)
10:30-11:00Coffee Break
11:00-12:30 Session 13C: Description Logics
Location: MSA 3.520
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)
12:30-14:00Lunch Break
14:00-15:30 Session 14C: KR Systems and Applications
Location: MSA 3.520
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:30-16:00Coffee Break
16:00-16:18 Session 16C: Reasoning with Modalities
Location: MSA 3.520
16:00
The MET: The Art of Flexible Reasoning with Modalities (abstract)
16:18-17:30 Session 17: Doctoral Consortium
Location: MSA 3.520
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)
19:00-22:30 River cruise conference banquet

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.

Wednesday, September 19th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

10:20-10:30 Session 24: FNR Address

Presentation by Mrs Florencia Balbastro (FNR)

Location: MSA 3.510
10:30-11:00Coffee Break
11:00-12:30 Session 25D: Tutorial: Logic and Smart Contracts

Bob Kowalski (Imperial College London), Miguel Calejo (logicalcontracts.com), Fariba Sadri (Imperial College London)

See the LuxLogAI web page for details.

Location: MSA 3.520
12:30-14:00Lunch Break
14:00-15:00 Session 26B: Invited talk (joint with GCAI)
Location: MSA 3.520
14:00
Vadalog: A Language and System for Knowledge Graphs (abstract)
15:00-15:30 Session 27B: Industry Track I
Location: MSA 3.520
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:30-16:00Coffee Break
15:45-17:00 Session 28: Industry Track II
Location: MSA 3.520
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)
18:00-20:00 Artificial Intelligence: Truth or Dare (Open round-table discussion)

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.

Thursday, September 20th

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:30 Session 31B: Ontological Reasoning
Location: MSA 3.520
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)
10:30-11:00Coffee Break
11:00-12:30 Session 32B: Rule Challenge
Location: MSA 3.520
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)
12:30-14:00Lunch Break
14:00-15:00 Session 33C: Invited Talk
Location: MSA 3.520
14:00
Efficient and Convenient Search on Very Large Knowledge Bases (abstract)
15:00-15:30 Session 34: Complex Event Processing
Location: MSA 3.520
15:00
Complex Event Processing under Uncertainty Using Markov Chains, Constraints, and Sampling (abstract)
15:30-16:00Coffee Break
16:00-17:30 Session 35: Tutorial: LegalRuleML

Monica Palmirani (Bologna), Guido Governatori (Data61/CSIRO).

See the LuxLogAI web pages for details.

Location: MSA 3.520
Friday, September 21st

View this program: with abstractssession overviewtalk overviewside by side with other conferences

09:00-10:00 Session 38B: Invited Talk
Location: MSA 3.520
09:00
Modal Rules: Extending Defeasible Logic with Modal Operators (abstract)
10:00-10:30 Session 39: RuleML+RR and Doctoral Consortium: Joint Poster Teasers
Location: MSA 3.520
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)
10:30-11:00Coffee Break and Poster Session
11:00-12:00 Session 40B: Knowledgebases and Reasoning
Location: MSA 3.520
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-12:30 Session 41B: Benchmarking
Location: MSA 3.520
12:00
A First Order Logic Benchmark for Defeasible Reasoning Tool Profiling (abstract)
12:30-14:00Lunch Break
14:00-15:30 Session 42B: Rule Systems and Applications
Location: MSA 3.520
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)
15:30-16:00Coffee Break and Poster Session