Definitive Program of ICLP08    
  and affiliated workshops    
         
  Tuesday 9th December 2008    
         
8:30 – 9:00     Registration (Aula 4)
  Sala Convegni Sala Florio    
9:00 – 10:30 Tutorial 1 Tutorial 2    
  Tom Schrijvers: Constraint Handling Rules, a Tutorial for (Prolog) Programmers Angelo Montanari: Back to Interval Temporal Logics    
10:30 – 10:50 Coffee Break (aula 4) Coffee Break (Sala Colonne)    
10:50 – 12:20 Tutorial 3 Tutorial 4    
  Carla Piazza and Alberto Policriti: Systems Biology: Models and Logics Peter O'Hearn: Separation Logic Tutorial    
12:20 – 12:30 Walk to the castle Walk to the castle    
12:30 – 13:45 Welcome Lunch (castle) Welcome Lunch (castle)    
         
  Sala Parlamento (castle)      
13:45 – 14:00 ICLP Opening      
  20 Years of Stable Model Semantics      
14:00 – 14:15 Opening of 20 Y of SMS      
  Invited Session      
  Session Chair: M. Truszczynski      
14:15 – 15:00 Michael Gelfond: Authorization and Obligation Policies in Dynamic Systems      
15:00 – 15:45 Vladimir Lifschitz: Twelve Definitions of a Stable Model      
15:45 – 16:25 David Pearce: Sixty Years of Stable Models      
16:25 – 16:45 Coffee Break      
16:45 – 17:30 Nicola Leone: The DLV Project: a Tour from Theory and Research to Applications and Market      
  Position papers session      
  Session Chair: A. Formisano      
17:30 – 17:45 Ilkka Niemela: Answer Set Programming without Unstratified Negation      
17:45 – 18:00 Victor Marek: Quo Vadis Answer Set Programming?      
18:00 – 18:15 Chitta Baral: Using Answer Set Programming for Knowledge Representation and Reasoning: Future Directions      
18:15 – 18:30 Marc Denecker: Building a Knowledge Base System for an Integration of Logic Programming and Classical Logic      
18:30 – 18:45 Torsten Schaub: Here's the Beef: Answer Set Programming!      
18:45 – 19:00 Thomas Eiter: SMS and ASP: Hype or TST?      
19:00 – 19:10 Closing      
         
         
  Wednesday 10th December 2008    
         
  Sala Convegni      
8:30 – 9:30 Invited speaker 1      
  Session Chair: E. Pontelli      
  Pedro Domingos: Learning, Logic, and Probability: A Unified View      
  Session 1: Applications I   Sala degli Atti
  Session Chair: P. Torroni   Workshop WG17
9:30 – 9:55 Martin Gebser, Torsten Schaub, Sven Thiele, Bjoern Usadel and Philippe Veber: Detecting Inconsistencies in Large Influence Networks with Answer Set Programming   9:30 Introduction
9:55 – 10:20 Alessandra Mileo, Davide Merico and Roberto Bisiani: A Logic Programming Approach to Home Monitoring for Risk Prevention in Assisted Living     Approval of the Minutes of the Oporto meeting.
10:20 – 10:45 Georg Boenn, Martin Brain, Marina De Vos and John Fitch: Automatic Composition of Melodic and Harmonic Music by Answer Set Programming     Approval of the Agenda.
10:45 – 11:10 Coffee Break (Posters Group 1) Coffee Break (Posters Group 1) Coffee Break (Posters Group 1)
    Sala Florio    
  Session 2: Algorithms, Systems, Implementations I Doctoral consortium    
  Session Chair: M. Hermenegildo Session Chairs: D. Warren, T. Schrijvers    
11:10 – 11:35 Angelika Kimmig, Vitor Santos Costa, Ricardo Rocha, Bart Demoen and Luc De Raedt: On the efficient execution of Prolog programs Ole Torp Lassen: Biosequence Analysis in PRISM   Paulo Moura: Technical Report on DCGs: progress report
11:35 – 12:00 Terrance Swift and Rui Marques: Concurrent and Local Evaluation of Normal Programs Francesco Santini: Managing Quality of Service with Soft Constraints    
12:00 – 12:25 Martin Gebser, Roland Kaminski, Benjamin Kaufmann, Max Ostrowski, Torsten Schaub and Sven Thiele: Engineering an Incremental ASP Solver Jose Santos. TopLog: ILP using a logic program declarative bias    
         
