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 BibTeX
Philippe Codognet: A Constraint - Based Language for Autonomous Agents in Virtual Worlds. 25-26 BibTeX
Markus Hannebauer: Collaborative Agents - A Fresh Look at Constraint Solving. 27-30 BibTeX

Tutorial

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

Regular Papers

Hans Schlenker, Frank Rehberger: Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint Representation. 63-70 BibTeX
Michael Hanus: Server Side Web Scripting in Curry. 71-84 BibTeX
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 BibTeX
Andreas Behrend: A Dynamic Approach to Deductive Query Evaluation. 99-112 BibTeX
Uwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran: Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIP. 113-122 BibTeX
Serge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel: cTI: Bottom-Up Termination Inference for Logic Programs. 123-134 BibTeX

Presentations

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