The workshop will last 2 days. Two dedicated invited tutorials will be given before the technical sessions; eventually, an open workshop session will foster ideas and possible collaborations.
- Wolfgang Faber (University of Huddersfield): ASP for Knowledge Representation and Reasoning
- Francesco Calimeri (University of Calabria + DLVSystem): The ASP System DLV
- Pierfrancesco Veltri (DLVSystem): DLV^E for Reasoning on Ontologies
- Marco Manna (University of Calabria): Semantic Information Extraction
- Christoph Benzmüller (University of Luxembourg + Freie Universität Berlin + Saarland University): Universal Logic Theorem Proving via Semantical Embeddings in HOL
- Giovanni Casini (University of Luxembourg): Normative Reasoning in the OWL framework
- Xavier Parent (University of Luxembourg): The GDPR as a logic program
- May 18th:
- May 19th
- Technical Sessions + Open workshop, brain stormings, interviews.