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 |
||
| 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 |
||
| 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 |
||
|
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 |
||
|
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 |
||
|
Elena Bellodi, Giuseppe Cota, Marco Gavanelli, Evelina Lamma, Fabrizio Riguzzi and Riccardo Zese |
||
|
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 |
||
|
Gian Luca Pozzato |
||
|
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 |
||
|
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 |
||
|
Mauro Ferrari, Camillo Fiorentini and Guido Fiorino |
||
|
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 |
||
|
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 |
||
|
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 |
||
|
Vadim Malvone, Aniello Murano and Loredana Sorrentino |
 |
 |
 |
 |
 |
 |
 |
 |
Si ringrazia inoltre la Scuola Politecnica dell'Università degli Studi di Genova.
L'evento è patrocinato dall'Università degli Studi di Genova.
