Publikationen

2011

• Michael Feld; Martin Theobald; Christoph Stahl; Timm Meiser; Christian Müller
  Generating Personalized Destination Suggestions for Automotive Navigation Systems under Uncertainty.
  In: Proceedings of the 19th International Conference on User Modeling, Adaptation, and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-2011), 19th, July 11-15, Girona, Spain, Lecture Notes in Computer Science (LNCS), Springer, 2011.
• Serge Autexier; Dominik Dietrich; Marvin Schiller
  Cognitive Tutoring in Mathematics based on Assertion Level Reasoning and Proof Strategies (Extended Abstract).
  In: Pedro Quaresma; Ralph-Johan Back (Hrsg.). THedu'11, Workshop associated to CADE-23. THedu - CTP Components for Educational Software (ThEdu-11), located at Conference on Automated Deduction, July 31, Wroclaw, Poland, Pages 11-15, CISUC Technical Report, No. 2011/001, University of Coimbra, Portugal, 7/2011.

2010

• Oliver Scheuer; Frank Loll; Niels Pinkwart; Bruce McLaren
  Computer-Supported Argumentation: A Review of the State-of-the-Art.
  In: International Journal of Computer-Supported Collaborative Learning (ijCSCL), Vol. 5, No. 1, Pages 43-102, Springer, 3/2010.
• Tim Schwartz; Christoph Stahl; Jörg Baus; Wolfgang Wahlster
  Seamless Resource-Adaptive Navigation.
  In: Matthew W. Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 239-265, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.
• Wolfgang Wahlster; Michael Feld; Patrick Gebhard; Dominikus Heckmann; Ralf Jung; Michael Kruppa; Michael Schmitz; Lübomira Spassova; Rainer Wasinger
  The Shopping Experience of Tomorrow: Human-Centered and Resource-Adaptive.
  In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource-Adaptive Cognitive Processes. Pages 205-237, Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin Heidelberg, 2010.
• Frank Loll; Niels Pinkwart; Oliver Scheuer; Bruce McLaren
  Ein generisches Framework zur Erstellung von argumentationsunterstützenden Systemen.
  In: Tagungsband der Multikonferenz Wirtschaftsinformatik (MKWI). Multikonferenz Wirtschaftsinformatik (MKWI-10), February 23-25, Göttingen, Germany, Pages 1427-1438, Universitätsverlag Göttingen, 2010.
• Paul Libbrecht
  What You Check is What You Get: Authoring with jEditOQMath.
  In: Proceedings 10th IEEE International Conference on Advanced Learning Technologies. IEEE International Conference on Advanced Learning Technologies (ICALT-08), 10th, July 5-7, Sousse, Tunisia, Pages 682-686, ISBN 978-0-7695-4055-9, IEEE, Washington DC, 7/2010.
• Paul Libbrecht
  Notations Around the World:Census and Exploitation.
  In: Serge Autexier; Jacques Calmet; David Delahaye; Patrick D.F. Ion; Laurence Rideau; Renaud Rioboo; Alan P. Sexton (Hrsg.). Intelligent Computer Mathematics. International Conference on Mathematical Knowledge Management (MKM-10), 9th, located at Conference on Intelligent Computer Mathematics, July 8-9, Paris, France, Pages 398-410, Lecture Notes in Artificial Intelligence (LNAI), Vol. 6167/2010, ISBN 3-652-14127-7, Springer Verlag, 7/2010.
• Paul Libbrecht
  Re-use? Is this Re-use?.
  In: U. Kortenkamp (Hrsg.). Proceedings of I2GEO conference. Interoperable Interactive Geometry Conference (I2GEO-2010), located at CADGME / I2GEO, July 2-3, Hluboka nad Vltavou, Czech Republic, Cermat, 7/2010.

2009

• Erica Melis; George Goguadze; Paul Libbrecht; Carsten Ullrich
  Culturally Adapted Mathematics Education with ActiveMath.
  In: Artificial Intelligence and Society, Vol. 24, Pages 251-265, Springer, 2009.
