Program
15th Workshop on Logic Programming and Constraint Systems
WLP 2000
Berlin
August 25 - 27, 2000
Friday, Aug 25
11:00 Registration
13:45 Opening
14:00 - 16:00 Session 1: Constraint Logic Programming
14:00 - 15:00 Invited Talk
Francesca Rossi (Univ. Padova):
Soft Constraints15:30 - 16:00 Hans Schlenker, Frank Rehberger (GMD Berlin):
Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation
16:00 - 18:00 Session 2: Constraints and Agents
16:00 - 17:00 Invited Talk
Philippe Codognet (Univ. Paris):
A Constraint-Based Language for Autonomous Agents in Virtual Worlds17:30 - 18:00 Poster Presentation I
Pierre Bonzon (Univ. Lausanne):
From abstract to concrete agent runs: a logical machine for reflective concurrent planning
18:00 - 18:30 Common GLP and GI-FG1.1.1 Meeting
20:00 Dinner
Saturday, Aug 26
10:00 - 12:00 Session 3: Extensions of Logic Programming
10:00 - 11:00 Invited Talk
Markus Hannebauer (TU Berlin):
Collaborative Agents - A Fresh Look at Constraint Solving
11:00 - 11:30 Coffee Break
11:30 - 12:00 Poster Presentation II
Georg Ringwelski and Hans Schlenker (GMD-FIRST, Berlin):
Type Inference in CHR Programs for the Composition of Constraint Systems
12:00 - 14:00 Lunch
14:00 - 16:00 Session 4: Logics and the Web
14:00 - 15:00 Tutorial
François Bry (Univ. Munich):
Data Modeling with Markup Languages15:00 - 15:30 Michael Hanus (Christian-Albrechts-Universität Kiel):
Server Side Web Scripting in Curry
15:30 - 16:00 Coffee Break
16:00 - 17:00 Session 5: Foundations
16:00 - 16:30 Liviu-Virgil Ciortuz (DFKI, Saarbrücken):
Scaling up the abstract machine for Unification of OSF-terms to do head-corner parsing with large-scale typed unification grammars16:30 - 17:00 Andreas Behrend (Univ. Bonn):
A Dynamic Approach to Deductive Query Evaluation
17:00 - 18:00 Session 6: Program Analysis
17:00 - 17:30 Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, and Stefan Woltran (TU Vienna):
Experimental evaluation of the disjunctive logic programming module of the system QUIP17:30 - 18:00 S. Burckel, S. Hoarau, F. Mesnard (Univ. Réunion), U. Neumerkel (TU Vienna):
cTI: Bottom-Up Termination Inference for Logic Programs
19:30 Farwell Party
Sunday, Aug 27
10:00 - 12:00 Visit at GMD FIRST