puk2.gif (1946 Byte)
KI 2006 Bremen

PuK 2006

20. Workshop "Planen, Scheduling und Konfigurieren, Entwerfen"

Bremen, 14. Juni 2006

Home ] Call for Papers ] Program ] [ Accepted Papers ] Local Information ]


List of Accepted Papers

the complete proceedings (2,2 MB)


External Program Model Checking
Stefan Edelkamp, Shahid Jabbar,
Dino Midzic, Daniel Rikowski, and Damian Sulewski
University of Dortmund

Requirements-driven Software Development System (ReDSeeDS) – A Project Outline
Thorsten Krebs and Lothar Hotz
University of Hamburg

SemanticWeb Technology as a Basis for Planning and Scheduling Systems
Bernd Schattenberg, Steffen Balzer and Susanne Biundo
University of Ulm

The Potted Plant Packing Problem, Towards a practical solution
Rene Schumann and Jan Behrens
OFFIS Oldenburg