Program

Click here for the outline plan for the all event.

Instructions to Authors

Authors giving presentations are requested to meet their session chair, in the conference auditorium, at least 10 minutes before the start of the session.

The conference auditorium is equipped with a video projector and a laptop. It is preferable that authors provide their talk in PDF format before their session (on a USB flash drive). In fact, authors can send their presentation, by email, to the organization (iclp07dcc.fc.up.pt) before coming to the conference. We will have it ready in the laptop.

Authors willing to provide a demo during their presentation can, of course, use their own laptop. However, it is recommended to experiment connecting the laptop to the video projector during some coffee break.

These guidelines also apply for the workshops rooms.

Posters:

There are two sessions for the posters. The first one, in the morning, is for the short presentations, 10 minutes for each poster, and the second one, after lunch, is to meet the authors and see their posters.

Posters will be displayed in the same auditorium were the conference is run. There are two large walls that can be used for that. The poster itself is all you need to bring: all materials, such us pins or tape, will be provided. The max size for posters is A0 and they should be displayed either before 9am or at the 10am coffee break on Wednesday, the 12th.

Saturday, September 8th (CS Department)

9:00-17:30 Co-located Workshops: ASP / CHR / CICLOPS

9:00-17:30 Doctoral Consortium

Doctoral Consortium Presentations

• Martin Gebser. Advanced Techniques for Answer Set Programming
• Jonty Needham and Marina De Vos. A Games Semantics of ASP
• Emilia Oikarinen. Modular Answer Set Programming
• Carlos Olarte, Catuscia Palamidessi and Frank Valencia. Universal Timed Concurrent Constraint Programming
• Peter Van Weert. Extension and Implementation of CHR

Sunday, September 9th (Meridien Hotel)

8:45-9:00 Welcome

9:00-10:00 Invited Tutorial: Thomas Eiter. Answer Set Programming for the Semantic Web

10:00- 10:30 Coffee break

10:30- 12:30 Session I - Answer Set Programming

• Sabrina Baselice, Piero Bonatti and Giovanni Criscuolo. On Finitely Recursive Programs
• Pedro Cabalar, David Pearce and Agustin Valverde. Minimal Logic Programs
• Martin Gebser and Torsten Schaub. Generic Tableaux for Answer Set Programming
• Matti Järvisalo and Emilia Oikarinen. Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs

12:30- 14:00 Welcome Reception at the Conference Hotel

14:00-16:00 Session II - Applications

• Sergio Greco and Cristian Molinaro. Querying and Repairing Inconsistent Databases under Three-Valued Semantics
• Gulay Unel and David Toman. Logic Programming Approach to Automata-Based Decision Procedures
• Paul Tarau and Brenda Luderman. A Logic Programming Framework for Combinational Circuit Synthesis
• David Vaz, Michel Ferreira and Ricardo Lopes. Spatial-Yap: A Logic-Based Geographic Information System

16:00- 16:30 Coffee break

16:30- 18:30 Prolog Contest

Monday, September 10th (Meridien Hotel)

9:00-17:00 CLIMA VIII Workshop

9:00-10:00 Invited Tutorial: Miroslaw Truszczynski. Logic Programming for Knowledge Representation

10:00- 10:30 Coffee break

10:30-12:30 Session III - Program Analysis

• Lee Naish. Resource-Oriented Deadlock Analysis
• Quan Phan and Gerda Janssens. Static Region Analysis for Mercury
• Pawel Pietrzak and Manuel Hermenegildo. Automatic Binding-Related Error Diagnosis in Logic Programs
• Jorge Navas, Edison Mera, Pedro Lopez-Garcia and Manuel Hermenegildo. User-Definable Resource Bounds Analysis for Logic Programs

12:30- 14:00 Lunch break

14:00-15:00 Invited Tutorial: Gopal Gupta. Coinductive Logic Programming and its Applications

15:00-16:00 Session IV - Semantics

• Moreno Falaschi, Carlos Olarte, Catuscia Palamidessi and Frank Valencia. Declarative Diagnosis of Temporal Concurrent Constraint Programs
• Lengning Liu, Enrico Pontelli, Tran Cao Son and Mirek Truszczynski. Programs with Abstract Constraint Atoms: The Role of Computations

16:00- 16:30 Coffee break

