Convegno: programma e articoli (Conference: program and papers)

Conference

viviana.mascardi@unige.it (Super User) — Sat, 03 Jan 2015 20:36:42 +0000

Conference

The conference proceedings are now online on the CEUR web site: http://ceur-ws.org/Vol-1459/

The conference will be held in Aula Benvenuto, Stradone Sant'Agostino 37. The Aula Benvenuto is in the historical Center of Genoa, close to the Sant'Agostino Metro Station. Directions (in Italian) can be found at http://www.arch.unige.it/inf/paginfcartina1.htm#iniziodoc.

Program

Wednesday, July 1st

13.00-14.00	Registration
14.00-14.30	Welcome
14.30-15.00	Presentations of the GULP 2014 Best PhD Thesis Award winners	Elena Bellodi (via skype), Emanuele De Angelis
15.00-16.20	Technical Session 1 Foundations and Theoretical Results Chair: Gianfranco Rossi	15.00-15.20: Eugenio Omodeo and Luca Vallata, A Diophantine representation of Wolstenholme's pseudoprimality 15.20-15.40: Nicola Olivetti and Gian Luca Pozzato, A natural sequent calculus for Lewis' logic of counterfactuals 15.40-16.00: Andrea Corradi and Federico Frassetto, Infinite derivations as failures 16.00-16.20: Cristina Civili and Riccardo Rosati, On the first-order rewritability of conjunctive queries over binary guarded existential rules
16.20-16.50	Coffee break
16.50-18.10	Technical Session 2 Practical Experiences and Case Studies Chair: Stefano Bistarelli	16.50-17.10: Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando and Armando Tacchella, Computational thinking for beginners: A successful experience using Prolog 17.10-17.30: Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Nunnari Salvatore and Alessandro Provetti, A case study on graph-based planning for emergency evacuation 17.30-17.50: Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri, How Answer Set Programming can help in digital forensic investigation 17.50-18.10: Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu and Camillo Tidore, Leveraging semantic web technologies for analysis of crime in social science
18.10-18.40	Steering Commitee Meeting


Thursday, July 2nd

9.00-10.40	Technical Session 3 Agents and Multiagent Systems Chair: Maurizio Martelli	9.00-9.20: Angelo Ferrando, Parametric protocol-driven agents and their integration in JADE 9.20-9.40: Diego Calvanese, Giorgio Delzanno and Marco Montali, Modeling and verifying relational multiagent systems with data types 9.40-10.00: Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio, Leveraging commitments and goals in agent interaction 10.00-10.20: Stefania Costantini, Multi-agent-contexts systems for reasoning and acting in heterogeneous environments 10.20-10.40: Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone, Integration of DALI agents and ASP modules: a case-study
10.40-11.10	Coffe break
11.10-12.50	Technical Session 4 Languages and Programming Chair: Stefania Costantini	11.10-11.30: Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris and Itzel Vazquez Sandoval, Completing workflow traces using action languages 11.30-11.50: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti, Semantics-based generation of verification conditions by program specialization 11.50-12.10: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti, Proving Horn clause specifications of partial correctness of imperative programs 12.10-12.30: Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali, Evaluating compliance: from LTL to abductive logic programming 12.30-12.50: Mauro Ferrari, Camillo Fiorentini and Guido Fiorino, Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
12.50-14.20	Lunch break
14.20-15.35	Invited talk A Framework for Data, Knowledge, and Reasoning: Datalog+/- Chair: Davide Ancona	Georg Gottlob, University of Oxford
15.35-17.05	GULP 30 e lode! Chair: Agostino Dovier	Panel con Giovanni Adorni, Stefania Costantini, Maurizio Martelli, Ugo Montanari, Eugenio Omodeo, Gianfranco Rossi .
17.05-17.35	Coffee break
17.35-18.15	GULP members Meeting
20.00	Social dinner at Castello Bruzzo	The best way to reach Castello Bruzzo is the bus 36 from Piazza De Ferrari; you can also take the F1, F2.


Friday, July 3rd

