17. WLP - Workshop Logische Programmierung
Aus International Center for Computational Logic
17. WLP - Workshop Logische Programmierung
Vortrag
- Beginn: 11. Dezember 2002 um 09:00
- Ende: 13. Dezember 2002 um 16:00
- Forschungsgruppe: Wissensverarbeitung
- iCal
Logische Programmierung ist eine besonders weitgehende Art, Probleme deklarativ zu spezifizieren. In der Form von Prolog geschieht das durch den Einsatz eines Fragments der Logik. Weitergehende Konzepte integrieren in dieses ursprünglich rein relationale Konzept auch Funktionen und Constraints. In den vergangenen Jahren hat dieses Paradigma eine hohe Attraktivität erworben, u.a. in den Bereichen Datenbanken und Verarbeitung von natürlicher Sprache und bei der Modellierung und Bearbeitung komplexer kombinatorischer Probleme. Die Logikprogrammierung ist somit ein aktives Gebiet geblieben, das sich zunehmend auch den schwierigen Thematiken der Integration in die übrige Softwarelandschaft, der Behandlung von Dynamik und des Umgangs mit Kommunikation stellt.
- Weitere Infos unter: http://www.computational-logic.org/iccl/events/WLP-2002/
