Program

10:20	Franz Baader, Francesco Kriegel and Adrian Nuradiansyah Privacy-Preserving Ontology Publishing for EL Instance Stores (abstract)
10:40	Laura Giordano and Alberto Policriti Extending ALC with the power-set construct (abstract)

10:50-11:10Coffee Break

Map directions: here.

11:10-12:50 Session 4: Description Logics (part B)

Map directions: here.

Chairs:

Laura Giordano and Rafael Peñaloza

Location: University Club

11:10	Leonard Botha, Thomas Meyer and Rafael Peñaloza A Bayesian Extension of the Description Logic ALC (abstract)
11:30	Marco Wilhelm, Gabriele Kern-Isberner, Andreas Ecke and Franz Baader Counting Strategies for the Probabilistic Description Logic ALC^ME Under the Principle of Maximum Entropy (abstract)
11:50	Ana Ozaki and Nicolas Troquard Learning Ontologies with Epistemic Reasoning: The EL Case (abstract)
12:10	Jieying Chen, Michel Ludwig, Yue Ma and Dirk Walther Computing Minimal Projection Modules of Description Logic Terminologies (abstract)
12:30	Francesco Kriegel Learning Description Logic Axioms from Discrete Probability Distributions over Description Graphs (abstract)

12:50-14:30Lunch Break

Map directions: here.

14:30-16:30 Session 5: Modal and Default Logic (part A)

Map directions: here.

Chair:

Wolfgang Faber

Location: University Club

14:30	Emiliano Lorini Reasoning about Cognitive Attitudes in a Qualitative Setting (abstract)
14:50	Stéphane Demri, Raul Fervari and Alessio Mansutti Axiomatising Logics with Separating Conjunction and Modalities (abstract)
15:10	Bartosz Bednarczyk, Emanuel Kieroński and Piotr Witkowski On the Complexity of Graded Modal Logics with Converse (abstract)
15:30	Marianna Girlando, Bjoern Lellmann and Nicola Olivetti Nested sequents for the logic of conditional belief (abstract)
15:50	Valentin Cassano, Raul Fervari, Carlos Areces and Pablo Castro Interpolation and Beth Definability for Default Logics (abstract)
16:10	Przemysław Andrzej Wałęga Computational Complexity of Core Fragments of Modal Logics T, K4, and S4 (abstract)

16:30-16:50Coffee Break

Map directions: here.

16:50-17:30 Session 6: Modal and Default Logic (part B)

Map directions: here.

Chair:

Stéphane Demri

Location: University Club

16:50	Thomas Bolander, Thorsten Engesser, Andreas Herzig, Robert Mattmüller and Bernhard Nebel The dynamic logic of policies and contingent planning (abstract)
17:10	Aldo Iván Ramírez Abarca and Jan Broersen A logic of objective and subjective oughts (abstract)

17:30-18:40 Session 7: Temporal Logic

Map directions: here.

Chairs:

Johannes Oetsch and Guido Sciavicco

Location: University Club

17:30	Joseph Boudou, Martín Diéguez, David Fernández-Duque and Fabián Romero Axiomatic systems and topological semantics for intuitionistic temporal logic (abstract)
17:50	Andrea Brunello, Ionel Eduard Stan and Guido Sciavicco Interval Temporal Logic Decision Tree Learning (abstract)
18:10	Kees van Berkel and Tim Lyon Cut-free Calculi and Relational Semantics for Temporal STIT logics (abstract)
18:30	Johannes Oetsch and Juan Carlos Nieves Stable-Ordered Models for Propositional Theories with Order Operators (abstract)

18:50-23:30 History and Art in the Old Town of Rende

Map directions: here.

Thursday, May 9th

View this program: with abstracts session overview talk overview

09:00-10:00 Session 8: Keynote 2 (Henri Prade)

Chair:

Francesco Calimeri

Location: University Club

09:00

Didier Dubois and Henri Prade

Possibilistic logic: From certainty-qualified statements to two-tiered logics -- A prospective survey (abstract)

10:00-10:50 Session 9: Belief Revision and Argumentation (part A)

Chair:

Gerhard Brewka

Location: University Club

10:00	Wolfgang Dvořák, Matti Järvisalo, Thomas Linsbichler, Andreas Niskanen and Stefan Woltran Preprocessing Argumentation Frameworks via Replacement Patterns (abstract)
10:20	Ringo Baumann and Felix Linker AGM Meets Abstract Argumentation: Contraction for Dung Frameworks (abstract)
10:40	Stefano Bistarelli and Theofrastos Mantadelis A Possible World View and a Normal Form for the Constellation Semantics (abstract)

10:50-11:10Coffee Break

11:10-12:50 Session 10: Belief Revision and Argumentation (part B)

Chairs:

Andreas Niskanen and Francesco Santini

Location: University Club

11:10	Stefano Bistarelli and Francesco Santini Well-foundedness in Weighted Argumentation Frameworks (abstract)
11:30	Markus Ulbricht Repairing Non-monotonic Knowledge Bases (abstract)
11:50	Gerhard Brewka, Joerg Puehrer and Stefan Woltran Multi-Valued GRAPPA (abstract)
12:10	Adrian Haret and Johannes P. Wallner Manipulating Skeptical and Credulous Consequences when Merging Beliefs (abstract)
12:30	Marcos Cramer and Mathieu Guillaume Empirical Study on Human Evaluation of Complex Argumentation Frameworks (abstract)