12:25 – 14:00 Lunch Break Lunch Break Lunch Break
         
  Session 3: Semantics and Foundations I      
  Session Chair: T. Janhunen      
14:00 – 14:25 Victor Marek and Jeffrey Remmel: On the continuity of Gelfond-Lifschitz operator and other applications of proof-theory in ASP proof-theory in ASP Markus Triska. Generalising Constraint Solving over Finite Domains   Japanese Contribution on Globals.
14:25 – 14:50 Joseph Near, William Byrd and Daniel Friedman: AlphaleanTAP: A Declarative Theorem Prover for First-Order Classical Logic Fabio Parisini. Bi-dimensional domains for the Non-overlapping Rectangles Constraint    
14:50 – 15:15 Alexis Saurin: Towards Ludics Programming: Interactive Proof Search Giorgio Gosti. Resolving CSP with naming games   Roger Scowen and Paulo Moura: Corrigenda
15:15 – 15:40 Luciano Caroprese and Mirek Truszczynski: Declarative Semantics for Active Integrity Constraints Raffaele Cipriano. On the hybridization of constraint programming and local search techniques: models and software tools    
15:40 – 16:00 Coffee Break (Posters Group 2) Coffee Break (Posters Group 2) Coffee Break (Posters Group 2)
  Session 4: Analysis & Transformations      
  Session Chair: J. Gallagher      
16:00 - 16:25 Valerio Senni, Alberto Pettorossi and Maurizio Proietti.: A Folding Algorithm for Eliminating Existential Variables from Constraint Logic Programs Francois Degrave. Development of an automatic testing environment for Mercury   Other business
16:25 – 16:50 Eric Trias, Jorge Navas, Elena S. Ackley, Stephanie Forrest and Manuel Hermenegildo: Negative Ternary Set-Sharing Aliaksei Tsitovich. Detection of Security Vulnerabilities using Guided Model Checking    
16:50 – 17:15 Maria Alpuente, Santiago Escobar and Jose Iborra: Termination of Narrowing using Dependency Pairs Giovanni Pirrotta. Extracting and reasoning about web data   Resolutions
17:15 – 17:40 Christian Schulte and Peter Stuckey. Dynamic Analysis of Bounds versus Domain Propagation Romain Beauxis. Probabilistic and concurrent models for network and security    
         
  Sala degli Atti Sala degli Atti Sala degli Atti
18:00 – 19:45 Prolog Programming Contest Prolog Programming Contest Prolog Programming Contest
         
         
  Thursday 11th December 2008    
         
  Sala Convegni      
  Invited speaker 2      
  Session Chair: M.G. de la Banda      
8:30 – 9:30 Vitor Santos Costa: The Life of a Logic Programming System      
         
  Session 5: Semantics and Foundations II      
  Session Chair: T. Schaub      
9:30 – 9:55 Yuliya Lierler: Abstract Answer Set Solvers      
9:55 – 10:20 Guohua Liu and Jia-Huai You: Lparse Programs Revisited: Semantics and Representation of Aggregates      
10:20 – 10:45 Jeroen Janssen, Stijn Heymans, Dirk Vermeir and Martine De Cock: Compiling fuzzy answer set programs to fuzzy propositional theories      
10:45 – 11:10 Coffee Break (Posters Group 3) Coffee Break (Posters Group 3) Coffee Break (Posters Group 3)
  Session 6: Semantics and Foundations III   Sala Atti
  Session Chair: M. Truszczynski      
11:10 – 11:35 Pedro Cabalar: Partial Functions and Equality in Answer Set Programming   Tom Schrijvers and Bart Demoen: Uniting the Prolog Community
11:35 – 12:00 Francesco Calimeri, Susanna Cozza, Giovambattista Ianni and Nicola Leone: Computable Functions in ASP: Theory and Implementation      
12:00 – 12:25 Piero Bonatti and Sabrina Baselice: Composing normal programs with function symbols      
         
12:25 – 14:00 Lunch Break Lunch Break Lunch Break
         
  Sala Convegni Sala Florio Sala Colonne
  ICLP Short Papers Group 2 ICLP Short Papers Group 1 All posters