16:30- 17:30 ALP Business Meeting

17:30- 18:00 Transfer to River-Cruise

18:00- 19:00 River Cruise

19:30- 22:30 Banquet (includes a visit to Taylor's Port cellars). This year's speaker will be Peter Stuckey.

Tuesday, September 11th (Meridien Hotel)

9:00-17:00 CLIMA VIII Workshop

9:00-10:00 Invited Tutorial: Michael Hanus. Multi-Paradigm Declarative Languages

10:00- 10:30 Coffee break

10:30-12:30 Session V - Constraint Logic Programming

• Leslie De Koninck, Tom Schrijvers and Bart Demoen. The Correspondence Between the Logical Algorithms Language and CHR
• Gregory Duck, Peter Stuckey and Martin Sulzmann. Observable Confluence for Constraint Handling Rules
• Frank Raiser. Graph Transformation Systems in CHR
• Agostino Dovier, Andrea Formisano and Enrico Pontelli. Multivalued Action Languages with Constraints in CLP(FD)

12:30- 14:00 Lunch break

14:00-15:00 Invited Talk: Chitta Baral. Towards Overcoming the Knowledge Acquisition Bottleneck in Answer Set Prolog Applications: Embracing Natural Language Inputs

15:00-16:00 Session VI - Program Analysis and Special Interest Paper

Program Analysis

• Alberto Pettorossi, Maurizio Proietti and Valerio Senni. Automatic Correctness Proofs for Logic Program Transformations

Special Interest Paper

• Marcin Czenko and Sandro Etalle. Core TuLiP - Logic Programming for Trust Management

16:00- 16:30 Coffee break

16:30-17:30 Session VII - Implementation

• Vitor Santos Costa, Konstantinos Sagonas and Ricardo Lopes. Demand-Driven Indexing of Prolog Clauses
• Anderson Faustino da Silva and Vítor Santos Costa. Design, Implementation, and Evaluation of an Dynamic Compilation Framework for the YAP System

Wednesday, September 12th (Meridien Hotel)

9:00-10:00 Invited Talk: Gerhard Brewka. Preferences, Contexts and Answer Sets

10:00- 10:30 Coffee break

10:30-12:30 Poster Session

12:30- 14:00 Lunch break

14:00-16:00 Poster Session

Poster Presentations

• Rafael Caballero, Mario Rodrguez Artalejo and Rafael del Vado Vrseda. Declarative Debugging of Missing Answers in Constraint Functional-Logic Programming
• Andrea Cali and Thomas Lukasiewicz. Tightly Integrated Probabilistic Description Logic Programs for the Semantic Web
• Luciano Caroprese, Irina Trubitsyna and Ester Zumpano. View Updating Through Active Integrity Constraints
• Levente Hunyadi. Prosper: A Framework for Extending Prolog Applications with a Web Interface
• Paolo Mancarella, Giacomo Terreni, and Francesca Toni. Web Sites Verification: An Abductive Logic Programming Tool
• Alexei Morozov. Visual Logic Programming Method Based on Structural Analysis and Design Technique
• Linh Anh Nguyen. Approximating Horn Knowledge Bases in Regular Description Logics to Have PTIME Data Complexity
• Emilia Oikarinen and Tomi Janhunen. A Linear Transformation from Prioritized Circumscription to Disjunctive Logic Programming
• Girish Keshav Palshikar. Representation and Execution of a Graph Grammar in Prolog
• Ricardo Rocha, Cludio Silva and Ricardo Lopes. On Applying Program Transformation to Implement Suspension-Based Tabling in Prolog
• Jon Sneyers, Peter Van Weert, Tom Schrijvers and Bart Demoen. Aggregates in Constraint Handling Rules
• Davy Van Nieuwenborgh, Martine De Cock and Dirk Vermeir. Computing Fuzzy Answer Sets Using DLVHEX
• Margaret M. West. The Use of a Logic Programming Language in the Animation of Z Specifications
• Ka-Shu Wong. A Stronger Notion of Equivalence for Logic Programs
• Neng-Fa Zhou. A Register-Free Abstract Prolog Machine with Jumbo Instructions

Thursday, September 13th (CS Department)

9:00-17:30 Co-located Workshops: ALPSWS / ASP / WCB / WLPE