TY - CHAP A1 - Frank, Stephan A1 - Grabmüller, Martin A1 - Hofstedt, Petra A1 - Metzner, André T1 - Constraints, Predicates, Functions and a Turtle T2 - 20. Workshop der GI-Fachgruppe "Programmiersprachen und Rechenkonzepte", 2003 Y1 - 2003 ER - TY - CHAP A1 - Hofstedt, Petra T1 - A general Approach for Building Constraint Languages T2 - Advances in artificial intelligence, proceedings, AI 2002, 15th Australian Joint Conference on Artificial Intelligence, Canberra, Australia, December 2 - 6, 2002. Y1 - 2002 SN - 3-540-00197-2 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Wolf, Armin ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Lallouet, Arnaud T1 - Workshop proceedings, MultiCPL'03, Second International Workshop on Multiparadigm Constraint Programming Languages and RCoRP'03, Fifth International Workshop on Rule-Based Constraint Reasoning and Programming, September 29, 2003, Kinsale, County Cork, Ireland Y1 - 2003 UR - https://www-docs.b-tu.de/fg-programmiersprachen-compilerbau/public/publikationen/2003/Proceedings.MultiCPL03.RCoRP03.pdf ER - TY - CHAP ED - Hanus, Michael ED - Hofstedt, Petra ED - Abdennadher, Slim ED - Frühwirth, Thom ED - Wolf, Armin T1 - Workshop Proceedings T2 - MultiCPL'02: Workshop on Multiparadigm Constraint Programming Languages and RCoRP'02, Fourth Workshop on Rule-Based Constraint Reasoning and Programming, Cornell University, Ithaca, NY, USA Y1 - 2002 ER - TY - CHAP A1 - Gips, Carsten A1 - Hofstedt, Petra A1 - Wysotzki, Fritz T1 - Spatial Inference - Learning vs. Constraint Solving T2 - Advances in artificial intelligence, proceedings, KI 2002, 25th Annual German Conference on AI, KI 2002, Aachen, Germany, September 16 - 20, 2002 Y1 - 2002 SN - 3-540-44185-9 SP - 299 EP - 316 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Declarative Host Languages for Constraint Systems T2 - Artificial intelligence - future trends, contributions presented at the International Symposium on Artificial Intelligence (ISAI 2001), held at Fort Panhala, Kolhapur, India from December 18th to 20th, 2001 Y1 - 2001 SN - 81-7764298-7 SP - 193 EP - 205 PB - Allied Publishers CY - New Delhi [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra A1 - Seifert, Dirk A1 - Godehardt, Eike T1 - A Framework for Cooperating Constraint Solvers - A Prototypic Implementation T2 - Workshop on Cooperative Solvers in Constraint Programming - CoSolv, At the Seventh International Conference on Principles and Practice of Constraint Programming, 2001 Y1 - 2001 UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.59.9290 ER - TY - CHAP A1 - Hofstedt, Petra T1 - Cooperating Constraint Solvers T2 - Principles and practice of constraint programming, 6th international conference, Singapore, September 18 - 21, 2000, proceedings Y1 - 2000 SN - 3-540-41053-8 SP - 520 EP - 524 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Hofstedt, Petra T1 - Better Communication for Tighter Cooperation T2 - Computational logic, first international conference, London, UK, July 24 - 28, 2000, proceedings Y1 - 2000 SN - 3-540-67797-6 SP - 342 EP - 357 PB - Springer CY - Berlin [u.a.] ER - TY - CHAP A1 - Rühlke, St. A1 - Schneider, J. A1 - Bachmann, Peter A1 - Rogin, F. T1 - Qualitätssicherung für wiederverwendbare Schaltungsbeschreibungen durch HDL-Code-Analyse Y1 - 2000 ER -