Vai alla versione in italiano

 

 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.

 

 

 

 

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 AdorniStefania 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+/-

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/.

 

 

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.