9.00-11.00	Technical Session 5 Description Logics and Ontologies Chair: Riccardo Rosati	9.00-9.20: Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria, Web ontology representation and reasoning via fragments of set theory 9.20-9.40: Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria and Francesca Trapani, Ontoceramic: an OWL ontology for ceramics classification 9.40-10.00: Elena Bellodi, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese, Abductive logic programming for Datalog+/- ontologies 10.00-10.20: Francesca Alessandra Lisi and Corrado Mencar, Towards fuzzy granulation in OWL ontologies 10.20-10.40: Gian Luca Pozzato, Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match 10.40-11.00: Laura Giordano, Valentina Gliozzi and Nicola Olivetti, Towards a rational closure for expressive description logics: the case of SHIQ
11.00-11.30	Coffee break
11.30-13.30	Technical Session 6 Applications, Frameworks and Tools Chair: Marco Gavanelli	11.30-11.50: Vadim Malvone, Aniello Murano and Loredana Sorrentino, Games with additional winning strategies 11.50-12.10: Andrea Pazienza, Floriana Esposito and Stefano Ferilli, An authority degree-based evaluation strategy for abstract argumentation frameworks 12.10-12.30: Stefano Bistarelli, Fabio Rossi, Francesco Santini and Carlo Taticchi, SecArg: a Security-oriented visualisation tool based on argumentation 12.30-12.50: Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro, Why CP portfolio solvers are (under)utilized? Issues and challenges 12.50-13.10: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Fabio Biselli and Tong Liu, SUNNY for algorithm selection: a preliminary study 13.10-13.30: Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher and Luciano Serafini, A contextual framework for reasoning on events
13.30-13.40	Chiusura dei lavori

A Framework for Data, Knowledge, and Reasoning: Datalog+/-

Datalog+/- is a family of logic programming languages for data manipulation, knowledge representation and reasoning. These languages extend Datalog with features such as existential quantifiers, equalities, and the falsum in rule heads and negation in rule bodies, and, at the same time, apply restrictions in order to to achieve decidability and tractability. This talk will start with a general overview of the Datalog+/- family and its main decidability paradigms and an explanation of how tractable classes can be achieved. Subsequently, some more specialized issues will be dealt with such as nonmonotonic negation and disjunction. We will also report about a special version of Datalog+/- suitable for ontological reasoning, reasoning with reverse-engineered UML class diagrams, and about the TriQ language that expresses SPARQL with entailment regimes.

Georg Gottlob is a Professor of Informatics at Oxford University, a Fellow of St John's College, Oxford, and an Adjunct Professor at TU Wien. His interests include knowledge representation and reasoning including ontological reasoning, logic and complexity, database theory, graph decomposition techniques, and web data extraction. Gottlob has received the Wittgenstein Award from the Austrian National Science Fund, is an ACM Fellow, an ECCAI Fellow, a Fellow of the Royal Society, and a member of the Austrian Academy of Sciences, the German National Academy of Sciences, and the Academia Europaea. He chaired the Program Committees of IJCAI 2003 and ACM PODS 2000. He is currently a member of the editorial boards of journals, such as JACM and JCSS. He was the main founder of Lixto (http://www.lixto.com/), a company that provides datalog-based tools and services for web data extraction which was recently acquired by McKinsey & Company.
Gottlob was awarded an ERC Advanced Investigator's Grant for the project "DIADEM: Domain-centric Intelligent Automated Data Extraction Methodology" (see also http://diadem.cs.ox.ac.uk/). Based on the results of this and other projects, he recently co-founded in 2015 the Wrapidity company at Oxford.
More information on Georg Gottlob can be found on his Web page: http://www.cs.ox.ac.uk/people/georg.gottlob/.

Accepted papers. Click on the title of the paper to download it.
The conference proceedings are online on the CEUR web site: http://ceur-ws.org/Vol-1459/

