ICLP'99 TENTATIVE PROGRAM
New Mexico State University
Las Cruces, NM
Nov. 29 - Dec. 3

Abstracts of each paper can be found through the page containing the list of accepted papers

November 28th (Sunday)

8:30PM -- 10:30

Evening Reception: Lorenzo's Restaurant; located next to Comfort Suites/Sleep Inn

November 29th (Monday)

8:00 -- 9:00	Registration
9:00 -- 9:10	Opening
Invited Talk 1
9:10 -- 10:10	Fernando Pereira	Declarative Programming for a Messy World
Coffee Break
10:30 --	Workshop on Logic Programming Environments
Session 1: Knowledge Representation
10:30 -- 11:00	F. Buccafurri, W. Faber, N. Leone	Disjunctive Logic Programs with Inheritance
11:00 -- 11:30	K. Kaneiwa, S. Tojo	Event, Property and Hierarchy in Order-Sorted Logic
11:30 -- 12:00	A. Dekhtyar, M.I. Dekhtyar, V.S. Subrahmanian.	Temporal Probabilistic Logic Programs,
12:00 -- 12:30	G. Penn	An Optimized Prolog Encoding of Typed Feature Structures
Lunch Break
Session 2: Environments
14:00 -- 14:30	E. Jahier, M. Ducasse	A Generic Approach to Monitor Program Executions,
14:30 -- 15:00	S. Mallet, M. Ducasse	Generating Deductive Database Explanations,
Coffee Break
Session 3: Theory
15:30 -- 16:00	M. Truszczynski.	Computing Large and Small Stable Models
16:00 -- 16:30	S. Seres, M. Spivey, C.A.R. Hoare	Algebra of Logic Programming
16:30 -- 17:00	F. Orejas, E. Pino	Semantic Definitions for Normal Open Programs
17:00 -- 17:30	K. Hirata, K. Yamazaki	Declarative Priority

November 30th (Tuesday)

Invited Talk 2
9:00 -- 10:00	Bernhard Thalheim	Logics and Database Modeling
Coffee Break
10:30 --	Workshop on Multi-Agent Systems
Session 4: Constraints
10.30 -- 11:00	F. Benhamou, F. Goualard, L. Granvilliers, J.-F. Puget.	Revising Hull and Box Consistency
11:00 -- 11:30	Y. Caseau, F.-X. Josset, F. Laburthe	CLAIRE : Combining Sets, Search and Rules to Better Express Algorithms
11:30 -- 12:00	B. Demoen, M. Garcia de la Banda, W. Harvey, K. Marriott, P. Stuckey	Herbrand Constraint Solving in HAL
12:00 -- 12:30	C. Schulte	Comparing Trailing and Copying for Constraint Programming,
Lunch Break
Invited Talk 3
14:00 -- 14:40	Ken Bowen	Adventures in the Prolog Trade
Coffee Break
Session 5: Implementation
15:00 -- 15:30	G. Gupta, E. Pontelli	Stack-Splitting: a Simple Technique for Implementin Or-Parallelism and And-parallelism on Distributed Machines
15:30 -- 16:00	B. Cui, D. S. Warren	Mutable terms in a Tabled Logic Programming System
16:00 -- 16:30	M. Carro, M. Hermenegildo	Concurrency in Prolog Using Threads and a Shared Databases
17:00 -- 19:00	Prolog Programming Competition

December 1st (Wednesday)

9:00 --	Workshop on Parallelism and Implementation
Session 6: Termination Analysis
9:00 -- 9:30	J.-G. Smaus	Proving Termination of Input-Consuming Logic Programs
9:30 -- 10:00	D. Pedreschi, S. Ruggieri	Bounded Nondeterminism of Logic Programs
10:00 -- 10:30	S. Verbaeten	Termination Analysis for Abductive General Logic Programs
Coffee Break
11:00 --	Workshop on Verification in Logic Programming
Session 7: Higher Order Techniques
11:00 -- 11:30	A. Momigliano, F. Pfenning	The Relative Complement Problem For Higher-Order Patterns
11:30 -- 12:00	M. Bezem	Extensionality of Simply Typed Logic Programs,
12:00 -- 12:30	A. W. Appel, A. P. Felty	Lightweight Lemmas in Lambda Prolog,
Lunch Break
Session 8: Nonmonotonic Reasoning
14:30 -- 15:00	J. Alferes, L.M. Pereira, T. Swift	Well-Founded Abduction via Tabled Dual Programs
15:00 -- 15:30	S. Greco	Optimization of Disjunctive Queries
15:30 -- 16:00	U. Zukowski, B. Freitag	Well-Founded Semantics by Transformation: The Non-Ground Case
16:00 -- 16:30	Y. Zhang	Monotonicity in Rule Based Update,
Coffee Break
Invited Talk 4
17:00 -- 18:00	Vladimir Lifschitz	Answer Set Planning
19:00 --	CONFERENCE BANQUET	Banquet Speaker: Frank Harary

December 2nd (Thursday)

Tutorial 1
9:00 -- 10:00*	Peter Van Roy	Logic and Constraint Programming with Mozart.
Coffee Break
10:30 --	Workshop on Distributed and Internet Programming
10:30 --	Workshop on Implementation and Optimization of Declarative Languages
10:30 --12:30	Regular Posters and System Demonstrations
Lunch Break
Tutorial 2
14:00 -- 15:00	Manuel Hermenegildo	Program Analysis, Debugging, and Optimization with the CIAO System Preprocessor.
Coffee Break
Session 9: Analysis and Transformation
15:30 -- 16:00	A. Pettorossi, M. Proietti.	Transforming Inductive Definitions
16:00 -- 16:30	W. Vanhoof, M. Bruynooghe.	Binding-Time Analysis for Mercury
16:45 --	General Body Meeting of the Association for Logic Programming

December 3rd (Friday)

Tutorial 3
9:00 -- 10:00*	Ken Kahn	From Prolog and Zelda to ToonTalk
Coffee Break
10:30 --	Workshop on Implementation and Optimization of Declarative Languages (Cont'd)
10:30	Special Event: Open Poster Session
Session 10: Constraint Applications
10:30 -- 11:00	F. Focacci, A. Lodi, M. Milano	Solving TSP with Time Windows with Constraints
11:00 -- 11:30	E. Tick, M. J. Maher, R. H.C. Yap	Finding Fair Allocations for the Coalition Problem with Constraints
11:30 -- 12:00	M. Henz	Constraint-based Round Robin Tournament Planning
Lunch Break
Session 11: Extensions
13:30 -- 14:00	S. Etalle, F. van Raamsdonk.	Logic Programming with Requests
14:00 -- 14:30	A. Dovier, C. Piazza, E. Pontelli, G. Rossi.	ACI1 Constraints,
14:30 -- 15:00	M. Osorio, B. Jayaraman, J.C. Nieves	Declarative Pruning in a Functional Query Language
15:00	Closing
15:15	Departure to White Sands National Monument for Sightseeing

Modified on Aug. 30,1999
by Enrico