LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
SLIDES

Hilbert Meets Isabelle: Formalisation of the DPRM Theorem in Isabelle

Abhik Pal, Benedikt Stock, Marco David, Deepak Aryal, Jonas Bayer, Bogdan Ciurezu, Yiping Deng, Prabhat Devkota, Simon Dubischar, Malte Sophian Hassler, Yufei Liu and Maria Antonia Oprea

Quantifier handling in SMT

Pascal Fontaine

Åqvist's Dyadic Deontic Logic E in HOL

Christoph Benzmuller, Ali Farjami and Xavier Parent

Specifying collaborative decision-making systems using BPMN, CMMN & DMN

Alan Fish

The MET: The Art of Flexible Reasoning with Modalities

Tobias Gleißner and Alexander Steen

On Quantifying and Understanding the Role of Ethics in AI Research: A Historical Account of Flagship Conferences and Journals

Marcelo Prates, Pedro Avelar and Luis Lamb

Formalizing Air Traffic Control Regulations in PSOA RuleML

Theodoros Mitsikas, Sofia Almpani, Petros Stefaneas, Panayiotis Frangos and Iakovos Ouranos

Computational Regulation of Medical Devices in PSOA RuleML

Sofia Almpani, Petros Stefaneas, Harold Boley, Theodoros Mitsikas and Panayiotis Frangos

Storing and Querying Semantic Data in the Cloud

Steffen Staab and Daniel Janke

Proof Recovery for the IMPS system

Jonas Betzendahl

A Case-Based Inquiry into the Decision Model and Notation (DMN) and the Knowledge Base (KB) Paradigm

Marjolein Deryck, Faruk Hasić, Joost Vennekens and Jan Vanthienen

Concepts as Modalities in Description Logics (poster teaser)

Lukas Grätz

Deep Reasoning - Hardware Accelerated Artificial Intelligence

Phillip Lippe and Stephan Schulz

Herbrand's Revenge - SAT Solving for First-Order Theorem Proving

Stephan Schulz

A Roadmap to Gradually Compare and Benchmarking Description Logic Calculi

Fred Freitas

A Prototype for Dealing with Exceptions in Lawsuit Simulation and for Legible Inference Proofs

Cleyton Rodrigues, Eunice Palmeira, Ítalo Oliveira and Fred Freitas

Cardinality Restrictions within Description Logic Connection Calculi

Fred Freitas and Ivan Varzinczak

Introduction and Updates on DMN TCK

Matteo Mortari

SWRL2SPIN: Converting SWRL to SPIN

Nick Bassiliades

PSOA Prova: PSOA Translation of Pure Production Rules to the Prova Engine

Lukas Grätz, Harold Boley and Adrian Paschke

Integrating Rule-Based AI Tools into Mainstream Game Development

Francesco Pacenza, Francesco Calimeri, Stefano Germano, Giovambattista Ianni, Simona Perri and Jessica Zangari
Total: 21 presentations.