The conference will take place at the "University Club", on the first floor of cubo 23c (entrance from the square near the bar Conca D'Oro and the bank Monte Paschi), except for the events marked with *, which will be held at the Department of Mathematics, cubo 30b.

Table 1. CILC 2010 Program

OraWednesday 7/7/2010Thursday 8/7/2010Friday 9/7/2010
9:00 - 10:00Registration  
10:00 - 10:10OpeningInvited Talk 1Invited Talk 2
10:10 - 11:00Book Presentation
11:00 - 11:30Coffee BreakCoffee BreakCoffee Break
11:30 - 13:30Technical Session 1Technical Session 3Technical Session 4
13:30 - 15:00Lunch BreakLunch BreakLunch Break
15:00 - 16:00TutorialGULP members' assemblyTechnical Session 5
16:00 - 16:30Coffee BreakExcursion and Social DinnerCoffee Break
16:30 - 17:45Technical Session 2Technical Session 6
17:45 - 18:00Closing
18:00 - 19:00GULP Executive MeetingRoom for Meetings
19:00 - 20:00Room for Meetings

Wednesday 7/7/2010

9:00 - 10:00: Registration

10:00 - 10:10: Opening

10:10 - 11:00: Book Presentation

Presentation of the book A 25-Year Perspective on Logic Programming

Agostino Dovier, Enrico Pontelli

11:00 - 11:30: Coffee Break

11:30 - 13:30: Technical Session 1 (chair: Fabrizio Riguzzi)

11:30 - 12:00: "CLP-based Protein Fragment Assembly" Alessandro Dal Palů, Agostino Dovier, Federico Fogolari, Enrico Pontelli

12:00 - 12:30: "Runtime Addition of Integrity Constraints in SCIFF" Marco Alberti, Marco Gavanelli, Evelina Lamma

12:30 - 13:00: "Autonomous Agents Coordination: Action Description Languages Meet CLP(FD) and Linda" Agostino Dovier, Andrea Formisano, Enrico Pontelli

13:00 - 13:30: "Constraints among Commitments: Regulative Specification of Interaction Protocols" Matteo Baldoni, Cristina Baroglio, Elisa Marengo

13:30 - 15:00: Lunch Break

15:00 - 16:00: Tutorial

The Role of Logics and Logic Programming in Semantic Web Standards (OWL2, RIF, SPARQL1.1)

Axel Polleres

Slides (PDF)

In this tutorial, we will give an overview of the new W3C standards OWL2 and RIF and their interplay with the query language SPARQL, particularly the new version of SPARQL, SPARQL 1.1 currently being worked on in W3C.

As we will see, fragments of these standards can be reduced to fragments of Logic Programming, and practical systems consuming these Web languages can be developed on top of engines such as DLV.

16:00 - 16:30: Coffee Break

16:30 - 18:00: Technical Session 2 (chair: Stefano Bistarelli)

16:30 - 17:00: "A Transformation Strategy for Verifying Logic Programs on Infinite Lists" Alberto Pettorossi, Maurizio Proietti, Valerio Senni (revised version)

17:00 - 17:30: "Generalization Strategies for the Verification of Infinite State Systems" Fabio Fioravanti, Alberto Pettorossi, Maurizio Proietti, Valerio Senni (revised version)

17:30 - 18:00: "Trattamento del Linguaggio Naturale Tramite Prolog: un Approccio Promettente per Generare Istituzioni Virtuali da Testi Scritti" Michele Bozzano, Angela Locoro, Maurizio Martelli, Viviana Mascardi

18:00 - 19:00: GULP Executive Meeting

18:00 - 20:00: Room for Meetings

Thursday 8/7/2010

10:00 - 11:00: Invited Talk 1

Why even old AI-folks get very excited about Answer Set Programming

Gerhard Friedrich

Slides (PDF)

Twenty years ago, when my project group first tried to use Datalog to solve configuration tasks for a large international company, it failed even for the simplest of cases because of excessive runtime. Other approaches like description logic were not even able to express the problem.

However, times have changed dramatically and the success of Answer Set Programming (ASP) has been underlined by many prominent success stories. So the question is not if ASP will be successful in solving practical problems but rather whether it can become the major knowledge representation language.

In order to answer this question I will investigate three classical problem domains of Artificial Intelligence: (1) diagnosis-from-first principles and repair which has recently been applied to self-healing processes and web services, (2) configuration, and (3) recommender systems.

I will show that ASP allows these problems to be represented very simply and that ASP provides reasoning services which closely fit the original problem specifications. However, there is still work for the ASP community. Based on long-standing experience in developing real-world knowledge-based systems I will pinpoint open issues which deserve further investigation in order to expand the applicability of ASP.

Concluding, ASP reasoning systems provide the knowledge representation and processing environments that many AI-folks have waited a long time for.

11:00 - 11:30: Coffee Break

11:30 - 13:30: Technical Session 3 (chair: Alessandro Dal Palů)

11:30 - 12:00: "Reasoning About Typicality in Preferential Description Logics: Preferential vs Rational Entailment" Laura Giordano, Valentina Gliozzi, Nicola Olivetti, Gian Luca Pozzato

12:00 - 12:30: "A Constructive Conditional Logic for Access Control" Valerio Genovese, Laura Giordano, Valentina Gliozzi, Gian Luca Pozzato

12:30 - 13:00: "Dual Tableau-based Decision Procedures for Some Relational Logics" Domenico Cantone, Marianna Nicolosi Asmundo, Ewa Orłowska

13:00 - 13:30: "A Decision Procedure for a Two-sorted Extension of Multi-Level Syllogistic with the Cartesian Product and Some Map Constructs" Domenico Cantone, Cristiano Longo, Marianna Nicolosi Asmundo

13:30 - 15:00: Lunch Break

15:00 - 16:00: GULP members' assembly

16:00 - : Excursion and Social Dinner

The excursion will take us to the highland area Sila, including a visit to the Sila National Park and the conference dinner at the restaurant La Tavernetta.

Detailed itinerary.

Friday 9/7/2010

10:00 - 11:00: Invited Talk 2

Nonmonotonic Tools for Argumentation

Gerhard Brewka

Slides (PDF)

In argumentation, the question whether a (pro)position p is accepted or not is decided by constructing and possibly weighing arguments pro and con p. The arguments are generated from a – possibly inconsistent and/or defeasible – knowledge base. Several nonmonotonic tools have been developed which abstract away from the specific content of the arguments and focus on particular services, for instance for conflict solving among arguments.

The most popular example of such a tool are Dung’s argumentation frameworks (AFs) which define a "calculus of opposition" and are probably the simplest nonmonotonic systems available. Given a set of arguments with an attack relation among them, AFs come with different semantics, where a semantics specifies which subsets of the arguments are acceptable. The different semantics represent different intuitions how to select arguments, as well as different degrees of skepticism.

In the talk I will present abstract dialectical frameworks (ADFs), a powerful generalization of AFs where nodes in the argument graph, rather than having an implicit acceptance condition, come with an explicit boolean function specifying when the node is to be accepted based on the status of its parents. This allows us to represent support in addition to attack, and to express flexible ways of taking pro and con arguments into account.

We illustrate the usefulness of ADFs by reconstructing Carneades argument evaluation structures (CAES). Carneades, developed by Gordon, Prakken and Walton, is an influential and widely cited argumentation system, motivated by the needs of legal argumentation. It covers relevant aspects such as burden of proof, proof standards and the like. We show how CAES can be reconstructed as ADFs. This not only demonstrates the generality of ADFs. It also allows us to lift a restriction of CAES to acyclic sets of arguments and provides the generalized systems with the standard semantics developed by Dung.

11:00 - 11:30: Coffee Break

11:30 - 13:30: Technical Session 4 (chair: Marco Maratea)

11:30 - 12:00: "Optimized Encodings for Consistent Query Answering via ASP from Different Perspectives" Marco Manna, Francesco Ricca, Giorgio Terracina

12:00 - 12:30: "Towards Translating Natural Language Sentences into ASP" Stefania Costantini, Alessio Paolucci

12:30 - 13:00: "Parallel Instantiation in DLV" Simona Perri, Francesco Ricca, Marco Sirianni

13:00 - 13:30: "Reasoning about Actions with Temporal Answer Sets" Laura Giordano, Alberto Martelli, Daniele Theseider Dupré

13:30 - 15:00: Lunch Break

15:00 - 16:00: Technical Session 5 (chair: Andrea Formisano)

15:00 - 15:30: "An Extended Semantics for Logic Programs with Annotated Disjunctions and its Efficient Implementation" Fabrizio Riguzzi, Terrance Swift

15:30 - 16:00: "Probabilistic Logic-Based Process Mining" Elena Bellodi, Fabrizio Riguzzi, Evelina Lamma

16:00 - 16:30: Coffee Break

16:30 - 17:45: Technical Session 6 (chair: Marco Gavanelli)

16:30 - 17:00: "Solving Weighted Argumentation Frameworks with Soft Constraints" Stefano Bistarelli, Daniele Pirolandi, Francesco Santini

17:00 - 17:15: "Evoluzioni di Ontologie in Frame Logic" Francesco Mele, Antonio Sorgente, Giuseppe Vettigli

17:15 - 17:30: "A Visual Interface for Drawing ASP Programs" Onofrio Febbraro, Kristian Reale, Francesco Ricca

17:30 - 17:45: "Team-building with Answer Set Programming in the Gioia-Tauro Seaport" Giovanni Grasso, Salvatore Iiritano, Vincenzino Lio, Francesco Ricca, Francesco Scalise

17:45 - 18:00: Closing

18:00 - 20:00: Room for Meetings