Login / Signup
PuK
1993
1996
2000
2003
1993
2003
Keyphrases
Publications
2003
Sally Evans
,
Ian Fletcher
A Variation on a Memetic Algorithm for Boiler Scheduling.
PuK
(2003)
Yacine Zemali
,
Patrick Fabiani
Search Space Splitting in order to Compute Admissible Heuristics in Planning.
PuK
(2003)
Roman Englert
Re-scheduling with Temporal and Operational Resources for the Mobile Execution of Dynamic UMTS Applications.
PuK
(2003)
Thorsten Krebs
,
Lothar Hotz
,
K. Christoph Ranze
,
Guido Vehring
Towards Evolving Configuration Models.
PuK
(2003)
Katharina Wolter
Orientierung und Navigation im Arbeitsprozess der Produktauswahl von komplexen Produkten.
PuK
(2003)
Stefan Edelkamp
,
Shahid Jabbar
,
Thomas Willhalm
Accelerating Heuristic Search in Spatial Domains.
PuK
(2003)
Menno Heeren
Projektvorhaben: Swarm Intelligence als Strategie zur Lösung reaktiver Planungsprobleme in Wertschöpfungsketten.
PuK
(2003)
Theo Dirk Meijler
,
Silvie Schoenmaker
,
Egbert de Ruijter
Modeling in an Architectural Variability Description Language.
PuK
(2003)
Christian Kühn
Konfigurierung eingebetteter Systeme mit Wissen über die Struktur und das Zustandsverhalten der Konfigurationsobjekte.
PuK
(2003)
Proceedings Workshop Planen und Konfigurieren (PuK-2003), Jahrestagung Künstliche Intelligenz 2003 (KI-2003) Hamburg, 15.-18. September 2003
PuK
(2003)
Laura Sebastia
,
Eva Onaindia
,
Eliseo Marzal
On the Decomposition and Concurrent Resolution of a Planning Problem.
PuK
(2003)
Jürgen Sauer
,
Hans-Jürgen Appelrath
Scheduling the Supply Chain by Teams of Agents.
PuK
(2003)
2002
Jörg Hoffmann
Local Search Topology in Planning Benchmarks: A Theoretical Analysis.
PuK
(2002)
Thorsten Krebs
,
Lothar Hotz
,
Andreas Günter
Knowledge-based Configuration for Configuring Combined Hardware/Software Systems .
PuK
(2002)
Stefan Edelkamp
Taming Numbers and Durations in the Model Checking Integrated Planning System.
PuK
(2002)
Malte Helmert
Decidability and Undecidability Results for Planning with Numerical State Variables.
PuK
(2002)
Jürgen Sauer
Integrating Transportation in a Multi-Site Scheduling Environment.
PuK
(2002)
Andreas Schulz
,
Mario Sack
,
Justus Hortig
Scheduling zur Automatisierung variabler Laborabläufe.
PuK
(2002)
Benno Stein
Design Problem Solving by Functional Abstraction.
PuK
(2002)
Karl-Heinz Krempels
Lösen von Scheduling-Konflikten durch Verhandlungen zwischen Agenten.
PuK
(2002)
Maren Bennewitz
,
Wolfram Burgard
,
Sebastian Thrun
Finding and Optimizing Solvable Priority Schemes for Decoupled Path Planning Techniques for Teams of Mobile Robots.
PuK
(2002)
Proceedings Workshop Planen und Konfigurieren (PuK-2002), Freiburg, 10./ 11.10.2002
PuK
(2002)
Wolfram Conen
Economically Coordinated Job Shop Scheduling and Decision Point Bidding - An Example for Economic Coordination in Manufacturing and Logistics.
PuK
(2002)
2001
Miguel A. Salido
,
Adriana Giret
,
Federico Barber
Realizing a Global Hyperpolyhedron Constraint via LP Techniques.
PuK
(2001)
Alexander Osherenko
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control.
PuK
(2001)
Christian Kühn
Vergleich unterschiedlicher Konfigurationsmethoden im Hinblick auf die Nutzbarkeit von Wissens über das Zustandsverhalten der Konfigurationsobjekte.
PuK
(2001)
Florian Kandler
Scheduling in a Virtual Enterprise in the Service Sector.
PuK
(2001)
Oliver Hoffmann
,
Markus Stumptner
,
Talik Chalabi
A perspective based approach to design.
PuK
(2001)
Proceedings of the KI-2001 Workshop AI in Planning, Scheduling, Configuration and Design / 15. Workshop Planen, Scheduling und Konfigurieren, Entwerfen, PuK 2001, Wien, 18.9.2001
PuK
(2001)
Roman Englert
,
Armin B. Cremers
Configuration of Applications for the 3rd Generation Mobile Communication .
PuK
(2001)
Alexander Nareyek
Local Search Heuristsics for Generative Planning.
PuK
(2001)
Liliana Ardissono
,
Alexander Felfernig
,
Gerhard Friedrich
,
Anna Goy
,
Dietmar Jannach
,
Ralph Schäfer
,
Markus Zanker
Web-based Commerce of Complex Products and Services with Multiple Suppliers.
PuK
(2001)
Austin Tate
I-X and : an architecture and related ontology for mixed-initiative synthesis tasks.
PuK
(2001)
2000
Jörg Hoffmann
A Heuristic for Domain Independent Planning and its Use in an Enforced Hill-climbing Algorithm.
PuK
(2000)
Antonio Garrido Tejero
,
Miguel A. Salido
,
Federico Barber
Scheduling in a Planning Environment.
PuK
(2000)
Carmel Domshlak
,
Ronen I. Brafman
Strucutre and Complexitiy in Planning with Unary Operators.
PuK
(2000)
Ron M. Simpson
,
Thomas Leo McCluskey
,
Donghong Liu
OCL-Graph: Exploiting Object Structure in a Plan Graph Algorithm.
PuK
(2000)
Jana Koehler
,
Jörg Hoffmann
On the Instantiation of ADL Operators Involving Arbitrary First-Order Formulas.
PuK
(2000)
Jun Miura
,
Yoshiaki Shirai
Knowledge-Based Control of Decision Theoretic Planning - Adaptive Planning Model Selection.
PuK
(2000)
Shlomo Zilberstein
,
Abdel-Illah Mouaddib
,
Andrew Arnt
Dynamic Scheduling of Progressive Processing Plans.
PuK
(2000)
Jürgen Sauer
,
Tammo Freese
,
Thorsten Teschke
Towards agent-based multi-site scheduling.
PuK
(2000)
Harald Meyer auf'm Hofe
Benefits and Problems of using cycle-cutset within interative improvement algorithms.
PuK
(2000)
Antonio Garrido Tejero
,
Miguel A. Salido
,
Federico Barber
,
Montserrat Abril López
Heuristic Methods for Solving Job-Shop Scheduling Problems.
PuK
(2000)
Proceedings of the 14th Workshop "New Results in Planning, Scheduling and Design" (PuK2000), Berlin, 21-22 August 2000
PuK
(2000)
Ingo Kreuz
Considering the Dynamic in Knowledge Based Configuration.
PuK
(2000)
Emmanuel Guere
,
Rachid Alami
An Accessibility graph learning approach for task planning in large domains.
PuK
(2000)
Stefan Edelkamp
Heuristic Search Planning with BDDs.
PuK
(2000)
Luis A. Castillo
,
Juan Fernández-Olivares
,
Antonio González Muñoz
A hybrid hierarchical operator-based planning approach for the design of control programs.
PuK
(2000)
Eva Onaindia
,
Laura Sebastia
,
Eliseo Marzal
4SP: A four stage incremental planning approach.
PuK
(2000)
Christian Kühn
Modeling Strucutre and Behaviour for Knowledge Based Software Configuration.
PuK
(2000)