ICLP04 : Detailed program / Extended early registration deadline

ICLP04 (Preliminary) Programme

	For the details of the workshop sessions see the workshop pages.


Sunday 5/9

17:00 - 20:00	Registration

18:00 - 20:00	Reception


Monday 6/9

 8:30 -  9:30	Registration

 9:00 -  9:30	Opening

 9:30 - 10:30	Invited talk 
		Gérard Huet
		Non-determinism lessons

10:30 - 11:00	Coffee break

11:00 - 12:30	ANALYSIS session
	
	Abstract Domains Based on Regular Types
	John P. Gallagher and Kim S. Henriksen

	Termination of Logic Programs Using Various Dynamic Selection Rules
	Jan-Georg Smaus

	Improving Prolog Programs: Refactoring for Prolog
	Tom Schrijvers and Alexander Serebrenik

12:30 - 14:30	Lunch

14:30 - 16:30	3 sessions in parallel
		COLOPS workshop
		MultiCPL-WLPE workshop

		CONSTRAINT I session

	Smodels with CLP and its Applications: A  Simple and Effective Approach to Aggregates in ASP
	Islam Elkabani, Enrico Pontelli, Tran Cao Son

	The Refined Operational Semantics of Constraint Handling Rules
	Gregory J. Duck and Peter J. Stuckey and Mar\'{\i}a Garc\'{\i}a de la Banda and Christian Holzbaur

	Compiling Ask Constraints
	Gregory J. Duck and Mar\'{\i}a Garc\'{\i}a de la Banda and Peter J. Stuckey

	Constraint Handling Rules and Tabled Execution\label{bestpaperaward
	Tom Schrijvers and David S. Warren

16:30 - 17:00	Coffee break

17:00 - 19:30	Prolog Programming Contest


Tuesday 7/9

 9:00 - 10:30	Tutorial
		Ilkka Niemelä
		The Implementation of Answer Set Solvers

10:30 - 11:00	Coffee break

11:00 - 12:30	3 sessions in parallel
		Colops workshop
		MultiCPL-WLPE workshop

		ALTERNATIVE PARADIGMS I session

	Possible Worlds Semantics for Probabilistic Logic Programs
	Alex Dekhtyar and Michael I. Dekhtyar

	Limiting Resolution: from Foundations to Implementation
	Patrick Caldon and Eric Martin

	Generalised Kernel Sets for Inverse Entailment
	Oliver Ray and Krysia Broda and Alessandra Russo

12:30 - 14:30	Lunch

14:30 - 16:30	3 sessions in parallel
		Colops workshop
		MultiCPL-WLPE workshop

		IMPLEMENTATION session

	Fast Query Evaluation with (Lazy) Control Flow Compilation
	Remko Tron\c{c}on and Gerda Janssens and Henk Vandecasteele

	Speculative Computations in Or-Parallel Tabled Logic Programs
	Ricardo Rocha and Fernando Silva and V\'{i}tor Santos Costa

	$\alpha$Prolog: A Logic Programming Language with Names, Binding and $\alpha$-Equivalence
	James Cheney, Christian Urban

	Implementation Results in Classical Constructive Negation
	Susana Mu\~{n}oz-Hern\'{a}ndez and Juan Jos\'{e} Moreno-Navarro

16:30 - 17:00	Coffee break

17:00 - 18:30	Poster session (list at the end of this programme)

19:00 - 23:00	Banquet



Wednesday 8/9

 9:00 - 10:00	Invited talk
		Michael Gelfond
		Answer Set Programming and Design of Deliberative Agents

10:00 - 10:30	Coffee break

10:30 - 12:30	3 sessions in parallel
		CICLOP workshop
		PPSWR workshop

		ANSWER SET PROGRAMMING I session

	On Programs with Linearly Ordered Multiple Preferences
	Davy Van Nieuwenborgh and Stijn Heymans and Dirk Vermeir

	Splitting an Operator
	Joost Vennekens and David Gilis and Marc Denecker

	Simplifying Logic Programs under Answer Set Semantics
	David Pearce

	On Acyclic and Head-Cycle Free Nested Logic Programs
	Thomas Linke and Hans Tompits and Stefan Woltran

12:30 - 14:30	Lunch

14:30 - 16:30	3 sessions in parallel
		CICLOP workshop
		PPSWR workshop

		CONSTRAINTS II session

	On Hybridization of Local Search and Constraint Propagation
	Eric Monfroy, Fr\'{e}d\'{e}ric Saubion, and Tony Lambert

	Arc-Consistency + Unit Propagation = Lookahead
	Jia-Huai You and Guiwen Hou

	The period Constraint
	Nicolas Beldiceanu and Emmanuel Poder

	Non-Viability Deductions in Arc-Consistency Computation
	Camilo Rueda and  Frank D. Valencia

16:30 - 17:00	Coffee break

17:00 - 18:30	3 sessions in parallel
		CICLOP workshop
		PPSWR workshop
		TeachLP workshop

18:30 - 19:30	ALP General Assembly



Thursday 9/9


 9:00 - 10:00	Invited talk
		Nachum Dershowitz
		Termination by Abstraction
		
10:00 - 10:30	Coffee break

10:30 - 12:30	3 sessions in parallel
		TeachLP workshop
		PPSWR workshop

		ANSWER SET PROGRAMMING II session

	Compiling Prioritized Circumscription into Answer Set  Programming
	Toshiko Wakaki and Katsumi Inoue 

	Enhancing the Magic-Set Method for Disjunctive Datalog Programs
	Chiara Cumbo and Wolfgang Faber and Gianluigi Greco and Nicola Leone

	Rectilinear Steiner Tree Construction using Answer Set Programming
	Esra Erdem and Martin D. F. Wong

	Adding Domain Dependent Knowledge into Answer Set Programs for Planning
	Xiumei Jia and Jia-Huai You and Li Yan Yuan

12:30 - 14:30	Lunch

14:30 - 16:00	Tutorial
		Guillermo R. Simari
		Defeasible Logic Programming and Belief Revision
		
16:30 - 20:00	Trip to Mont Saint Michel



Friday 10/9

 9:00 - 10:30	Tutorial
		Andreas Podelski
		Tree Automata in Program Analysis and Verification

10:30 - 11:00	Coffee break

11:00 - 12:00	ALTERNATIVE PARADIGMS II session

	Multi-agent Coordination as Distributed Logic Programming
	David Robertson

	Logic Programs with Annotated Disjunctions
	Joost Vennekens and Sofie Verbaeten and Maurice Bruynooghe

12:00 - 12:30	Closing




%%%%%%%%%%%%%%%%%%%%
Poster Presentations 
%%%%%%%%%%%%%%%%%%%%

Poster Presentation: Abstract Interpretation-based Mobile Code Certification
Elvira Albert and Germ\'an Puebla  and Manuel Hermenegildo

Poster Presentation: Labeled Logic Programs
Steve Barker

Poster Presentation: Xcerpt and XChange -- Logic Programming  Languages for Querying and Evolution on the Web
Fran\c{c}ois Bry and Paula-Lavinia P{\u{a}}tr{\^{a}}njan and Sebastian Schaffert

Poster Presentation: Protein Folding Simulation in CCP
Alessandro Dal Pal\`u and Agostino Dovier and Federico Fogolari

Poster Presentation: Model and predict extra-functional properties of component-based models
Olivier Defour, Jean-Marc J\'{e}z\'{e}quel and No\"{e}l Plouzeau

Poster Presentation: Main Results of the OADymPPaC Project
Pierre Deransart

Poster Presentation: FDBG, the CLP(FD)  Debugger Library of SICStus Prolog
D\'{a}vid Han\'{a}k, Tam\'{a}s Szeredi, P\'{e}ter Szeredi

Poster Presentation: Development of Semantic Debuggers Based on Refinement Calculus
Rohit N. Kundaji and R. K. Shyamasundar

Poster Presentation: A tracer driver to enable debugging, monitoring and visualization of CLP executions from a single tracer
Ludovic Langevine and Mireille Ducass\'e

Poster Presentation: Grid Service Selection with PPDL
Massimo Marchi, Alessandra Mileo and Alessandro Provetti

Poster Presentation: Concurrent Constraint Programming and Tree--Based Acoustic Modelling
Moritz Neugebauer

Poster Presentation: MProlog: An Extension of Prolog for Modal Logic Programming
Linh Anh Nguyen

Poster Presentation : Probabilistic Choice Operators as Global Constraints : Application to Statistical Software Testing
Matthieu Petit and Arnaud Gotlieb

Poster Presentation: Constraint-based Synchronization and Verification of Distributed Java Programs
Rafael Ramirez and Juanjo Martinez

Poster Presentation: {\sc JmmSolve}: a generative Java Memory Model implemented in Prolog and CHR
Tom Schrijvers

Poster Presentation: Agent Oriented Logic Programming Constructs in Jinni 2004
Paul Tarau