Andrea Corradi and Federico Frassetto		Infinite Derivations As Failures
Andrea Pazienza, Floriana Esposito and Stefano Ferilli		An Authority Degree-Based Evaluation Strategy for Abstract Argumentation Frameworks
Angelo Ferrando		Parametric Protocol-Driven Agents and their Integration in JADE
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris and Itzel Vazquez Sandoval		Completing Workflow Traces using Action Languages
Cristina Civili and Riccardo Rosati		On the first-order rewritability of conjunctive queries over binary guarded existential rules
Diego Calvanese, Giorgio Delzanno and Marco Montali		Modeling and Verifying Relational Multiagent Systems with Data Types
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria		Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria and Francesca Trapani		Ontoceramic: an OWL ontology for ceramics classification
Elena Bellodi, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese		Abductive Logic Programming for Datalog+/- ontologies
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti		Using program specialization for generating verification conditions
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti		Proving Horn Clause Specifications of Partial Correctness of Imperative Programs
Eugenio Omodeo and Luca Vallata		A Diophantine representation of Wolstenholme’s pseudoprimality
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali		Evaluating Compliance: From LTL to Abductive Logic Programming
Francesca Alessandra Lisi and Corrado Mencar		Towards Fuzzy Granulation in OWL Ontologies
Gian Luca Pozzato		Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
Laura Giordano, Valentina Gliozzi and Nicola Olivetti		Towards a Rational Closure for expressive description logics: the case of SHIQ
Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher and Luciano Serafini		A Contextual Framework for Reasoning on Events
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu and Camillo Tidore		Leveraging Semantic Web Technologies for Analysis of Crime in Social Science
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio		Leveraging Commitments and Goals in Agent Interaction
Mauro Ferrari, Camillo Fiorentini and Guido Fiorino		Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
Nicola Olivetti and Gian Luca Pozzato		A natural sequent calculus for Lewis’ logic of counterfactuals
Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro		Why CP portfolio solvers are (under)utilized? Issues and challenges
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Fabio Biselli and Tong Liu		SUNNY for Algorithm Selection: A Preliminary Study
Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Nunnari Salvatore and Alessandro Provetti		A case study on graph-based planning for emergency evacuation
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando and Armando Tacchella		Computational Thinking for Beginners: A Successful Experience using Prolog
Stefania Costantini		Multi-Agent-Contexts Systems for Reasoning and Acting in Heterogeneous Environments
Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone		Integration of DALI Agents and ASP Modules: a Case-Study
Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri		How Answer Set Programming Can Help In Digital Forensic Investigation
Stefano Bistarelli, Fabio Rossi, Francesco Santini and Carlo Taticchi		Towards Visualising Security with Arguments
Vadim Malvone, Aniello Murano and Loredana Sorrentino		Games with Additional Winning Strategies

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.

Convegno

viviana.mascardi@unige.it (Super User) — Sat, 03 Jan 2015 20:35:34 +0000

Go to the English version

Convegno

Gli atti del convegno sono online sul sito CEUR: http://ceur-ws.org/Vol-1459/

Il convegno si tiene presso l'Aula Benvenuto presso la Scuola di Architettura in Stradone Sant'Agostino 37. L'Aula Benvenuto è in centro storico e si raggiunge seguendo le indicazioni disponibili qui http://www.arch.unige.it/inf/paginfcartina1.htm#iniziodoc.

E' richiesta l'iscrizione entro il 5 giugno tramite http://cilc2015.dibris.unige.it/index.php/registrazione-registration

Programma

Mercoledì 1 luglio

13.00-14.00	Iscrizione
14.00-14.30	Benvenuto
14.30-15.00	Presentazione delle Tesi di Dottorato vincitrici del Premio GULP 2014	Elena Bellodi (via skype), Emanuele De Angelis
15.00-16.20	Sessione tecnica 1 Fondamenti e Risultati Teorici Chair: Gianfranco Rossi	15.00-15.20: Eugenio Omodeo and Luca Vallata, A Diophantine representation of Wolstenholme's pseudoprimality 15.20-15.40: Nicola Olivetti and Gian Luca Pozzato, A natural sequent calculus for Lewis' logic of counterfactuals 15.40-16.00: Andrea Corradi and Federico Frassetto, Infinite derivations as failures 16.00-16.20: Cristina Civili and Riccardo Rosati, On the first-order rewritability of conjunctive queries over binary guarded existential rules
16.20-16.50	Coffee break
16.50-18.10	Sessione tecnica 2 Esperienze Pratiche e Casi di Studio Chair: Stefano Bistarelli	16.50-17.10: Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando and Armando Tacchella, Computational thinking for beginners: A successful experience using Prolog 17.10-17.30: Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Nunnari Salvatore and Alessandro Provetti, A case study on graph-based planning for emergency evacuation 17.30-17.50: Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri, How Answer Set Programming can help in digital forensic investigation 17.50-18.10: Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu and Camillo Tidore, Leveraging semantic web technologies for analysis of crime in social science
18.10-18.40	Riunione del Direttivo


