15. WLP 2000: Berlin, Germany

Slim Abdennadher, Ulrich Geske, Dietmar Seipel (Hrsg.): WLP 2000, 15th Workshop on Logic Programming and Constraint Systems, Collocated ECAI 2000 Workshop, Berlin, August 25-27, 2000. GMD Report 110, August 2000

Invited Talks

Francesca Rossi: Soft Constraints. 15-24
Philippe Codognet: A Constraint - Based Language for Autonomous Agents in Virtual Worlds. 25-26
Markus Hannebauer: Collaborative Agents - A Fresh Look at Constraint Solving. 27-30

Tutorial

François Bry: Data Modeling with Markup Languages. 33-60

Regular Papers

Hans Schlenker, Frank Rehberger: Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. 63-70
Michael Hanus: Server Side Web Scripting in Curry. 71-84
Liviu-Virgil Ciortuz: Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification Grammars. 85-98
Andreas Behrend: A Dynamic Approach to Deductive Query Evaluation. 99-112
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran: Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. 113-122
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel: cTI: Bottom-Up Termination Inference for Logic Programs. 123-134

Presentations

Georg Ringwelski, Hans Schlenker: Type Inference in CHR Programs for the Composition of Constraint Systems. 137-146
Pierre E. Bonzon: Deliberation Through Reflection. 147-