default search action

combined dblp search
author search
venue search
publication search

ask others

14th WLP 2000: Würzburg, Germany

> Home > Conferences and Workshops > WLP

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  - electronic edition @ gmd.de
  - details & citations
- export record
  dblp key:
  - conf/wlp/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/2000
François Bry, Ulrich Geske, Dietmar Seipel:
14. Workshop Logische Programmierung, Würzburg, Deutschland, 26.-28. Januar 2000. GMD Report 90, 2000
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/BryGS00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BryGS00
François Bry, Ulrich Geske, Dietmar Seipel:
Preface. WLP 2000: 7

Invited Talks

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/AbdennadherF00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/AbdennadherF00
Slim Abdennadher, Thom W. Frühwirth:
Definition von angepaßten Constraint-Solvern mit Constraint-Handling-Rules. WLP 2000: 15
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Pearce00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Pearce00
David Pearce:
Equilibrium Logic: An Extension of Answer Set Programming for Nonmonotonic Reasoning. WLP 2000: 17
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Boley00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Boley00
Harold Boley:
Beziehungen zwischen Logikprogrammierung und XML. WLP 2000: 19-34
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Puppe00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Puppe00
Frank Puppe:
Übersicht über heuristische, fallbasierte und modellbasierte Problemlösungsmethoden in der Diagnostik. WLP 2000: 35-41

Constraint Logic Programming

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/John00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/John00
Ulrich John:
Rekonfiguration komplexer industrieller Produkte mittels constraint-logischer Programmierung. WLP 2000: 43-54
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Schlenker00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Schlenker00
Hans Schlenker:
Reduce-To-The-Max: ein schneller Algorithmus für Multi-Ressourcen-Probleme. WLP 2000: 55-64
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/HannebauerM00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/HannebauerM00
Markus Hannebauer, Ines Münch:
Fransforming object-oriented domain models into declarative CLP expressions. WLP 2000: 65-76
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Goltz00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Goltz00
Hans-Joachim Goltz:
Über Methoden des constrainbasierten Lösens von Problemen der Stundenplanung. WLP 2000: 77-88
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/RingwelskiWG00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/RingwelskiWG00
Georg Ringwelski, Armin Wolf, Ulrich Geske:
Implementierung von built-in Constraints für endliche Wertebereiche in Minerva. WLP 2000: 89-100
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/DeoB00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/DeoB00
Annalisa Di Deo, Dmitri Boulanger:
Using Objects to Build Constraint Databases. WLP 2000: 101-113

Extensions of Logic Programming

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/BecksteinR00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/BecksteinR00
Clemens Beckstein, Manfred Rahneberg:
On the Complexity of Generalized Horn Clause Intuionistic Logic. WLP 2000: 115-124
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/EiterFLPP00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EiterFLPP00
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

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/SteinerH00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/SteinerH00
Frank Steiner, Michael Hanus:
Type-based Nondeterminism Checking in Functional Logic Programs. WLP 2000: 135-148
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Hanus00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Hanus00
Michael Hanus:
TkCurry: A Declarative Approach to GUI Programming. WLP 2000: 149-160

Logic and AI

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Holldobler00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Holldobler00
Steffen Hölldobler:
Challenge problems for the integration of logic and connectionist systems. WLP 2000: 161-170
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Bonzon00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Bonzon00
Pierre E. Bonzon:
Deliberate Agent Reconcile Reactive and Goal-Oriented Agents. WLP 2000: 171-181

Program Analysis and Debugging

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Kulas00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Kulas00
Marija Kulas:
Debugging Prolog Using Annotations. WLP 2000: 183-197
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Kokai00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Kokai00
Gabriella Kókai:
New Missing Solution Method for Trace Trees. WLP 2000: 199-209

System Demonstrations

- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Fuchs00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Fuchs00
Norbert E. Fuchs:
Attempto Controlled English. WLP 2000: 211-218
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Hanus00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Hanus00a
Michael Hanus:
PACS: The Portland Aachen Curry System. WLP 2000: 219-221
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/EglyETW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/EglyETW00
Uwe Egly, Thomas Eiter, Hans Tompits, Stefan Woltran:
Implementing Default Reasoning Using Quantified Boolean Formulae. WLP 2000: 223-228
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/AbdennadherSW00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/AbdennadherSW00
Slim Abdennadher, Matthias Saft, Sebastian Will:
Constraintbasierte Raumplanung für Universitäten. WLP 2000: 229-230
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/Kokai00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/Kokai00a
Gabriella Kókai:
CAPP: Statische Codeanalyse von PROLOG Programmen. WLP 2000: 231-240
- no documents available
  - details & citations
- export record
  dblp key:
  - conf/wlp/KralMN00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wlp/KralMN00
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.