• Carsten Ullrich; Erica Melis
  Pedagogically founded courseware generation based on HTN-planning.
  In: Expert Systems with Applications, Vol. 36, No. 5, Pages 9319-9332, Pergamon Press, Inc. Tarrytown, NY, USA, 7/2009.
• Serge Autexier; Christoph Benzmüller; Dominik Dietrich; Jörg Siekmann
  Resource Adaptive Processes in Automated Reasoning Systems.
  In: Matthew Crocker; Jörg Siekmann (Hrsg.). Resource Adaptive Cognitive Processes. Page 28, LNAI, ISBN 978-3-540-89407-0, Springer, 11/2009.
• Claus-Peter Wirth; Jörg Siekmann; Christoph Benzmüller; Serge Autexier
  Jacques Herbrand: Life, Logic, and Automated Deduction.
  In: Dov M. Gabbay; John Woods. Logic from Russell to Church. Pages 195-254, Handbook of The History of Logic, Vol. 5, Elsevier, 6/2009.
• Paul Libbrecht; Cyrille Desmoulins
  A Cross-Curriculum Representation for Handling and Searching Dynamic Geometry Competencies.
  In: D. Dicheva; R. Mizoguchi; J. Greer (Hrsg.). Semantic Web Technologies for e-Learning. Chapter 8, A Cross-Curriculum Representation for Handling and Searching Dynamic Geometry Competencies, Pages 136-155, The Future of Learning, Vol. 4, ISBN 978-1-60750-062-9, IOS Press, 11/2009.
• Miguel Abánades; Francisco Botana; Jesús Escribano; Maxim Hendriks; Ulrich Kortenkamp; Yves Kreis; Paul Libbrecht; Daniel Marques; Christian Mercat
  The Intergeo File Format in Progress.
  In: Proceedings of OpenMath Workshop 09. Conferences on Intelligent Computer Mathematics (CICM-09), located at Conferences on Intelligent Computer Mathematics, July 10, Grand Bend, Ontario, Canada, www.activemath.org, 7/2009.
• George Goguadze
  Representation for Interactive Exercises.
  In: Jacques Carette; Lucas Dixon; Claudio Sacerdoti Coen; Stephen M. Watt (Hrsg.). Proceedings of MKM 2009 - 8th International Conference on Mathematical Knowledge Management. International Conference on Mathematical Knowledge Management (MKM-2009), July 10-12, Grand Bend, Ontario, Canada, Pages 294-309, Lecture Notes in Artificial Intelligence (LNAI), Vol. 5625, Springer, 2009.
