| ICLP06 | Twenty Second International Conference on Logic Programming Seattle, August 17 - 20, 2006 |
Program
Wednesday, August 16th
Wednesday's program is also available side by side with other meetings.
19:00‑21:00 CAV-ICLP-IJCAR Joint Reception
Location:
Grand Ballroom A/B
Thursday, August 17th
Thursday's program is also available with abstracts or side by side with other meetings.
08:45‑10:00 FLoC Second Opening and Plenary Session
Chair:
Moshe Vardi, Thomas Ball, Wolfram Schulte, Ken McMillan
Location:
Metropolitan A/B
| 08:45 | Introduction and Welcome |
| 09:00 | David Dill
(Stanford University) I Think I Voted: E-voting vs. Democracy [ppt] |
10:00‑10:30 Break
10:30‑12:30 Session 1: Theory
Chair:
Brigitte Pientka
Location:
Cirrus
| 10:30 | Martin Gebser
and Torsten Schaub
Tableau Calculi for Answer Set Programming |
| 11:00 | Luciano Caroprese, Sergio Greco, Cristina Sirangelo and Ester Zumpano Declarative Semantics of Production Rules for Integrity Maintenance |
| 11:30 | Remy Haemmerle
and Francois Fages Modules for Prolog Revisited |
| 12:00 | Diptikalyan Saha
and C.R. Ramakrishnan A Local Algorithm for Incremental Evaluation of Tabled Logic Programs |
12:30‑14:00 Lunch break
14:00‑16:00 Session 2: Functional and Constraint Logic Programming
Chair:
Maurizio Proietti
Location:
Cirrus
| 14:00 | Jon Sneyers
, Tom Schrijvers
and Bart Demoen
Memory reuse for CHR |
| 14:30 | Sergio Antoy
and Michael Hanus
Overlapping Rules and Logic Variables in Functional Logic Programs |
| 15:00 | Sebastian Brand and Roland H.C. Yap
Towards "Propagation = Logic + Control" |
| 15:30 | Gregory James Duck
, Sebastian Brand
and Peter Stuckey
ACD Term Rewriting |
16:00‑16:30 Break
16:30‑19:00 Prolog Contest
Location:
Cirrus
Friday, August 18th
Friday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Session 3: Invited Tutorial
Chair:
Andrei Voronkov
Location:
Cirrus
| 09:00 | Brigitte Pientka (McGill University) Overcoming performance barriers: efficient verification techniques for logical frameworks [pdf] |
10:00‑10:30 Break
10:30‑12:30 Session 4: Program Analysis
Chair:
Harald Sondergaard
Location:
Cirrus
| 10:30 | Andy King
, Lunjin Lu and Samir Genaim Detecting Determinacy in Prolog Programs |
| 11:00 | Xuan Li, Andy King
and Lunjin Lu Collapsing Closures |
| 11:30 | Elvira Albert
, Puri Arenas
, German Puebla
and Manuel Hermenegildo
Reduced Certificates for Abstraction-Carrying Code |
| 12:00 | Alberto Pettorossi
, Maurizio Proietti
and Valerio Senni Proving Properties of Constraint Logic Programs by Eliminating Existential Variables |
12:30‑14:00 Lunch break
14:00‑16:00 Session 5: Answer Set Programming
Chair:
I.V. Ramakrishnan
Location:
Cirrus
| 14:00 | Enrico Pontelli and Tran Son Justifications for Logic Programs under Answer Set Semantics |
| 14:30 | Katsumi Inoue
and Chiaki Sakama
Generality Relations in Answer Set Programming |
| 15:00 | Davy Van Nieuwenborgh
, Stijn Heymans and Dirk Vermeir
Cooperating Answer Set Programming |
| 15:30 | Johan Wittocx, Joost Vennekens
, Maarten Mariën
, Marc Denecker
and Maurice Bruynooghe
Predicate Introduction under Stable and Well-founded Semantics |
16:00‑16:30 Break
16:30‑17:30 Invited Talk
Chair:
Sandro Etalle
Location:
Cirrus
| 16:30 | Monica Lam
(Stanford University) Why Use Datalog to Analyze Programs? [ppt] |
19:00‑22:00 ICLP Banquet
Location:
Cirrus
Saturday, August 19th
Saturday's program is also available with abstracts or side by side with other meetings.
09:00‑09:30 Session 6: Special Interest
Chair:
Mirek Truszczynski
Location:
Grand Ballroom A
| 09:00 | Péter Szabó
and Péter Szeredi
Improving the ISO Prolog standard by analysing compliance test results |
09:30‑10:30 Invited Talk
Chair:
Mirek Truszczynski
Location:
Grand Ballroom A
| 09:30 | Christopher A. Welty (IBM Watson Research Center) Semantic Web: The story of the RIFt so far |
10:30‑11:00 Break
11:00‑12:30 Session 7: Applications I
Chair:
Enrico Pontelli
Location:
Grand Ballroom A
12:30‑14:00 Lunch break
14:00‑16:00 Session 8: Semantics
Chair:
Manuel Hermenegildo
Location:
Grand Ballroom A
| 14:00 | Maarten van Emden
Compositional Semantics for the Procedural Interpretation of Logic |
| 14:30 | Luke Simon, Ajay Mallya, Ajay Bansal and Gopal Gupta
Coinductive Logic Programming |
| 15:00 | Pedro Cabalar
, Sergei Odintsov, David Pearce and Agustin Valverde Analysing and Extending Well-Founded and Partial Stable Semantics using Partial Equilibrium Logic |
| 15:30 | James Cheney The Semantics of Nominal Logic Programs |
16:00‑16:30 Break
16:30‑17:30 Keynote Session
Chair:
Wolfram Schulte, Moshe Vardi
Location:
Grand Ballroom B/C
| 16:30 | David Harel
(Weizmann Institute) Playing with Verification, Planning and Aspects: Unusual Methods for Running Scenario-Based Programs [ppt] |
17:45‑19:00 ALP Business Meeting
Location:
Grand Ballroom A
Sunday, August 20th
Sunday's program is also available with abstracts or side by side with other meetings.
09:00‑10:00 Session 9: Applications II
Chair:
Veronica Dahl
Location:
Grand Ballroom A
| 09:00 | Chitta Baral, Saadat Anwar, Juraj Dzifcak and Hiro Takahashi Macros, macro calls and use of ensembles in modular Answer Set Programming |
| 09:30 | C.R. Ramakrishnan, IV Ramakrishnan
and David Warren
Deductive Spreadsheets using Tabled Logic Programming |
10:00‑10:30 Break
10:30‑11:00 Session 10: Applications II (cont'd)
Chair:
Veronica Dahl
Location:
Grand Ballroom A
| 10:30 | Luis Quintano
and Irene Rodrigues
Using a Logic Programming framework to Control Database Query Dialogues in Natural Language |
11:00‑12:30 Session 11: Poster Presentations
Chair:
Agostino Dovier
Location:
Grand Ballroom A
12:30‑14:00 Lunch break
14:00‑15:30 Poster Session
Location:
Aspen
15:30‑16:00 Break
Monday, August 21st
Monday's program is also available side by side with other meetings.
09:00‑10:30 ICLP Doctoral Student Consortium
Location:
Suite 2802
10:30‑11:00 Break
11:00‑12:30 ICLP Doctoral Student Consortium
Location:
Suite 2802
12:30‑14:00 Lunch break
14:00‑15:30 ICLP Doctoral Student Consortium
Location:
Suite 2802
15:30‑16:00 Break
16:00‑17:00 ICLP Doctoral Student Consortium
Location:
Suite 2802
