Invited speakers

Laura Giordano

Dipartimento di Scienze e Innovazione Tecnologica
Istituto di Informatica
Università del Piemonte Orientale

• Short CV

Laura Giordano received the degree in Computer Science from the University of Torino in 1987 and the PhD in Computer Science from the same university in 1993. From 1990 to 1998 she was researcher at the Dipartimento di Informatica, Università di Torino. Since October 1998 she is associate professor at the Università del Piemonte Orientale. From 2001 to 2012 she has been member of the board of GULP, the Italian Association for Logic Programming . Her research interests include: Nonmonotonic Reasoning, Belief Revision, Reasoning about Actions and Change, Multiagent Systems, Proof Methods for Nonclassical logics, Description Logics, Answer Set Programming.

Reasoning about typicality in preferential description logics

Abstract

The talk presents an approach for reasoning about typicality in description logics (DLs), based on Kraus, Lehmann and Magidor's preferential semantics. It describes an extension to DLs of Lehmann and Magidor's rational closure as well as a semantic characterization for it through a minimal model semantics. For expressive description logics, the computation of rational closure can exploit a polynomial encoding of preferential entailment into standard DLs. The talk aims at discussing to what extent preferential reasoning can be considered as a building block for dealing with exceptions in OWL ontologies, considering that dealing with exceptions is a long standing problem of nonmonotonic reasoning, and at comparing this approach with other approaches to defeasible reasoning in DLs.

Leon van der Torre

University of Luxembourg
Computer Science and Communication Lab

• Short CV

Leon van der Torre joined the University of Luxembourg as a full professor for Intelligent Systems in 2006. He developed the BOID agent architecture (with colleagues from Vrije Universiteit Amsterdam), input/output logic (with David Makinson) and the game-theoretic approach to normative multiagent systems (with Guido Boella). He is an editor of the handbook of deontic logic and normative systems (first volume 2013, second volume in preparation), editor of the handbook on formal argumentation (in preparation), editor of the handbook on normative multi agent systems (in preparation), deontic logic corner editor of Journal of Logic and Computation, and member of editorial board of Logic Journal of the IGPL, the IfCoLog Journal of Logics and their Applications, and the EPiC series in Computer Science. Moreover he is coordinator of the Horizon2020 Marie Curie RISE Network “Mining and Reasoning with Norms” (MIREL, 2016-2019).

Arguing about obligations and permissions

Abstract

In this talk I apply a theory of structured argumentation to normative reasoning. In an ASPIC+ style setting, I discuss the definition of argument and attack, the role of constitutive and permissive norms, and hierarchical normative systems. Based on joint work with Beishui Liao, Nir Oren, Gabriella Pigozzi and Serena Villata