default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID14th WLP 2000: Würzburg, Germany
- François Bry, Ulrich Geske, Dietmar Seipel:
14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. GMD Report 90, 2000 - François Bry, Ulrich Geske, Dietmar Seipel:
Preface. WLP 2000: 7
Invited Talks
- Slim Abdennadher, Thom W. Frühwirth:
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP 2000: 15 - David Pearce:
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17 - Harold Boley:
Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34 - Frank Puppe:
Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. WLP 2000: 35-41
Constraint Logic Programming
- Ulrich John:
Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. WLP 2000: 43-54 - Hans Schlenker:
Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. WLP 2000: 55-64 - Markus Hannebauer, Ines Münch:
Fransforming object-oriented domain models into declarative CLP expressions. WLP 2000: 65-76 - Hans-Joachim Goltz:
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. WLP 2000: 77-88 - Georg Ringwelski, Armin Wolf, Ulrich Geske:
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. WLP 2000: 89-100 - Annalisa Di Deo, Dmitri Boulanger:
Using Objects to Build Constraint Databases. WLP 2000: 101-113
Extensions of Logic Programming
- Clemens Beckstein, Manfred Rahneberg:
On the Complexity of Generalized Horn Clause Intuionistic Logic. WLP 2000: 115-124 - Thomas Eiter, Wolfgang Faber, Nicola Leone, Gerald Pfeifer, Axel Polleres:
Using the dlv System for Planning and Diagnostic Reasoning. WLP 2000: 125-134
Functional Logic Programming
- Frank Steiner, Michael Hanus:
Type-based Nondeterminism Checking in Functional Logic Programs. WLP 2000: 135-148 - Michael Hanus:
TkCurry: A Declarative Approach to GUI Programming. WLP 2000: 149-160
Logic and AI
- Steffen Hölldobler:
Challenge problems for the integration of logic and connectionist systems. WLP 2000: 161-170 - Pierre E. Bonzon:
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. WLP 2000: 171-181
Program Analysis and Debugging
- Marija Kulas:
Debugging Prolog Using Annotations. WLP 2000: 183-197 - Gabriella Kókai:
New Missing Solution Method for Trace Trees. WLP 2000: 199-209
System Demonstrations
- Norbert E. Fuchs:
Attempto Controlled English. WLP 2000: 211-218 - Michael Hanus:
PACS: The Portland Aachen Curry System. WLP 2000: 219-221 - Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
Implementing Default Reasoning Using Quantified Boolean Formulae. WLP 2000: 223-228 - Slim Abdennadher, Matthias Saft, Sebastian Will:
Constraintbasierte Raumplanung für Universitäten. WLP 2000: 229-230 - Gabriella Kókai:
CAPP: Statische Codeanalyse von PROLOG Programmen. WLP 2000: 231-240 - Stefan Kral, Frédéric Mesnard, Ulrich Neumerkel:
Slicing zur Fehlersuche in Logikprogrammen. WLP 2000: 241-243
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-10-31 20:02 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