Giovedì 2 luglio

9.00-10.40	Sessione tecnica 3 Agenti e Sistemi Multiagente Chair: Maurizio Martelli	9.00-9.20: Angelo Ferrando, Parametric protocol-driven agents and their integration in JADE 9.20-9.40: Diego Calvanese, Giorgio Delzanno and Marco Montali, Modeling and verifying relational multiagent systems with data types 9.40-10.00: Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio, Leveraging commitments and goals in agent interaction 10.00-10.20: Stefania Costantini, Multi-agent-contexts systems for reasoning and acting in heterogeneous environments 10.20-10.40: Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone, Integration of DALI agents and ASP modules: a case-study
10.40-11.10	Coffe break
11.10-12.50	Sessione tecnica 4 Linguaggi e Programmazione Chair: Stefania Costantini	11.10-11.30: Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris and Itzel Vazquez Sandoval, Completing workflow traces using action languages 11.30-11.50: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti, Semantics-based generation of verification conditions by program specialization 11.50-12.10: Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti, Proving Horn clause specifications of partial correctness of imperative programs 12.10-12.30: Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali, Evaluating compliance: from LTL to abductive logic programming 12.30-12.50: Mauro Ferrari, Camillo Fiorentini and Guido Fiorino, Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
12.50-14.20	Pausa pranzo
14.20-15.35	Relazione invitata A Framework for Data, Knowledge, and Reasoning: Datalog+/- Chair: Davide Ancona	Georg Gottlob, University of Oxford
15.35-17.05	GULP 30 e lode! Chair: Agostino Dovier	Panel con Giovanni Adorni, Stefania Costantini, Maurizio Martelli, Ugo Montanari, Eugenio Omodeo, Gianfranco Rossi.
17.05-17.35	Coffee break
17.35-18.15	Riunione dei soci
20.00	Cena sociale presso il Castello Bruzzo	Il mezzo migliore per raggiungere il Castello Bruzzo è il bus 36 da Piazza De Ferrari; in alternativa si possono prendere i bus sostitutivi della funicolare (F1, F2, F2 barrato).


Venerdì 3 luglio

9.00-11.00	Sessione tecnica 5 Logiche Descrittive e Ontologie Chair: Riccardo Rosati	9.00-9.20: Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria, Web ontology representation and reasoning via fragments of set theory 9.20-9.40: Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria and Francesca Trapani, Ontoceramic: an OWL ontology for ceramics classification 9.40-10.00: Elena Bellodi, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese, Abductive logic programming for Datalog+/- ontologies 10.00-10.20: Francesca Alessandra Lisi and Corrado Mencar, Towards fuzzy granulation in OWL ontologies 10.20-10.40: Gian Luca Pozzato, Preferential description logics meet sports entertainment: cardinality restrictions and perfect extensions for a better royal rumble match 10.40-11.00: Laura Giordano, Valentina Gliozzi and Nicola Olivetti, Towards a rational closure for expressive description logics: the case of SHIQ
11.00-11.30	Coffee break
11.30-13.30	Sessione tecnica 6 Applicazioni, Framework e Strumenti Chair: Marco Gavanelli	11.30-11.50: Vadim Malvone, Aniello Murano and Loredana Sorrentino, Games with additional winning strategies 11.50-12.10: Andrea Pazienza, Floriana Esposito and Stefano Ferilli, An authority degree-based evaluation strategy for abstract argumentation frameworks 12.10-12.30: Stefano Bistarelli, Fabio Rossi, Francesco Santini and Carlo Taticchi, SecArg: a Security-oriented visualisation tool based on argumentation 12.30-12.50: Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro, Why CP portfolio solvers are (under)utilized? Issues and challenges 12.50-13.10: Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Fabio Biselli and Tong Liu, SUNNY for algorithm selection: a preliminary study 13.10-13.30: Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher and Luciano Serafini, A contextual framework for reasoning on events
13.30-13.40	Chiusura dei lavori

A Framework for Data, Knowledge, and Reasoning: Datalog+/-

Articoli accettati (in ordine di nome di battesimo del primo autore...). Clicca sul titolo dell'articolo per scaricare un singolo lavoro.
Gli atti del convegno sono online sul sito CEUR: http://ceur-ws.org/Vol-1459/

