Table of Contents

• Preface7
• Definition von angepaßten Constraint-Solvern mit Constraint-Handling-RulesSlim Abdennadher, Thom W. Frühwirth. 15
• Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic ReasoningDavid Pearce. 17
• Beziehungen zwischen Logikprogrammierung und XMLHarold Boley. 19-34
• A Constraint - Based Language for Autonomous Agents in Virtual WorldsPhilippe Codognet. 25-26
• Collaborative Agents - A Fresh Look at Constraint SolvingMarkus Hannebauer. 27-30
• Data Modeling with Markup LanguagesFrançois Bry. 33-60
• Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der DiagnostikFrank Puppe. 35-41
• Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer ProgrammierungUlrich John. 43-54
• Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-ProblemeHans Schlenker. 55-64
• Towards a More General Distributed Constraint Satisfaction Framework: Intensional vs. Extensional Constraint RepresentationHans Schlenker, Frank Rehberger. 63-70
• Fransforming object-oriented domain models into declarative CLP expressionsMarkus Hannebauer, Ines Münch. 65-76
• Server Side Web Scripting in CurryMichael Hanus. 71-84
• Über Methoden des constrainbasierten Lösens von Problemen der StundenplanungHans-Joachim Goltz. 77-88
• Scaling up the Abstract Machine for Unification of OSF-Terms to do Head-Corner Parsing with Large-Scale Typed Unification GrammarsLiviu-Virgil Ciortuz. 85-98
• Implementierung von built-in Constraints für endliche Wertebereiche in MinervaGeorg Ringwelski, Armin Wolf, Ulrich Geske. 89-100
• A Dynamic Approach to Deductive Query EvaluationAndreas Behrend. 99-112
• Using Objects to Build Constraint DatabasesAnnalisa Di Deo, Dmitri Boulanger. 101-113
• Experimental Evaluation of the Disjunctive Logic Programming Module of the System QUIPUwe Egly, Thomas Eiter, Volker Klotz, Hans Tompits, Stefan Woltran. 113-122
• On the Complexity of Generalized Horn Clause Intuionistic LogicClemens Beckstein, Manfred Rahneberg. 115-124
• cTI: Bottom-Up Termination Inference for Logic ProgramsSerge Burckel, Sébastien Hoarau, Frédéric Mesnard, Ulrich Neumerkel. 123-134
• Using the dlv System for Planning and Diagnostic ReasoningThomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres. 125-134
• Type-based Nondeterminism Checking in Functional Logic ProgramsFrank Steiner, Michael Hanus. 135-148
• Type Inference in CHR Programs for the Composition of Constraint SystemsGeorg Ringwelski, Hans Schlenker. 137-146
• Deliberation Through ReflectionPierre E. Bonzon. 147
• TkCurry: A Declarative Approach to GUI ProgrammingMichael Hanus. 149-160
• Challenge problems for the integration of logic and connectionist systemsSteffen Hölldobler. 161-170
• Debugging Prolog Using AnnotationsMarija Kulas. 183-197
• New Missing Solution Method for Trace TreesGabriella Kókai. 199-209
• Attempto Controlled EnglishNorbert E. Fuchs. 211-218
• PACS: The Portland Aachen Curry SystemMichael Hanus. 219-221
• Implementing Default Reasoning Using Quantified Boolean FormulaeUwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran. 223-228
• Constraintbasierte Raumplanung für UniversitätenSlim Abdennadher, Matthias Saft, Sebastian Will. 229-230
• CAPP: Statische Codeanalyse von PROLOG ProgrammenGabriella Kókai. 231-240
• Slicing zur Fehlersuche in LogikprogrammenStefan Kral, Frédéric Mesnard, Ulrich Neumerkel. 241-243