14. WLP 2000: Würzburg, Germany

• François Bry, Ulrich Geske, Dietmar Seipel: Preface. 7

Invited Talks

• Slim Abdennadher, Thom W. Frühwirth: Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. 15
• David Pearce: Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. 17
• Harold Boley: Beziehungen zwischen Logikprogrammierung und XML. 19-34
• Frank Puppe: Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. 35-41

Constraint Logic Programming

• Ulrich John: Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. 43-54
• Hans Schlenker: Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. 55-64
• Markus Hannebauer, Ines Münch: Fransforming object-oriented domain models into declarative CLP expressions. 65-76
• Hans-Joachim Goltz: Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. 77-88
• Georg Ringwelski, Armin Wolf, Ulrich Geske: Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. 89-100
• Annalisa Di Deo, Dmitri Boulanger: Using Objects to Build Constraint Databases. 101-113

Extensions of Logic Programming

• Clemens Beckstein, Manfred Rahneberg: On the Complexity of Generalized Horn Clause Intuionistic Logic. 115-124
• Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres: Using the dlv System for Planning and Diagnostic Reasoning. 125-134

Functional Logic Programming

• Frank Steiner, Michael Hanus: Type-based Nondeterminism Checking in Functional Logic Programs. 135-148
• Michael Hanus: TkCurry: A Declarative Approach to GUI Programming. 149-160

Logic and AI

• Steffen Hölldobler: Challenge problems for the integration of logic and connectionist systems. 161-170
• Pierre E. Bonzon: Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. 171-181

Program Analysis and Debugging

• Marija Kulas: Debugging Prolog Using Annotations. 183-197
• Gabriella Kókai: New Missing Solution Method for Trace Trees. 199-209

System Demonstrations

• Norbert E. Fuchs: Attempto Controlled English. 211-218
• Michael Hanus: PACS: The Portland Aachen Curry System. 219-221
• Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran: Implementing Default Reasoning Using Quantified Boolean Formulae. 223-228
• Slim Abdennadher, Matthias Saft, Sebastian Will: Constraintbasierte Raumplanung für Universitäten. 229-230
• Gabriella Kókai: CAPP: Statische Codeanalyse von PROLOG Programmen. 231-240
• Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel: Slicing zur Fehlersuche in Logikprogrammen. 241-243