October 2015 SIEP Workshop

The October 2015 SIEP Workshop takes place at the University of Luxembourg (Campus Kirchberg) from 12 October to 13 October 2015.

Program

Monday, 12 October

14:15-15:15
Marcos Cramer: Delegation Revocation via Negative Authorization is NP-Complete

15:15-15:45
Coffee break

15:45-16:45
Pieter Van Hertum: Using Approximation fixpoint theory for new semantics with multi-agent Autoepistemic logic with full introspection

16:45-17:15
Closed meeting with Marc Denecker, Leon van der Torre and Marcos Cramer: Organizational aspects of the SIEP project

Tuesday, 13 October

09:30-11:00
Agustín Ambrossio: Distributed Access Control in IDP – theory and demo

11:00-11:30
Coffee break

11:30-13:00
Marcos Cramer: Evaluating strong revocations with inductive definitions

13:00-14:30
Lunch break

14:30-16:00
Pieter Van Hertum: A Tarskian semantics for multi agent modal logic accommodating Common Knowledge

16:00-16:15
Coffee break

16:15-17:00
Discussion about future work within the SIEP project