12:50-14:30Lunch Break

Map directions: here.

14:30-15:20 Session 11: Best Papers

Chair:

Gianluigi Greco

Location: University Club

14:30	Walter Forkel and Stefan Borgwardt Closed-World Semantics for Conjunctive Queries with Negation over ELH-bottom Ontologies (abstract)
14:55	Pedro Cabalar, Jorge Fandinno, Torsten Schaub and Sebastian Schellhorn Lower Bound Founded Logic of Here-and-There (abstract)

15:20-15:40 Session 12: Ambassador Talk

Chair:

Giovambattista Ianni

Location: University Club

15:20

Stefania Costantini

Towards applying Computational Logic to Digital Forensics and Digital Investigations: the European COST Action DigForASP (abstract)

15:40-20:00 Guided tour in Pizzo Calabro

Map directions: here.

20:00-23:30 Conference Dinner

Map directions: here.

Friday, May 10th

View this program: with abstracts session overview talk overview

09:00-09:30 Session 13: Some extra free time after the conference dinner

09:30-10:50 Session 14: Logic Programming (part A)

Chair:

Tomi Janhunen

Location: University Club

09:30	Zeynep G. Saribatur, Peter Schüller and Thomas Eiter Abstraction for Non-Ground Answer Set Programs (abstract)
09:50	Tobias Geibinger and Hans Tompits Characterising Relativised Strong Equivalence with Projection for Non-Ground Answer-Set Programs (abstract)
10:10	Ezgi Iraz Su Epistemic Answer Set Programming (abstract)
10:30	Giovanni Amendola, Carmine Dodaro, Wolfgang Faber, Luca Pulina and Francesco Ricca Algorithm Selection for Paracoherent Answer Set Computation (abstract)
10:40	Christian Breu, Axel Ind, Julia Mertesdorf and Marco Ragni The Weak Completion Semantics can Model Inferences of Individual Human Reasoner (abstract)

10:50-11:10Coffee Break

11:10-12:50 Session 15: Logic Programming (part B)

Chair:

Marco Maratea

Location: University Club

11:10	Bernardo Cuteri, Kristian Reale and Francesco Ricca A Logic-Based Question Answering System for Cultural Heritage (abstract)
11:30	Tobias Kain and Hans Tompits Uhura: An Authoring Tool for Specifying Answer-Set Programs using Controlled Natural Language (abstract)
11:50	Mario Alviano and Wolfgang Faber Chain Answer Sets for Logic Programs with Generalized Atoms (abstract)
12:10	Peter Schüller The Hexlite Solver (abstract)
12:30	Giovanni Amendola and Cinzia Marte Extending Bell Numbers for Parsimonious Chase Estimation (abstract)
12:40	Carlo Allocca, Roberta Costabile, Alessio Fiorentino, Simona Perri and Jessica Zangari Memory saving evaluation plans for Datalog (abstract)

12:50-14:30Lunch Break

Map directions: here.

14:30-16:30 Session 16: Causal, Defeasible and Inductive Reasoning

Chairs:

Bart Bogaerts and Sophie Tourret

Location: University Club

14:30	Rolf Morel, Andrew Cropper and Luke Ong Typed meta-interpretive learning of logic programs (abstract)
14:50	Giovanni Casini, Thomas Meyer and Ivan Varzinczak Taking Defeasible Entailment beyond Rational Closure (abstract)
15:10	Emily LeBlanc, Marcello Balduccini and Joost Vennekens Explaining Actual Causation via Reasoning about Actions and Change (abstract)
15:30	Marc Denecker, Bart Bogaerts and Joost Vennekens Explaining actual causation in terms of possible causal processes (abstract)
15:50	Sophie Tourret and Andrew Cropper SLD-Resolution Reduction of Second-Order Horn Fragments (abstract)
16:10	María Alpuente, Demis Ballis, Angel Cuenca-Ortega, Santiago Escobar and Jose Meseguer ACUOS^2: A High-performance System for Modular ACU Generalization with Subtyping and Inheritance (abstract)
16:20	Francesco Olivieri, Guido Governatori and Matteo Cristani Advancements in Resource-driven Substructural Defeasible Logic (abstract)

16:30-16:50Coffee Break

16:50-17:40 Session 17: Conditional, Probabilistic and Propositional Logic

Chair:

Francesco Ricca

Location: University Club

16:50	Christoph Beierle and Steven Kutsch Systematic Generation of Conditional Knowledge Bases up to Renaming and Equivalence (abstract)
17:00	Jeremias Berg and Matti Järvisalo Unifying Reasoning and Core-Guided Search for Maximum Satisfiability (abstract)
17:20	Miika Hannula, Åsa Hirvonen, Juha Kontinen, Vadim Kulikov and Jonni Virtema Facets of Distribution Identities in Probabilistic Team Semantics (abstract)

17:40-18:00 Session 18: Technical Program Closing

Chairs:

Francesco Calimeri and Marco Manna

Saturday, May 11th

View this program: with abstracts session overview talk overview

09:45-13:00 Session 19: Public event on "Intelligenza Artificiale: Etica, Opportunità, Insidie" (in Italian)

A disseminative panel discussion open to the general public and featuring well-known scientists discussing with industry leaders and famed journalists.

Chair:

Maurizio Melis

Location: Teatro Auditorium