14. WLP 2000: Würzburg, Germany

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

Invited Talks

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

Constraint Logic Programming

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

Extensions of Logic Programming

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

Functional Logic Programming

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

Logic and AI

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

Program Analysis and Debugging

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

System Demonstrations

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