Andrea Corradi and Federico Frassetto		Infinite Derivations As Failures
Andrea Pazienza, Floriana Esposito and Stefano Ferilli		An Authority Degree-Based Evaluation Strategy for Abstract Argumentation Frameworks
Angelo Ferrando		Parametric Protocol-Driven Agents and their Integration in JADE
Chiara Di Francescomarino, Chiara Ghidini, Sergio Tessaris and Itzel Vazquez Sandoval		Completing Workflow Traces using Action Languages
Cristina Civili and Riccardo Rosati		On the first-order rewritability of conjunctive queries over binary guarded existential rules
Diego Calvanese, Giorgio Delzanno and Marco Montali		Modeling and Verifying Relational Multiagent Systems with Data Types
Domenico Cantone, Cristiano Longo, Marianna Nicolosi-Asmundo and Daniele Francesco Santamaria		Web ontology representation and reasoning via fragments of set theory
Domenico Cantone, Marianna Nicolosi-Asmundo, Daniele Francesco Santamaria and Francesca Trapani		Ontoceramic: an OWL ontology for ceramics classification
Elena Bellodi, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese		Abductive Logic Programming for Datalog+/- ontologies
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti		Using program specialization for generating verification conditions
Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti		Proving Horn Clause Specifications of Partial Correctness of Imperative Programs
Eugenio Omodeo and Luca Vallata		A Diophantine representation of Wolstenholme’s pseudoprimality
Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Marco Montali		Evaluating Compliance: From LTL to Abductive Logic Programming
Francesca Alessandra Lisi and Corrado Mencar		Towards Fuzzy Granulation in OWL Ontologies
Gian Luca Pozzato		Preferential Description Logics meet Sports Entertainment: Cardinality Restrictions and Perfect Extensions for a Better Royal Rumble Match
Laura Giordano, Valentina Gliozzi and Nicola Olivetti		Towards a Rational Closure for expressive description logics: the case of SHIQ
Loris Bozzato, Stefano Borgo, Alessio Palmero Aprosio, Marco Rospocher and Luciano Serafini		A Contextual Framework for Reasoning on Events
Luca Pulina, Antonietta Mazzette, Laura Pandolfo, Elena Piga, Maria Laura Ruiu and Camillo Tidore		Leveraging Semantic Web Technologies for Analysis of Crime in Social Science
Matteo Baldoni, Cristina Baroglio, Federico Capuzzimati and Roberto Micalizio		Leveraging Commitments and Goals in Agent Interaction
Mauro Ferrari, Camillo Fiorentini and Guido Fiorino		Towards a tableau-based procedure for PLTL based on a multi-conclusion rule and logical optimizations
Nicola Olivetti and Gian Luca Pozzato		A natural sequent calculus for Lewis’ logic of counterfactuals
Roberto Amadini, Maurizio Gabbrielli and Jacopo Mauro		Why CP portfolio solvers are (under)utilized? Issues and challenges
Roberto Amadini, Maurizio Gabbrielli, Jacopo Mauro, Fabio Biselli and Tong Liu		SUNNY for Algorithm Selection: A Preliminary Study
Santa Agreste, Pasquale De Meo, Massimo Marchi, Maria Francesca Milazzo, Nunnari Salvatore and Alessandro Provetti		A case study on graph-based planning for emergency evacuation
Silvio Beux, Daniela Briola, Andrea Corradi, Giorgio Delzanno, Angelo Ferrando, Federico Frassetto, Giovanna Guerrini, Viviana Mascardi, Marco Oreggia, Francesca Pozzi, Alessandro Solimando and Armando Tacchella		Computational Thinking for Beginners: A Successful Experience using Prolog
Stefania Costantini		Multi-Agent-Contexts Systems for Reasoning and Acting in Heterogeneous Environments
Stefania Costantini, Giovanni De Gasperis and Giulio Nazzicone		Integration of DALI Agents and ASP Modules: a Case-Study
Stefania Costantini, Giovanni De Gasperis and Raffaele Olivieri		How Answer Set Programming Can Help In Digital Forensic Investigation
Stefano Bistarelli, Fabio Rossi, Francesco Santini and Carlo Taticchi		Towards Visualising Security with Arguments
Vadim Malvone, Aniello Murano and Loredana Sorrentino		Games with Additional Winning Strategies

Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.

L'evento è patrocinato dall'Università degli Studi di Genova.