14:00 – 14:50 Session Chair: M. Carro Session Chair: A. Dal Palù    
  Tom Schrijvers, Vitor Santos Costa, Jan Wielemaker and Bart Demoen: Towards Typed Prolog Fabrizio Riguzzi: Inference with Logic Programs with Annotated Disjunctions under the Well Founded Semantics (poster)    
  Bart Demoen and Phuong-Lan Nguyen: Environment Reuse in the WAM Joohyung Lee, Vladimir Lifschitz and Ravi Palla: Safe Formulas in the General Theory of Stable Models    
  Paul Tarau: Logic Engines and Interactors Jorge A. Perez and Camilo Rueda: Non-determinism and Probabilities in Timed Concurrent Constraint Programming    
  Jorge Costa and Ricardo Rocha: Global Storing Mechanisms for Tabled Evaluation Jesus Aranda, Jorge A. Perez, Camilo Rueda and Frank Valencia: Stochastic Behavior and Explicit Discrete Time in Concurrent Constraint Programming    
  Paulo Moura, Ricardo Rocha and Sara C. Madeira: Thread-Based Competitive Or-Parallelism (Extended Abstract) Stephen Muggleton, Jose Santos and Alireza Tamaddoni-Nezhad: TopLog: ILP using a logic program declarative bias    
14:55 – 15:45 ICLP Short Papers Group 4 ICLP Short Papers Group 3    
  Session Chair: A. Pettorossi Session Chair: A. Formisano    
  Raffaele Cipriano, Agostino Dovier and Jacopo Mauro: Compiling and Executing Declarative Modeling Languages to Gecode Francesco Buccafurri, Gianluca Caminiti and Rosario Laurendi: A Logic Language with Stable Model Semantics for Social Reasoning    
  Michael Codish, Peter Stuckey and Vitaly Lagoon: Telecommunications Feature Subscription as a Partial Order Constraint Problem Owen Cliffe, Marina De Vos, Martin Brain and Julian Padget: ASPViz: Declarative Visualisation and Animation Using Answer Set Programming    
  Hakim Belhaouari and Frederic Peschanski: A Constraint Logic Programming Approach to Automated Testing Tomi Janhunen: Removing Redundancy from Answer Set Programs    
  Jon Sneyers: Turing-complete Subclasses of CHR Uwe Egly, Sarah Alice Gaggl and Stefan Woltran: ASPARTIX: Implementing Argumentation Frameworks Using Answer-Set Programming    
  Stefano Bistarelli, Fabio Gadducci, Javier Larrosa and Emma Rollon: A soft approach to multi-objective optimization Carlos Damasio, Anh Han The and Carroline D.P Kencana Ramli: An implementation of extended P-log using XASP.    
15:50 – 16:20 ICLP Short Papers Group 6 ICLP Short Papers Group 5    
  Session Chair: M. Codish Session Chair: A. King    
  Wim Vanhoof and Francois Degrave: An algorithm for sophisticated code matching in logic programs Giulio Piancastelli and Andrea Omicini: A Multi-Theory Logic Language for the World Wide Web    
  German Vidal: Trace Analysis for Predicting the Effectiveness of Partial Evaluation Sebastien Siva, James Lu and Hantao Zhang: A Case Study in Engineering SQL Constraint Database Systems (Extended Abstract)    
  Pablo Chico de Guzman, Manuel Carro and Manuel Hermenegildo: A Sketch of a Complete Scheme for Tabled Execution Based on Program Transformation Piero Bonatti, Juri Luca De Coi, Daniel Olmedilla and Luigi Sauro: Policy-Driven Negotiations and Explanations: Exploiting Logic-Programming for Trust Management, Privacy & Security    
         
16:40 – 24:00 Social Trip and dinner      
         
16:40 – 18:40 Visit of museo diocesano and Tiepolo's paintings      
19:15 – 19:30 Travel      
19:30 – 20:00 Visit of Villa Deciani      
19:45 – 20:00 Travel      
20:00 – 23:45 ICLP Banquet      
23:45 – 24:00 Back to Udine (bus will stop in the various hotels)      
         
         
  Friday 12th December 2008    
         
  Sala Convegni      
  ICLP Best papers presentation      
  Session Chairs: E. Pontelli, M. G. de la Banda, A. Dovier      
8:30 - 9:30 Michael Fink: Equivalences in Answer-Set Programming by Countermodels in the Logic of Here-and-There      
  Shay Cohen, Robert J. Simmons and Noah A. Smith: Dynamic Programming Algorithms as Products of Weighted Logic Programs Sala Florio Sala Atti
  Session 7: Applications II Workshop WLPE Workshop CICLOPS
  Session Chair: G. Rossi Invited Talk    
