Dr. rer. nat. Armin Wolf (Dipl. Inform.)

Short Curriculum Vitae

I was born in Heidelberg. I grew up in its lovely surounding area called Baden. After my school times, finally at Carl-Bosch-Schule Heidelberg I moved to Karlsruhe where I studied computer science and mathematics at the University of Karlsruhe. I received my Diploma in computer science in 1991. Since 1992 I am living in Berlin. The first time I was working at the Technical University Berlin. Since 1994 I im working at Fraunhofer FIRST (formerly GMD FIRST). In the first time I was involved in several research projects concering constraint-based planning, configuration, scheduling and resource management.

In July 1999,I finished my doctoral disseration (summa cum laude) on "Adaptation of Constraint Handling Rule (CHR) Derivations in Dynamic Environments". This doctoral thesis was arwarded to be the "Beste Dissertation der GMD 1999".

A more detailed description of my current professional interests and topics is presented here (in german). A demonstrator for constraint-based planning is DOTPlan - The Online Participant Booking and Planning System.

Recent Publications

2007

Petra Hofstedt and Armin Wolf : Einführung in die Constraint-Programmierung (textbook, in german), series: eXamen.press, ISBN 3-540-23184-6, Springer-Verlag, März 2007.

2006

Masanobu Umeda, Armin Wolf, Oskar Bartenstein, Ulrich Geske, Dietmar Seipel and Osamu Takata (eds.): Declarative Programming for Knowledge Management - 16th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2005, Fukuoka, Japan, October 22-24, 2005. - Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 4369, Springer Verlag, Dezember 2006.
Armin Wolf: Object-Oriented Constraint Programming in Java Using the Library firstcs, 20th Workshop on Logic Programming, Vienna, Austria, February 22-24, 2006 in: Michael Fink, Hans Tompits and Stefan Woltran (eds.), Technische Universität Wien, INFSYS Research Report, Vol. 1843-06-02, 2006.
Andreas Schutt, Armin Wolf, and Gunnar Schrader: Not-First and Not-Last Detection for Cumulative Scheduling in O(n³ log n), Proceedings of the 16th International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2005, Waseda University, Fukuoka, Japan, October 2005. Revised version published in Lecture Notes in Artificial Intelligence, Vol. 4369, Springer Verlag, 2006.
Armin Wolf and Gunnar Schrader: O(n log n) Overload Checking for the Cumulative Constraint and Its Application, Proceedings ot the 16th International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2005, Waseda University, Fukuoka, Japan, October 2005. Revised version published in Lecture Notes in Artificial Intelligence, Vol. 4369, Springer Verlag, 2006.

2005

Armin Wolf: Better Propagation for Non-reemptive Single-Resource Constraint Problems, Recent Advances in Constraints, Joint ERCIM/CoLogNET International Workshop on Constraint Solving and Constraint Logic Programming, CSCLP 2004, Lausanne, Switzerland, June 23-25, 2004, Revised Selected and Invited Papers, Lecture Notes in Artificial Intelligence, Vol. 3419, Springer Verlag, 2005.
Armin Wolf and Hans Schlenker: Realizing the Alternative Resources Constraint, 15th International Conference on Applications of Declarative Programming and Knowledge Management, INAP 2004, and the 18th Workshop on Logic Programming, WLP 2004, Potsdam, Germany, March 4-6, 2004, Revised Selected Papers, Lecture Notes in Artificial Intelligence, Vol. 3392, Springer Verlag, 2005.
Armin Wolf , Matthias Hoche, and Henry Müller: Towards an Object-Oriented Modeling of Constraint Problems, Proceedings of the 19th Workshop on (Constraint) Logic Programming - W(C)LP'05}, Ulm, Germany, February 21-23, 2005.
Armin Wolf , Thom Frühwirth and Marc Meister (eds.), Proceedings of the 19th Workshop on (Constraint) Logic Programming - W(C)LP'05 , Ulmer Informatik-Berichte, No. 2005-01, Universität Ulm, Ulm, February 21-23, 2005.
Armin Wolf : Intelligent Search Strategies Based on Adaptive Constraint Handling Rules, Theory and Practice of Logic Programming, Vol. 5, No. 4-5, 2005.

2004

Armin Wolf : Reduce-To-The-Opt - A Specialized Search Algorithm for Contiguous Task Scheduling, "Recent Advances in Constraints, 2003" edited by K.R. Apt, F. Fages, F. Rossi, P. Szeredi and J. Vancza, Lecture Notes in Artificial Intelligence, No. 3010, Springer-Verlag, May 2004.
Armin Wolf and Hans Schlenker: Realizing the Alternative Resources Constraint Problem with Single Resource Constraints, 15th International Conference on Applications of Declarative Programming and Knowledge Management - INAP 2004, Potsdam, Brandenburg, Germany, 4th - 6th March, 2004.

2003

Armin Wolf : Pruning while Sweeping over Task Intervals, Proceedings of the 9th International Conference on Principles and Practice of Constraint Programming -- CP 2003, Lecture Notes in Computer Science, No. 2833, Kinsale, County Cork, Ireland, 30th September - 3rd October, 2003.
Matthias Hoche, Henry Müller, Hans Schlenker, Armin Wolf : firstcs - A Pure Java Constraint Programming Engine, 2nd International Workshop on Multiparadigm Constraint Programming Languages - MultiCPL'03, Kinsale, County Cork, Ireland, 29th September, 2003.
Armin Wolf : A Specialized Search Algorithm for Contiguous Task Scheduling Problems, Proceedings of the Joint Annual Workshop of the ERCIM Working Group on Constraints and the CoLogNET area on Constraint and Logic Programming, MTA SZTAKI, Budapest, Hungary, 30 June - 2 July, 2003.

