Options
Forschungszentrum Informationstechnik GmbH GMD
Now showing
1 - 10 of 11
-
-
-
PublicationTemporal planner = nonlinear planner + time map manager( 1993)
;Rutten, E.Hertzberg, J. -
PublicationBericht von der 1st International Conference on AI Planning Systems (AIP-92)( 1992)
;Beetz, M. ;Hertzberg, J. ;Köhler, J. ;Krätzschmar, G.Mädler, F. -
PublicationKonfigurieren von Dokumenten oder : Das Problem, aus vagen Vorstellungen schöne Schriftstücke zu erzeugen( 1990)
;Hertzberg, J.Kansy, K. -
PublicationBuchbesprechung : Kristian Hammond: Case based planning. Viewing planning as a memory task( 1990)
;Hertzberg, J.Horz, A. -
-
PublicationKünstliche Intelligenz: Entwicklung und Perspektiven( 1990)
;Hertzberg, J.Linster, M. -
-
PublicationSome fundamental properties of local constraint propagation( 1988)
;Güsgen, H.-W.Hertzberg, J.In this paper, we give results about termination of local constraint propagation algorithms under possibly infinite variable coverings. The locally consistent (arc consistent) solution of a constraint problem - if such a solution exists - is shown to be unique, and a sufficient condition on propagations is given to find that solution even in the presence of arbitrary infinite variable coverings.