9:30 – 9:55 Marco Montali, Marco Alberti, Federico Chesani, Marco Gavanelli, Evelina Lamma, Paola Mello and Paolo Torroni: Verification from declarative specifications (9:30 – 10-45) 9:35 – 10:00 Atef Suleiman: Implementing Thread Cancellation in Multithreaded Prolog Systems
9:55 – 10:20 Gergely Lukacsy, Peter Szeredi and Balázs Kádár: Prolog based Description Logic reasoning Andy King: Relations, Constraints and Abstractions:Using the Tools of Logic Programming in the Security Industry 10:00 – 10:25 Paul Tarau: Interactors: Logic Engine Interoperation with Pure Prolog Semantics
10:20 – 10:45 Michela Milano, Luca Benini and Davide Bertozzi: Resource Management Policy Handling Multiple Use-Cases in MPSoC Platforms using Constraint Programming   10:25 – 10:50 Paulo Moura: Secure Implementation of Meta-predicates.
10:45 – 11:10 Coffee Break (Posters Group 4) Coffee Break (Posters Group 4) Coffee Break (Posters Group 4)
  Session 8: Semantics and Foundations IV      
  Session Chair: M. Gelfond      
11:10 – 11:35 David Pearce and Agustin Valverde: Quantified Equilibrium Logic and Foundations for Answer Set Programs Yoshihiro Adachi: Prolog Visualization System Using Logichart Diagrams 11:10 – 11:35 Jorge Costa and Ricardo Rocha: Tabling Logic Programs in a Common Global Trie
11:35 – 12:00 Joerg Puehrer, Hans Tompits and Stefan Woltran: Elimination of Disjunction and Negation in Answer-Set Programs under Hyperequivalence Jens Bendisposto, Ian Endrijautzki, Michael Leuschel and David Schneider: A Semantics-Aware Editing Environment for Prolog in Eclipse 11:35 – 12:00 Miguel Areias and Ricardo Rocha: Efficient Evaluation of Deterministic Tabled Calls
12:00 – 12:25 Mirek Truszczynski and Stefan Woltran: Relativized Hyperequivalence of Logic Programs for Modular Programming Miguel Gómez-Zamalloa, Elvira Albert and Germán Puebla: On the Generation of Test Data for Prolog by Partial Evaluation 12:00 – 12:25 Pablo Chico de Guzmán, Manuel Carro and Manuel Hermenegildo: A Program Transformation for Continuation Call-Based Tabled Execution
12:25 – 12:50 Johannes Oetsch and Hans Tompits: Program Correspondence under the Answer-Set Semantics: The Non-Ground Case Markus Triska, Ulrich Neumerkel and Jan Wielemaker: Better Termination for Prolog with Constraints 12:00 – 12:50 Terrance Swift, Rui Marques and Jose Cunha: Extending Tabled Logic Programming with Multi-Threading: A Systems Perspective
         
12:50 – 14:00 Lunch Break Lunch Break Lunch Break
         
  Session 9: CHR and Extensions Workshop WLPE Workshop ALPSWS
  Session Chair: B. Demoen   14:00 – 14:10 Opening
14:00 – 14:25 Peter Van Weert: Optimization of CHR Propagation Rules Victor Pablos Ceruelo, Susana Muñoz Hernández and Hannes Strass: Rfuzzy framework 14:10 – 14:35 Gisella Bennardo, Giovanni Grasso, Nicola Leone, and Francesco Ricca: Upgrading Databases to Ontologies
14:25 – 14:50 Paolo Pilozzi and Daniel De Schreye: Termination Analysis of CHR revisited Michael Leuschel, Salvador Tamarit and Germán Vidal: Improving Size-Change Analysis in Offline Partial Evaluation 14:35 – 15:00 Cristina Feier and Stijn Heymans: A Sound and Complete Algorithm for Simple Conceptual Logic Programs
14:50 – 15:15 Tom Schrijvers and Martin Sulzmann: Transactions in Constraint Handling Rules Francisco Javier López-Fraguas, Juan Rodríaguez-Hortalá and Jaime Sánchez-Hernández: A Lightweight Combination of Semantics for Non-deterministic Functions 15:00 – 15:25 Francesca Alessandra Lisi: Combining Logic Programming with Description Logics and Machine Learning for the Semantic Web
15:15 – 15:40 Gregory Duck, Leslie De Koninck and Peter Stuckey: Cadmium: An Implementation of ACD Term Rewriting Adrian Prantl, Jens Knoop, Markus Schordan and Markus Triska: Constraint solving for high-level WCET analysis 15:25 – 15.40 Olivier Bodenreider, Zeynep Coban, Mahir Doganay, Esra Erdem and Hilal Kosucu: A Preliminary Report on Answering Complex Queries related to Drug Discovery using Answer Set Programming
15:40 – 16:00 Coffee Break (Posters Group 5 & 6) Coffee Break (Posters Group 5 & 6) Coffee Break (Posters Group 5 & 6)
  Session 10: Algorithms, Systems, and Implementations II      
  Session Chair: V. Santos Costa      
