Tutorial: "The SATisfiability problem and its impact" Agostino Dovier (Room B, June 19, 14:30-16:00) (slides)

 

Analysis and Verification of Programs (Room B, June 19, 16:30-18:00)

• "Model Completeness, Covers and Superposition (Abridged Version)", Diego Calvanese, Silvio Ghilardi, Alessandro Gianola, Marco Montali and Andrey Rivkin (slides)
• "Proving Properties of Sorting Programs: A Case Study in Horn Clause Verification", Emanuele De Angelis, Fabio Fioravanti, Alberto Pettorossi and Maurizio Proietti (slides)
• "A Process Algebra for (Delimited) Persistent Stochastic Non-Interference", Andrea Marin, Carla Piazza and Sabina Rossi (slides)

 

Tutorial: "Multiagent Epistemic Planning" Enrico Pontelli (Room B, June 20, 9:00-10:30)

 

Knowledge Representation and Reasoning Languages (Room B, June 20, 11:00-13:00)

• "Augmenting Knowledge Representation and Reasoning Languages with Customizable Metalogic Features", Stefania Costantini and Andrea Formisano (slides)
• "An ontology to improve the first aid service quality", Lorenzo De Lauretis and Stefania Costantini (slides)
• "Towards a Forensic Event Ontology to Assist Video Surveillance-based Vandalism Detection", Faranak Sobhani and Umberto Straccia (slides)
• "Event Detection from Video Using Answer Set Programing", Abdullah Khan, Luciano Serafini, Loris Bozzato and Beatrice Lazzerini (slides)
• "An Ontology for Legacy Data on Ancient Ceramics of the Plain of Catania", Roldolfo Brancato, Marianna Nicolosi-Asmundo, Grazia Pagano, Daniele Francesco Santamaria and Salvatore Ucchino (slides)
• "Strengthening the Rational Closure for Description Logics: an overview", Laura Giordano and Valentina Gliozzi (slides)

Computational Logics and Formal Methods in AI (Room C, June 20, 11:00-13:00)

• "Extending ALC with the power-set construct", Laura Giordano and Alberto Policriti (slides)
• "Logics in Machine Learning and Data Mining: Achievements and Open Issues", Francesca Alessandra Lisi (slides)
• "Simple and Effective Sign Consistency Using Interval Arithmetic", Federico Bergenti and Stefania Monica (slides)
• "Does every recursively enumerable set admit a finite-fold Diophantine representation?", Domenico Cantone, Alberto Casagrande, Francesco Fabris and Eugenio Omodeo (slides)
• "Polynomial-time satisfiability tests for Boolean fragments of set theory", Domenico Cantone, Andrea De Domenico, Pietro Maugeri and Eugenio Omodeo

Ambassador Talk (Room B, June 20, 14:00-14:20)

"DigForASP: A European Cooperation Network for Logic-based AI in Digital Forensics", Stefania Costantini, Francesca Alessandra Lisi and Raffaele Olivieri (slides)

Tools and Applications (Room B, June 20, 14:20-16:00)

• "PEAR: a Tool for Reasoning About Scenarios and Probabilities in Description Logics of Typicality", Gian Luca Pozzato and Gabriele Soriano (slides)
• "GOCCIOLA: Generating New Knowledge by Combining Concepts in Description Logics of Typicality", Antonio Lieto, Federico Perrone and Gian Luca Pozzato (slides)
• "Empowering ASPQ to Win in QBFEval 2018", Bernardo Cuteri, Carmine Dodaro and Francesco Ricca
• "Towards the Generation of the "Perfect" Log Using Abductive Logic Programming", Federico Chesani, Chiara Di Francescomarino, Chiara Ghidini, Daniela Loreti, Fabrizio Maria Maggi, Paola Mello, Marco Montali, Vasyl Skydanienko and Sergio Tessaris (slides)
• "A Tool For Ranking Arguments Through Voting-Games Power Indexes (Short Paper)", Stefano Bistarelli, Francesco Faloci, Francesco Santini and Carlo Taticchi (slides)
• "KRaider: a Crawler for Linked Data", Giuseppe Cota, Fabrizio Riguzzi, Riccardo Zese and Evelina Lamma (slides)

Multi-Agent Systems (Room B, June 20, 16:30-18:00)

• "Accountable Protocols in Abductive Logic Programming", Marco Gavanelli, Marco Alberti and Evelina Lamma (slides)
• "Reasoning about Memory Management in Resource-Bounded Agents", Stefania Costantini and Valentina Pitoni (slides)
• "Timed Trace Expressions", Luca Ciccone, Angelo Ferrando, Davide Ancona and Viviana Mascardi (slides)
• "Accountability, Responsibility and Robustness in Agent Organizations", Matteo Baldoni, Cristina Baroglio and Roberto Micalizio (slides)
• "Non-well-founded set based multi-agent epistemic action language", Francesco Fabiano, Idriss Riouak, Agostino Dovier and Enrico Pontelli (slides)

Databases (Room C, June 20, 16:30-18:00)

• "FO queries strongly distributing over components in arbitrary cardinality", Francesco Di Cosmo (slides)
• "An Infrastructure for Multi-shot Reasoning with Incremental Grounding", Giovambattista Ianni, Francesco Pacenza and Jessica Zangari (slides)
• "An ASP-based Approach for Optimizing DLV Evaluation", Carlo Allocca, Francesco Calimeri, Roberta Costabile, Alessio Fiorentino, Nicola Leone, Marco Manna, Simona Perri and Jessica Zangari
• "Large Scale DLV: preliminary results", Nicola Leone, Carlo Allocca, Mario Alviano, Francesco Calimeri, Cristina Civili, Roberta Costabile, Bernardo Cuteri, Alessio Fiorentino, Davide Fuscà, Stefano Germano, Giovanni Laboccetta, Marco Manna, Simona Perri, Kristian Reale, Francesco Ricca, Pierfrancesco Veltri and Jessica Zangari
• "The Blame Game for Property-based Testing (work in progress)", Alberto Momigliano and Mario Ornaghi (slides)

 

Tutorial: "Model Checking: the Interval Way" Angelo Montanari (Room B, June 21, 9:00-10:30) (slides)

 

Answer Sets (Room B, June 21, 11:00-13:00)

• "Epistemic Answer Set Programming: a new perspective", Ezgi Iraz Su (slides)
• "Computing Modular Paracoherent Answer Sets: Preliminary Result", Bernardo Cuteri, Carmine Dodaro and Francesco Ricca
• "Debugging of answer set programs using paracoherent reasoning", Bernardo Cuteri, Carmine Dodaro and Francesco Ricca
• "Learning Answer Set Programming Rules For Ethical Machines", Abeer Dyoub, Stefania Costantini and Francesca Lisi (slides)
• "Towards distributed computation of answer sets", Marco De Bortoli, Federico Igne, Pietro Totis, Agostino Dovier and Enrico Pontelli (slides)
• "Evolution of Algorithm Portfolio for Solving Strategies", Alice Tarzariol (slides)