2002

Armin Wolf : Conflict-directed Backjumping mit adaptiven CHR, 17. Workshop Logische Programmierung - WLP'02, Technische Universität Dresden, 11. - 13. Dezember, 2002, Technische Berichte der Fakultät Informatik, TUD-FI03-03, Technische Universität Dresden, April 2003.

2001

Armin Wolf : Adaptive Constraint Handling with CHR in Java. Proceedings of the 7th International Conference on Principles and Practice of Constraint Programming - CP 2001, Paphos, Cyprus, Nov./Dec. 2001. Lecture Notes in Computer Science No. 2239, Springer-Verlag.
Armin Wolf : Attributed Variables for Dynamic Constraint Solving, The Proceedings of the 14th International Conference on Applications of Prolog, INAP'01, University of Tokyo, Tokyo, Japan, 2001.

2000

Armin Wolf : Toward a Rule-Based Solution of Dynamic Constraint Hierarchies Over Finite Domains, First Workshop on Rule-Based Constraint Reasoning and Programming at the First International Conference on Computational Logic (CL2000), Imperial College, London, England, July 2000.
Armin Wolf ,Thomas Gruenhagen , Ulrich Geske: On Incremental Adaptation of CHR Derivations. In: Journal of Applied Artificial Intelligence. Special issue on Constraint Handling Rules. 2000.

Georg Ringwelski, Armin Wolf , Ulrich Geske: Ein Ansatz für low-level Finite-Domain-Constraints in Minerva. 14th Workshop on Logic Programming - WLP`99, Würzburg, Germany, 2000.

1999

Armin Wolf: Adaptive Constraintverarbeitung mit Constraint-Handling-Rules - Ein allgemeiner Ansatz zur Lösung dynamischer Constraint-Probleme. Sankt Augustin: Infix, 1999. Also: Berlin, Technical University, Dissertation., 1999, ISBN 3-89601-219-3.
Armin Wolf: Projection in Adaptive Constraint Solving Based on CHRs. ERCIM/COMPULOG Workshop on Constraints, Paphos, Cyprus, 1999. <
Armin Wolf: A Rule-based Approach to Dynamic Constraint Satisfaction Problems. In: The Proceedings of the 12th International Conference on Applications of Prolog, INAP`99, Tokyo, Japan, 1999.

1998

Armin Wolf: Solving Hierarchies of Finite-Domain Constraints. In: Journal on Experimental and Theoretical Artificial Intelligence, Volume 10, 1998, pp. 131-143.
Armin Wolf: Adaptive Solving of Equations over Rational Trees. In: Proceedings of the Fourth International Conference on Principles and Practice on Constraint Programming, CP`98, Poster Session, Pisa, Italy, 1998.
Armin Wolf: ConTeS: A Terminological and Constraint-Based Approach to Solve Configuration Problems. In: Proceedings of the 11th International Conference on Applications of Prolog, INAP`98, Tokyo, Japan, 1998.
Armin Wolf, Thomas Gruenhagen, Ulrich Geske: On Incremental Adaptation of Constraint Handling Rule Derivations after Constraint Deletions. ERCIM/COMPULOG Workshop on Constraints, Amsterdam, The Netherlands, 1998.
Armin Wolf: Adaptive Entailment of Equations over Rational Trees. 13th Workshop on Logic Programming, WLP`98, Vienna, Austria, 1998.

1997

Armin Wolf: Adaptiv-inkrementelle Constraint Verarbeitung mit Constraint Handling Rules in dynamischen Umgebungen. In: Arbeitspapiere der GMD, Nr. 1052, GMD - Forschungszentrum Informationstechnik GmbH, Sankt Augustin, März 1997.
Armin Wolf: Adaptiv-inkrementelle Unifikation. , 12th Workshop on Logic Programming, WLP`97 , Munich, Germany, 1997. Abstract [ASCII] , complete text [gzipped Postscript]

Armin Wolf: Incremental Adaptation of Constraint Handling Rule Derivations. CP97 Workshop on The Theory and Practice of Dynamic Constraint Satisfaction, Linz, Austria, 1997. [postscript]

1996

Armin Wolf: Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. In: Over-Constrained Systems, LNCS, No. 1106, 1996.
Armin WolfArmin Wolf: Flexiblere Planung mit Constrainthierarchien. In: Planen und Konfigurieren 96 - PuK-96, Proceedings in Artificial Intelligence, No. 3, 1996.
Armin Wolf: Transforming and Simplifying Some Algebraic Constraint Hierarchies. In: Proceedings of the ECAI96 Workshop on Non-Standard Constraint Processing, Budapest, 1996.

1995

Armin Wolf: Transforming Ordered Constraint Hierarchies into Ordinary Constraint Systems. In: Proceedings of the Workshop on Over-Constrained Systems, First International Conference on Principles and Practice of Constraint Programming, Cassis, France, 1995.
Armin Wolf: Integration of Ordered Constraint Hierarchies Based on a Non-Trivial Error Function in CLP(FD). In: Proceedings of the 11.~Workshop Logische Programmierung, GMD-Studien No. 270, 1995.