• George Goguadze; Erica Melis
  Combining Evaluative and Generative Diagnosis in ActiveMath.
  In: B. du Boulay; A. Graesser; R. Mizoguchi; Vania Dimitrova (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 668-670, Frontiers in Artificial Intelligence and Applications (FAIA), Vol. 200, IOS press, 2009.
• Paul Libbrecht; Eric Andres; Yecheng Gu
  Smart Pasting for ActiveMath Authoring.
  In: Proceedings of Mathematical User-Interfaces Workshop 2009. Mathematical User-Interfaces Workshop (MathUI-2009), located at 8th Mathematical Knowledge Management Conference, July 6, Grand Bend, Ontario, Canada, MathUI Workshop, 7/2009.
• Paul Libbrecht; Ulrich Kortenkamp; Christian Mercat
  I2Geo: a Web-Library of Interactive Geometry.
  In: Petr Sojka (Hrsg.). Towards a Digital Mathematics Library, Proceedings of the 2nd Workshop. Towards a Digital Mathematics Library (DML-2009), 2nd, located at CICM 2009, July 8-9, Grand Bend, ON, Canada, ISBN 978-80-210-4781-5, Masaryk University, 7/2009.
• Bruce McLaren; R. Wegerif; Jan Miksatko; Oliver Scheuer; M. Chamrada; N. Mansour
  Are Your Students Working Creatively Together? Automatically Recognizing Creative Turns in Student e-Discussions.
  In: Vania Dimitrova; Riichiro Mizoguchi; Benedict du Boulay; Art Graesser (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 317-324, IOS Press, 7/2009.
• Erica Melis; Dieter Kriesell
  Effects of Erroneous Examples, Results of a Preliminary School Experiment.
  In: B. du Boulay; A. Graesser; R. Mizoguchi; Vania Dimitrova (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), July 6-10, Brighton, United Kingdom, Pages 578-580, Frontiers in Artificial Intelligence and Applications, Vol. 200, IOS press, 2009.
• Oliver Scheuer; Bruce McLaren; Frank Loll; Niels Pinkwart
  An Analysis and Feedback Infrastructure for Argumentation Learning Systems.
  In: Vania Dimitrova; Riichiro Mizogushi; Benedict du Boulay; Art Graesser (Hrsg.). Proceedings of the 14th International Conference on Artificial Intelligence in Education. International Conference on Artificial Intelligence in Education (AIED-09), June 6-10, Brighton, United Kingdom, Pages 629-631, IOS Press, 7/2009.
• Carsten Ullrich; Tianxiang Lu; Erica Melis
  Just-In-Time Adaptivity Through Dynamic Items.
  In: M. Zancanaro; F. Pianesi; G. McCalla; G.J. Houben (Hrsg.). Proceedings of the First and 17th International Conference on User Modeling, Adaptation, and Personalization. International Conference on User Modeling, Adaptation, and Personalization (UMAP-09), June 22-26, Trento, Italy, Pages 373-378, Lecture Notes in Computer Science (LNCS), Vol. 5535, Springer-Verlag, 2009.
• R. Wegerif; Bruce McLaren; M. Chamrada; Oliver Scheuer; N. Mansour; Jan Miksatko
  Recognizing Creative Thinking in Graphical e-Discussions using Artificial Intelligence Graph-Matching Techniques.
  In: Proceedings of the 8th International Conference on Computer Supported Collaborative Learning. International Conference on Computer Supported Collaborative Learning (CSCL-09), June 8-13, Rhodes, Greece, CSCL, 6/2009.
• F. Loll; N. Pinkwart; Oliver Scheuer; Bruce McLaren
  An Architecture for Intelligent CSCL Argumentation Systems.
  In: Proceedings of the 8th International Conference on Computer Supported Collaborative Learning. International Conference on Computer Supported Collaborative Learning (CSCL-09), June 8-13, Rhodes, Greece, CSCL, 6/2009.
• F. Loll; N. Pinkwart; Oliver Scheuer; Bruce McLaren
  Towards a Flexible Intelligent Tutoring System for Argumentation.
  In: Proceedings of the 9th IEEE International Conference on Advanced Learning Technologies. IEEE International Conference on Advanced Learning Technologies (ICALT-09), July 15 - June 17, Riga, Latvia, ICALT, 7/2009.
• Carsten Ullrich; Tianxiang Lu; Erica Melis
  A New Framework for Dynamic Adaptations and Actions.
  In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Learning in the Synergy of Multiple Disciplines. European Conference on Technology Enhanced Learning (EC-TEL-09), September 29 - October 2, Heidelberg, Germany, Lectures Notes in Computer Science (LNCS), Vol. 5794, Springer-Verlag, 10/2009.
• Dieter Hutter; Raul Monroy
  On the Automated Correction of Protocols with Improper Message Encoding.
  In: Luca Vigano; Pierpaolo Degano (Hrsg.). Proceedings of the Joint Workshop on Automated Reasoning for Security Protocol Analysis and Issues in the Theory of Security. Workshop on Automated Reasoning for Security Protocol Analysis (ARSPA), located at Affiliated with ETAPS 2009, March 28-29, York, United Kingdom, Lectures Notes in Computer Science (LNCS), Springer Verlag, 2009.
• Dimitra Tsovaltzi; Erica Melis; Bruce McLaren; Michael Dietrich; George Goguadze; Ann-Kristin Meyer
  Erroneous Examples: A Preliminary Investigation into Learning Benefits.
  In: Marcus Specht; Vania Dimitrova; Ulrike Cress (Hrsg.). Proceedings of the First European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-09), September 29 - October 2, Nizza, France, Pages 688-693, Lecture Notes in Computer Science (LNCS), Vol. 5794, Springer-Verlag, Heidelberg, 2009.
• George Goguadze
  Semantic Evaluation Services for Web Based Exercises.
  In: Marc Spaniol; Qing Li; Ralf Klamma; Rynson W. H. Lau (Hrsg.). Proceedings of 8th International Conference on Web Based Learning - ICWL 2009. International Conference on Web-based Learning (ICWL-09), August 19-21, Aachen, Germany, Pages 171-181, Lecture Notes in Computer Science (LNCS), Vol. 5686, Springer, 2009.

2008

• Erica Melis; Andreas Meier; Jörg Siekmann
  Proof Planning with Multiple Strategies.
  In: Artificial Intelligence, Vol. o.A. Pages 656-684, Elesevier, 2008.
• James H. Davenport; Paul Libbrecht
  The Freedom to Extend OpenMath and its Utility.
  In: Manfred Kerber (Hrsg.). Journal of Computer Science and Mathematics, Vol. 59, Pages 1-25, Birkhäuser, Basel, 12/2008.
• Serge Autexier; Heiko Mantel; S. Merz; T. Nipkow
  Preface. Special Issue on Formal Modeling and Verification of Critical Systems.
  In: Journal of Automated Reasoning (JAR), Vol. 41, No. 3-4, Pages 191-192, Springer Netherlands, 11/2008.
• Carsten Ullrich
  Pedagogically Founded Courseware Generation for Web-Based Learning -- An HTN-Planning-Based Approach Implemented in PAIGOS.
  Lecture Notes in Artificial Intelligence (LNAI), Vol. 5260, ISBN 978-3-540-88213-8, Springer, 11/2008.
• Carsten Ullrich; Paul Libbrecht
  Educational Services in the ActiveMath Learning Environment.
  In: S. Salerno; M. Gaeta; P. Ritrovato; N. Capuano; F. Orciuoli; S. Miranda; A. Pierri (Hrsg.). The Learning Grid Handbook: Concepts, Technologies and Applications -- Volume 2 The Future of Learning. Pages 211-236, The Future of Learning, ISBN 978-1-58603-829-8, IOS Press Amsterdam, 3/2008.
• Anthony Jameson; Jürgen Kiefer; Christian Müller; Frank Wittig; Ralf Rummer
  Assessment of a user's time pressure and cognitive load on the basis of features of speech.
  In: M. Crocker; Jörg Siekmann (Hrsg.). Resource-adaptive cognitive systems. Page o.A. Cognitive Technologies, ISBN 978-3-540-89407-0, Springer, Berlin - Heidelberg - New York, 2008.
• Dimitra Tsovaltzi; Bruce McLaren; Nikol Rummel; Oliver Scheuer; Andreas Harrer; Niels Pinkwart; Isabel Braun
  Using an Adaptive Collaboration Script to Promote Conceptual Chemistry Learning.
  In: Beverley P. Woolf; Esma Aimeur; Roger Nkambou; Susanne Lajoie (Hrsg.). Proceedings of the 9th International Conference on Intelligent Tutoring Systems (ITS-08). 9th International Conference on Intelligent Tutoring Systems (ITS-08), June 23-27, Montréal, Canada, Pages 709-711, Springer Verlag, 2008.
• Oliver Scheuer; Bruce McLaren
  Helping Teachers Handle the Flood of Data in Online Student Discussions.
  In: Beverley P. Woolf; Esma Aimeur; Roger Nkambou; Susanne Lajoie (Hrsg.). Proceedings of the 9th International Conference on Intelligent Tutoring Systems (ITS-08). 9th International Conference on Intelligent Tutoring Systems: Past and Future (ITS-08), June 23-27, Montréal, Canada, Pages 323-332, Springer Verlag, 2008.
• Jan Miksatko; Bruce McLaren
  What's in a Cluster? Automatically Detecting Interesting Interactions in Student E-Discussions.
  In: Beverley P. Woolf; Esma Aimeur; Roger Nkambou; Susanne Lajoie (Hrsg.). Proceedings of the 9th International Conference on Intelligent Tutoring Systems (ITS-08). 9th International Conference on Intelligent Tutoring Systems: Past and Future (ITS-08), June 23-27, Montréal, Canada, Pages 333-342, Springer Verlag, 2008.
• Erica Melis; Arndt Faulhaber; Anja Eichelmann; Susanne Narciss
  Interoperable Competencies Characterizing Learning Objects in Mathematics.
  In: Intelligent Tutoring Systems. 9th International Conference on Intelligent Tutoring Systems: Past and Future (ITS-08), June 23-27, Montréal, Canada, Pages 416-425, Lecture Notes in Computer Science (LNCS), Vol. 5091, Springer, 6/2008.
• Paul Libbrecht; Cyrille Desmoulins; Christian Mercat; Colette Laborde; Michael Dietrich; Maxim Hendriks
  Cross-Curriculum Search for Intergeo.
  In: Serge Autexier; Masakazu Suzuki (Hrsg.). To Appear in Proceedings of MKM 2008. International Conference on Mathematical Knowledge Management (MKM-2008), 7th, July 28-30, Birmingham, United Kingdom, Pages 520-535, Springer Verlag, 7/2008.
• Andreas Harrer; Niels Pinkwart; Bruce McLaren; Oliver Scheuer
  How Do We Get the Pieces to Talk? An Architecture to Support Interoperability between Educational Tools.
  In: Beverley P. Woolf; Esma Aimeur; Roger Nkambou; Susanne Lajoie (Hrsg.). Proceedings of the 9th International Conference on Intelligent Tutoring Systems. 9th International Conference on Intelligent Tutoring Systems: Past and Future (ITS-08), June 23-27, Montréal, Canada, Pages 715-718, Lecture Notes in Computer Science (LNCS), Vol. 5091, Springer Verlag, 2008.
• George Goguadze; Erica Melis
  One Exercise - Various Tutorial Strategies.
  In: E. Aimeur; R. Nkambou; B.P. Woolf; S. Lajoie (Hrsg.). Proceedings of the International Conference on Intelligent Tutoring Systems. 9th International Conference on Intelligent Tutoring Systems: Past and Future (ITS-08), June 23-27, Montréal, Canada, Pages 755-757, Lecture Notes in Computer Science (LNCS), Vol. 5091, Springer-Verlag, 2008.
• Eric Andres; Michael Dietrich; Paul Libbrecht
  Discovering How to Write Semantic Math with new Symbols.
  In: Proceedings of MathUI'08. Mathematical User-Interfaces Workshop 2008 (MathUI-08), located at the Seventh Mathematical Knowledge Management Conference (MKM-2008), July 27 - August 1, Birmingham, United Kingdom, Pages 1-15, MKM Interest Group and Paul Libbrecht, 7/2008.
• Anja Eichelmann; Susanne Narciss; Arndt Faulhaber; Erica Melis
  Analyzing Computer-Based Fraction Tasks on the Basis of a Two-Dimensional View of Mathematics Competences.
  In: J. Zumbach; N. Schwartz; T. Seufert; L. Lester (Hrsg.). Beyond Knowledge: The Legacy of Competence. Meaningfull Coumputer-Based Learning Environments. EARLI SIG 7 Learning and Instruction with Computers in cooperation with SIG 6 Instructional Design announces the conference (EARLI SIG-6 & 7), September 2-4, Salzburg, Australia, Pages 125-134, Springer Verlag, 6/2008.
• Arndt Faulhaber; Erica Melis
  An Efficient Student Model Based on Student Performance and Metadata.
  In: Nikos Avouris; Nikos Fakotatis; Constantine D. Spyropoulos; Malik Ghallab (Hrsg.). Proceedings of 18th European Conference on Artificial Intelligence. 18th European Conference on Artificial Intelligence (ECAI-08), July 21-25, Patras, Greece, Pages 276-280, Frontiers in Artificial Intelligence and Applications (FAIA), Vol. 178, IOS Press, 2008.
• Paul Libbrecht
  A Model of Re-use of E-Learning Content.
  In: Markus Specht; Pierre Dillenbourg (Hrsg.). Times of Convergence. Technologies Across Learning Contexts. 3rd European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-2008), September 16-19, Maastricht, Netherlands, Lecture Notes in Computer Science (LNCS), Vol. 5192, Springer Verlag, 9/2008.
