Kooperation und Koordination von Constraint
Lösern
Das Paradigma des Constraint-Programming bietet
effiziente Mechanismen zur Behandlung von Constraints verschiedener
Constraint Domains. Die Lösung komplexerer Probleme, die mit
einzelnen Constraint-Lösern nicht ausreichend behandelbar sind,
wird durch die Kombination mehrerer Constraint-Löser
ermöglicht. Aufbauend auf einem einheitlichen Interface für
Constraint-Löser wurde ein allgemeines Framework für die
Kooperation verschiedener Löser entwickelt. Das System erlaubt die
Integration neuer Löser und die Definition von
Kooperationsstrategien für die beteiligten Löser in
Abhängigkeit verschiedenster Einflüsse.
|
Multiparadigm Programming Languages
Im Bereich der
Multiparadigmen-Programmierung arbeiten wir an
- der Integration von Constraints in
beliebige deklarative Sprachen (Multiparadigm Constraint
Programming),
- einer formalen Beschreibung eines allgemeinen
Integrationsmechanismus und
- prototypischen Implementierungen von
Multiparadigmen-Sprachen, wie z.B. der funktional-logischen Sprache
Brooks, die die Integration von verschiedenen Narrowing-Strategien
erlaubt und der constraint-imperativen Sprache Turtle, die die beiden
genannten
Paradigmen vereinigt und weiterhin typische Konstrukte funktionaler
Sprachen, wie Funktionen höherer Ordnung, polymorphe Module und
algebraische Datentypen aufweist.
|
Taskparallele
Skelette
für funktionale Sprachen (beendet 1998)
Algorithmische
Skelette
sind polymorphe Funktionen höherer
Ordnung, die allgemeine Parallelisierungsmuster repräsentieren und
parallel implementiert sind. Skelette können zur Integration
paralleler Anwendungen in sequentielle Sprachen genutzt werden. Auf
diese Weise werden die Ausdrucksstärke und Flexibilität der
sequentiellen Basissprache mit der Effizienz paralleler Algorithmen
für spezielle Anwendungfälle kombiniert.
In Abhängigkeit der ausgenutzten Parallelität unterscheidet
man datenparallele und taskparallele Skelette.
|
|
Books
[HW07]
Hofstedt, P., Wolf, A.,
Einführung in die Constraint-Programmierung.
ISBN 3-540-23184-6. Springer-Verlag. Erscheint 2007.
[PH06]
Pepper, P., Hofstedt, P.,
Funktionale Programmierung: Sprachdesign und Programmiertechnik.
ISBN 3-540-20959-X. Springer-Verlag. 2006.
PhD
Thesis
[Hof01c] (PDF)
Hofstedt, P.: Cooperation and Coordination of Constraint
Solvers. Dissertation. Shaker Verlag. Aachen 2001.
Edition of Workshop Proceedings
[MGH04] (PDF)
Muñoz-Hernández, S., Gómez-Pérez, J.M.,
Hofstedt ,P. (Eds.), WLPE 2004: 14th
Workshop on Logic
Programming Environments and
MultiCPL
2004: Third Workshop on Multiparadigm Constraint Programming Languages.
Saint-Malo, France, 2004.
[HHWAFL03] (PDF)
Hanus, M., Hofstedt, P., Wolf, A., Abdennadher, S., Frühwirth, T.,
Lallouet, A. (Eds.),
MultiCPL'03: Second International Workshop on Multiparadigm Constraint
Programming Languages and
RCoRP'03:
Fifth International Workshop on Rule-Based Constraint Reasoning and
Programming.
Workshop Proceedings. Kinsale, Ireland, 2003.
[HHAFW02] (PDF)
Hanus, M., Hofstedt, P., Abdennadher, S., Frühwirth, T., Wolf, A.
(Eds.), MultiCPL'02:
Workshop on Multiparadigm Constraint Programming Languages and
RCoRP'02: Fourth Workshop on Rule-Based Constraint Reasoning and
Programming.
Workshop Proceedings. Cornell University, Ithaca, NY, USA, 2002.
Refereed Journal Articles, Conference and Workshop Proceedings
[HP06]
Hofstedt, P., Pepper, P.: Integration
of Declarative and Constraint Programming. Journal on Theory and
Practice of Logic Programming -- TPLP. Special Issue on Multiparadigm Languages
and Constraint Programming. 7(1). Erscheint 2006.
[FHPR06]
Frank, St., Hofstedt, P., Pepper, P., Reckmann, D.:
Solution Strategies
for Multi-domain Constraint Logic Programs.
Perspectives of Systems Informatics -- PSI 2006, Revised Papers. Lecture Notes in Computer Science. Springer
Verlag. Erscheint 2006.
[HK06]
Hofstedt, P., Krzikalla, O.:
Turtle++ – A CIP-Library for C++.
16th International
Conference on Applications of Declarative Programming and Knowledge
Management
-- INAP 2005. Lecture Notes in Computer Science. Springer Verlag. Erscheint 2006.
[FH05]
Frank, St., Hofstedt, P.: CLFD: A
Finite Domain Constraint Solver in Common Lisp. International
Lisp Conference -- ILC.
Stanford University. Association of Lisp Users 2005.
[FHR05]
Frank, St., Hofstedt, P., Reckmann D.: System Description: Meta-S. Combining
Solver Cooperation and Programming Languages. 19th International
Workshop on (Constraint) Logic Programming -- W(C)LP. 2005.
[FHR04] (PDF)
Frank, St., Hofstedt, P., Reckmann, D.: Strategies for the Efficient Solution of
Hybrid Constraint Logic Programs. In MultiCPL'04: Third
Workshop on Multiparadigm Constraint Programming Languages. Saint-Malo,
France, 2004.
[GH03] (PDF)
Grabmüller, M., Hofstedt, P.: Turtle. A
Constraint Imperative
Programming Language. Twenty-third SGAI
International Conference on
Innovative Techniques and Applications of Artificial
Intelligence. Research and Development in Intelligent Systems XX.
Springer-Verlag 2003.
[FHM03a] (PDF)
Frank, St., Hofstedt, P., Mai, P.R.: Meta-S.
A strategy-oriented
Meta-Solver Framework. In Russel, I., Haller, S.: Proceedings of
the
Sixteenth International Florida Artificial Intelligence Research
Society Conference. AAAI Press 2003.
[FHM03b] (PDF)
Frank, St., Hofstedt, P., Mai, P.R.: A
Flexible
Meta-solver Framework for Constraint Solver Collaboration.
In Günter, A., Kruse, R. and
Neumann, B.: Proceedings of the 26th German Conference on Artificial
Intelligence, KI'2003. Volume 2821 of LNCS. Springer-Verlag 2003.
[FHM03c]
Frank, St., Hofstedt, P., Mai, P.R.: A
Case Study on Termination. In
Albert Rubio (Ed.): Proceedings of the 6th International Workshop on
Termination, WST'03. Technical Report DSIC-II/15/03, Departamento de
Sistemas Informáticos y Computación, Universidad
Politécnica de Valencia, 2003.
[HM03] (PDF)
Hofstedt, P., Metzner, A: Multiple
Evaluation Strategies for the
Multiparadigm Programming Language Brooks. In Germán
Vidal
(Ed.): Proceedings of the 12th International Workshop on Functional and
(Constraint) Logic Programming, WFLP'03. Technical Report
DSIC-II/13/03, Departamento de Sistemas Informáticos y
Computación, Universidad Politécnica de Valencia, 2003.
[Hof02] (PDF)
Hofstedt, P.: A general Approach for
Building
Constraint Languages. In B. McKay and
J. Slaney (Eds.), AI 2002: Advances in Artificial Intelligence.
15th Australian Joint Conference on Artificial Intelligence.
Canberra, Australia.
Volume 2557 of LNCS. Springer-Verlag 2002.
[GHW02] (PDF)
Gips, C., Hofstedt, P., Wysotzki, F.: Spatial
Inference - Learning
vs. Constraint Solving. In M. Jarke, J.
Köhler, G. Lakemeyer (Eds.),
KI 2002: Advances in Artificial Intelligence.
Volume 2479 of LNCS. Springer-Verlag 2002.
[Hof01a]
Hofstedt, P.: Declarative Host
Languages for Constraint Systems.
International Symposium on Artificial Intelligence. ISAI'2001.
[HSG01] (PDF)
Hofstedt, P., Seifert, D., Godehardt, E.: A Framework for Cooperating
Constraint Solvers - A Prototypic Implementation.
Workshop on Cooperative Solvers in Constraint Programming - CoSolv. At
the Seventh International Conference on Principles and Practice of
Constraint Programming. 2001.
[Hof00a] (PDF)
Hofstedt, P.: Cooperating Constraint
Solvers. Sixth International
Conference on Principles and Practice of Constraint Programming - CP
2000. Volume 1894 of LNCS. Springer-Verlag 2000.
[Hof00b] (PDF)
Hofstedt, P.: Better Communication
for Tighter Cooperation. Lloyd et
al. (Eds.), First International Conference on Computational Logic - CL
2000.
Volume 1861 of LNCS. Springer-Verlag 2000.
[Hof98d] (PDF)
Hofstedt, P.: Task Parallel
Skeletons for Irregularly Structured
Problems. In D.Pritchard and J.Reeve (Eds.), Euro-Par'98 -
Parallel
Processing, 4th International Euro-Par Conference, Southampton.
Volume 1470 of LNCS. Springer-Verlag 1998.
Some Unrefereed
Publications
[FGHM03] (PDF)
Frank, St., Grabmüller, M., Hofstedt, P., Metzner, A.:
Constraints, Predicates, Functions,
and a Turtle. 20. Workshop der
GI-Fachgruppe "Programmiersprachen und Rechenkonzepte". 2003.
[Hof01b] (PS.GZ)
Hofstedt, P.: How to integrate
Declarative Languages and Constraint
Systems. In: K.Indermark, Th.Noll (Eds.), Kolloquium
Programmiersprachen. Technical Report AIB-2001-11. RWTH Aachen. 2001.
[HS97]
Hofstedt, P., Schwigon, S.: Methoden
zur automatischen Parallelisierung
(Constraint-) logischer Programme.
Technical Report TUD-FI97-08, Oktober 1997, Dresden University of
Technology. (in german).
[Hof97] (PS.GZ)
Hofstedt, P.: Taskparallele Skelette
für irregulär
strukturierte Probleme in deklarativen Sprachen. Aachener
Informatik -
Berichte AIB 97-7, RWTH Aachen, Fachgruppe Informatik. (in german).
[Hof95]
Hofstedt, P. Eine abstrakte Maschine für eine parallele logische
Sprache. 1995. Diploma Thesis. Dresden University of Technology. (in
german).
|
|
|
|