LUXLOGAI 2018: LUXEMBOURG LOGIC FOR AI SUMMIT
SLIDES

The MET: The Art of Flexible Reasoning with Modalities

Tobias Gleißner and Alexander Steen

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

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

Cardinality Restrictions within Description Logic Connection Calculi

Fred Freitas and Ivan Varzinczak

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: 9 presentations.