• Erica Melis; Bruce McLaren; S. Solomon
  Towards Accessing Disparate Educational Data in a Single, Unified Manner.
  In: P. Dillenbourg; M. Specht (Hrsg.). Times of Convergence. Technologies Across Learning Contexts. 3rd European Conference on Technology Enhanced Learning. European Conference on Technology Enhanced Learning (EC-TEL-2008), September 16-19, Maastricht, Netherlands, Pages 280-283, Lecture Notes in Computer Science (LNCS), Vol. 5192, Springer-Verlag, 2008.
• Matthias Klusch; Zhiguo Xing
  Deployed Semantic Services for the Commmon User of the Web: A Reality Check.
  In: Proceedings of the 2nd IEEE International Conference on Semantic Computing. IEEE International Conference on Semantic Computing (ICSC-2008), 2nd, August 4-7, Santa Clara, CA, United States, Pages 347-353, IEEE, 2008.
• Matthias Klusch; Patrick Kapahnke; Frank Kaufer
  Evaluation of Hybrid WSML Service Retrieval with WSMO-MX.
  In: Proceedings of the 2008 IEEE International Conference on Web Services. IEEE International Conference on Web Services (ICWS-2008), September 23-26, Beijing, China, IEEE Press, 2008.
• Serge Autexier; Heiko Mantel; Stephan Merz; Tobias Nipkow (Hrsg.)
  Special Issue on Formal Modeling and Verification of Critical Systems.
  Journal of Automated Reasoning, Vol. 41, No. 3-4, Springer Netherlands, 12/2008.

