Vom 28. bis 30. September findet in Wien, Österreich der 25. Workshop zur logischen Programmierung statt.
Die deklarative Programmierung ist ein fortschrittliches Paradigma für die Modellierung und Lösung komplexer Probleme. Diese Spezifikationsmethode hat im Laufe der letzten zehn Jahre an Interesse gewonnen, wie beispielsweise in den Bereichen von Datenbanken und Sprachverarbeitung, für die Modellierung und Verarbeitung kombinatorischer Probleme sowie für die Erstellung von Internetsystemen.
Die Veranstaltung wird ein Forum für intensive Diskussionen über Anwendungen wichtiger Technologien auf dem Gebiet der logischen Programmierung, Constraint-Problem-Lösung und eng damit verbundenen Computerparadigmen bieten. Sie wird sich mit den Auswirkungen programmierbarer Logiksysteme in der Internetgesellschaft, den zugrundeliegenden Technologien und führenden Anwendungen in Industrie, Handel, Behörden und gesellschaftlichen Dienstleistungen befassen. Hauptthemen sind unter anderem:
- Wissensmanagement, z.B. Data-Mining, Entscheidungshilfe, deduktive Datenbanken
- Verteilte Systeme und das Web, z.B. Agenten und simultane Entwicklung, semantisches Web
- Constraints, z.B. Constraint-Systeme, Erweiterungen der logischen Constraint-Programmierung
- Theoretische Grundlagen, z.B. deduktive Datenbanken, nicht monotone Logik, Wissensdarstellung
- Systeme und Werkzeuge für die akademische und industrielle Nutzung
- Wissensbasierte Weg-Services - Logiksysteme und -anwendungen
