W(C)LP 2018 - 32nd Workshop on (Constraint) Logic Programming
14. September 2018
an der Hochschule für Wirtschaft, Technik und Kultur (HWTK), 10963 Berlin, Bernburger Str. 24/ 25
Post-Proceedings
Ulrich John, Petra Hofstedt, Armin Wolf (Hrsg.): Deklarative Ansätze zur Künstlichen Intelligenz - punktuelle Beiträge
Programm
Session 1
Chair: Ulrich John (Hochschule für Wirtschaft, Technik und Kultur)
10:00 - 11:30
- Opening
- Toward a concept of derivation for Prolog
Marija Kulas (FernUniversitaet in Hagen)
- PyPlC - Towards a Prolog Database Connectivity for Python
Stefan Bodenlos, Daniel Weidner and Dietmar Seipel (University of Würzburg)
- A New Benchmark Database and An Analysis of Transitive Closure Runtimes
Stefan Brass and Mario Wenzel (University of Halle)
Session 2
Chair: Petra Hofstedt (Brandenburgische Technische Universität Cottbus-Senftenberg)
12:00 - 13:00
- Detecting Highly Overlapping Parts in Constraint Satisfaction Problems For Speed-Up
Sven Löffler, Ke Liu and Petra Hofstedt (Brandenburgische Technische Universität Cottbus-Senftenberg)
- Logische Programmierung und Constraint Programmierung als Inhalte für BWL-Studiengänge - Motivation, Vorgehen und Erfahrungen
Ulrich John (Hochschule für Wirtschaft, Technik und Kultur)
Session 3
Chair: Ulrich Geske (Universität Potsdam)
14:30 - 15:30
- WaveSave: Planung und Steuerung von dezentralen Energiesystemen in Gebäuden (Projektvorstellung)
Armin Wolf (Fraunhofer FOKUS)
- Diskussionsrunde "Künstliche Intelligenz und Digitalisierung - sind wir auf dem richtigen Weg?"
GLP Mitgliederversammlung
16:00 - 17:00
Plauder-Runde
ab ca. 18:00
- Plaudern, Essen, Trinken und Planen
W(C)LP-Teilnehmer und W(C)LP/ MOC-Freunde
Teilnahme & Anmeldung
Die Teilnahme am Workshop ist kostenlos. Die Teilnehmerzahl ist begrenzt.
Anmeldung (bis zum 4.9.18) per Email an den Workshop-Chair (ulrich.john@hwtk.de).
Location
Organisation
- Petra Hofstedt, Brandenburgische Technische Universität Cottbus-Senftenberg, hofstedt@b-tu.de
- Ulrich John (Chair), Hochschule für Wirtschaft, Technik und Kultur (HWTK), Berlin, ulrich.john@hwtk.de
- Armin Wolf, Fraunhofer FOKUS, Berlin, armin.wolf@fokus.fraunhofer.de
Programmkomitee
- Slim Abdennadher, German University in Cairo
- Christoph Beierle, FernUniversität Hagen
- Stefan Brass, Universität Halle
- François Bry, Ludwig-Maximilians-Universität München
- Ulrich Geske, Universität Potsdam
- Michael Hanus, Universität Kiel
- Petra Hofstedt, Brandenburgische Technische Universität Cottbus-Senftenberg
- Ulrich John, Hochschule für Wirtschaft, Technik und Kultur, Berlin
- Sibylle Schwarz, HTWK Leipzig
- Dietmar Seipel, Universität Würzburg
- Hans Tompits, TU Wien
- Armin Wolf, Fraunhofer FOKUS, Berlin
Call for Papers
Impressum