1996

• Franz Baader; Hans-Jürgen Bürckert; Andreas Günter; Werner Nutt (Hrsg.)
  Proceedings of the Workshop on Knowledge Representation and Configuration WKRP'96.
  DFKI, DFKI Document (D), Vol. 96-04, 1996.

1995

• F. Baader; M. Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)
  Working Notes of the KI'95 Workshop: KRDB-95 - Reasoning about Structured Objects: Knowledge Representation Meets Databases.
  DFKI, DFKI Document (D), Vol. 95-12, 1995.

1994

• F. Baader; M. Lenzerini; Werner Nutt; P.F. Patel-Schneider (Hrsg.)
  Working Notes of the 1994 International Workshop on Description Logics.
  This collection of papers forms the permanent record of the 1994 International Workshop on Description Logics, that was held at the Gustav Stresemann Institut in Bonn, Germany on 28 and 29 May 1994. DFKI Document (D), Vol. 94-10, 1994.
• F. Baader; M. Buchheit; M.A. Jeusfeld; Werner Nutt (Hrsg.)
  Working Notes of the KI'94 Workshop: KRDB'94 - Reasoning about Structured Objects: Knowledge Representation Meets Databases.
  DFKI, DFKI Document (D), Vol. 94-11, 1994.

1993

• Elizabeth Hinkelman; Markus Vonerden; Christoph Jung
  Natural Language Software Registry (Second Edition).
  DFKI, DFKI Document (D), Vol. 93-10, 1993.
• Hans-Jürgen Bürckert; Werner Nutt (Hrsg.)
  Modeling Epistemic Propositions.
  DFKI, DFKI Document (D), Vol. 93-25, 1993.