16:00 – 16:25 Yuanlin Zhang, Roland Yap, Chendong Li and Satyanarayana Marisetti: Efficient Algorithms for Functional Constraints   16:00 – 16:25 Piero Bonatti and Luigi Sauro: A Semantic Stateless Service Description Language.
16:25 – 16:50 Bart Demoen and Phuong-Lan Nguyen: Two WAM Implementations of Action Rules   16:25 – 16:50 Balázs Kádár, Peter Szeredi and Gergely Lukácsy: Large scale reasoning on the Semantic Web
16:50 – 17:15 Radoslaw Szymanek and Christophe Lecoutre: Constraint-level Advice for Shaving   16:50 – 17:15 Reasoning on the Web with Open and Closed Predicates: Gerd Wagner, Adrian Giurca, Ion-Mircea Diaconescu, Grigoris Antoniou and Carlos Damasio
17:15 – 17:40 Amadeo Casas, Manuel Carro and Manuel Hermenegildo: A High-Level Implementation of Non-Deterministic, Unrestricted, Independent And-Parallelism   17:15 – 17:25 Closing
         
17:50 – 18:50 ALP Meeting      
         
         
  Saturday 13th December 2008    
         
  Sala Convegni   Sala Atti
     
  Workshop ASPOCP   Worskhop CICLOPS
9:00 – 9.05 Workshop Opening   9:00 – 9:25 Paul Tarau: Declarative Combinatorics in Prolog: ShapeShifting Data Objects with Isomorphisms and Hylomorphisms
9:05 – 9:25 Joost Vennekens, Marc Denecker: FO(ID) as an extension of DL with rules  
9:25 – 9:45 Simona Perri, Francesco Ricca, Saverio Vescio: Efficient Parallel ASP Instantiation via Dynamic Rewriting  
9:45 – 10:05 Stefania Costantini, Andrea Formisano: Modeling preferences on resource consumption and production in ASP   9:25 – 9:50 Jan Wielemaker and Ulrich Neumerkel: Precise Garbage Collection in Prolog
10:05 – 10.25 Philipp Kärger, Nuno Lopes, Axel Polleres, Daniel Olmedilla: Towards Logic Programs with Ordered and Unordered Disjunction   9:50 – 10:15 Paul Tarau: Pairing Functions, Boolean Evaluation and Binary Decision Diagrams in Prolog
10:25 - 10:45 Rachel Ben-Eliyahu-Zohary: Quantified Logic Programs, Revisited   10:15 – 10:45 The future of CICLOPS
10:45 – 11:10 Coffee Break   Coffee Break
11:10 – 11:30 Gelsomina Catalano, Nicola Leone, Simona Perri: On Demand Indexing for the DLV Instantiator   11:10 – 11:35 Geoffrey Chu, Christian Schulte and Peter Stuckey: Confidence based Work Stealing in Parallel Contraiate Programming
11:30 – 11:50 Claire Lefävre, Pascal Nicolas: Integrating Grounding in the Search Process for Answer Set Computing  
11:50 - 12:10 Uwe Egly, Sarah Gaggl, Stefan Woltran: Answer-Set Programming Encodings for Argumentations Frameworks   11:35 – 12:00 Beata Sarna-Starosta and Tom Schrijvers: An Efficient Term Representation for CHR Indexing
12:10 - 12:30 Joohyung Lee, Ravi Palla: Classical Logic Event Calculus as Answer Set Programming   12:00 – 12:25 Bart Demoen and Maria Garcia de la Banda: About Redundant Sudoku Rules
         
12:30 – 14:00 Lunch Break   Lunch Break  
         
         
         
    LEGEND    
    Sala Parlamento    
    Sala Convegni    
    Sala Atti    
    Sala Florio    
    Sala Colonne    
    Bar Caucigh