Publikationen von Jörg Siekmann

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.

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.

2008

• Erica Melis; Andreas Meier; Jörg Siekmann
  Proof Planning with Multiple Strategies.
  In: Artificial Intelligence, Vol. o.A. Pages 656-684, Elesevier, 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.

2007

• Andreas Dengel
  Knowledge Technologies for the Social Semantic Desktop.
  In: Zili Zhang; Jörg Siekmann (Hrsg.). Knowledge Science, Engeneering and Management. 2nd International Conference, Proceedings. International Conference on Knowledge Science, Engeneering and Management (KSEM-07), November 28-30, Melbourne, Australia, Pages 2-9, Lecture Notes in Computer Science (LNCS), Vol. 4798, ISBN 978-3-540-76718-3, Springer, 11/2007.
• Z. Zhang; Jörg Siekmann (Hrsg.)
  Knowledge Science, Engineering and Management. 2nd International Conference.
  KSEM-2007, November 28-30, Melbourne, Australia, LNCS, Vol. 4798, Springer, 11/2007.
• Jörg Siekmann; Serge Autexier
  Computer Supported Formal Work: Towards a Digital Mathematical Assistant.
  In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 231-248, Studies in Logic, Grammar and Rhetoric, Vol. 10 (23), University of Bialystok, 7/2007.

2006

• Erica Melis; Ruimen Shen; Jörg Siekmann; Carsten Ullrich; Fan Yang; Peng Han
  Challenges in Search and Usage of Multi-Media Learning Objects.
  In: Journal of Computer Science and Technology, 2006.

2005

• Erica Melis; Jörg Siekmann
  e-Learning Logic and Mathematics: What we Have and What we Still Need.
  In: S. Artemov; H. Barringer; A.d'Avila Garcez; L.C. Lamb; J. Woods (Hrsg.). We will Show Them! Essays in Honor of Dov Gabbay on his 60th Birthday. Pages 639-662, Vol. 2, College Publications, 2005.

2004

• Erica Melis; Jörg Siekmann
  ActiveMath: An Intelligent Tutoring System for Mathematics.
  In: L. Rutkowski; Jörg Siekmann; R. Tadeusiewicz; L.A. Zadeh (Hrsg.). Seventh International Conference 'Artificial Intelligence and Soft Computing' (ICAISC). Artificial Intelligence and Soft Computing (ICASC), Pages 91-101, LNAI, Vol. 3070, Springer-Verlag, 2004.
• George Goguadze; Carsten Ullrich; Erica Melis; Jörg Siekmann; Christian Gross; Rafael Morales
  LeActiveMath Structure and Metadata Model.
  Report (Deliverable), LeActiveMath Consortium, LeActiveMath, Vol. D6, 2004.

2001

• Erica Melis; Jörg Siekmann
  Abschlussbericht Vorprojekt Interaktives Lehrbuch .
  DFKI GmbH, DFKI Final Reports (FR), Vol. 01-08, 2001.

2000

• Dieter Hutter; Bruno Langenstein; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
  Formal Software Development in the Verification Support Environment.
  In: Journal of Experimental and Theoretical Artificial Intelligence, 2000.
• Dieter Hutter; Georg Rock; Jörg Siekmann; Werner Stephan; Roland Vogt
  Formal Software Development in the Verification Support Environment (VSE).
  In: Proceedings 13th International Florida Artificial Intelligence Research Symposium (FLAIRS-2000). Pages 367-376, AAAI-Press, 2000.
• Jörg Siekmann; Christoph Benzmüller; Armin Fiedler; Andreas Franke; Helmut Horacek; Paul Libbrecht; Michael Kohlhase; Andreas Meier; Erica Melis; Martin Pollet; Volker Sorge; Carsten Ullrich; Jürgen Zimmer
  Adaptive Course Generation and Presentation.
  In: P. Brusilovski (Hrsg.). Proceedings of ITS-2000 workshop on Adaptive and Intelligent Web-Based Education Systems. Montreal, QC, Canada, Pages 54-61, 2000.

1999

• Christian Gerber; Jörg Siekmann; Gero Vierke
  Holonic Mulit-Agent Systems.
  DFKI, DFKI Research Reports (RR), Vol. 99-03, 1999.

1997

• Hans-Jürgen Bürckert; Klaus Fischer; Jörg Siekmann
  Die EDV als Führungs- Steuerungs- und Kontrollinstrument im Wirtschafts- und Güterverkehr.
  In: Tagungsband der 1. Saarbrücker Logistik-Tage. 1997.

1996

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Deduction in the Verification Support Environment (VSE).
  In: J. Woodcock; M. C. Gaudel (Hrsg.). Proceedings of the Third International Symposium of Formal Methods Europe on Industrial Benefit and Advances in Formal Methods. FME-96, Oxford, United Kingdom, Pages 168-286, Lecture Notes In Computer Science (LNCS), Vol. 1051, ISBN 3-540-60973-3, Springer-Verlag, London, UK, 1996.
• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: Journal of High Integrity Systems, Vol. 1, No. 6, Pages 523-530, Oxford University Press, 1996.

1995

• Dieter Hutter; Bruno Langenstein; Claus Sengler; Jörg Siekmann; Werner Stephan; Andreas Wolpers
  Verification Support Environment (VSE).
  In: William John Cullyer; Wolfgang A. Halang; Bernd J. Krämer (Hrsg.). Proceedings of the Dagstuhl Seminar on High Integrity Programmable Electronic Systems. February 27 - March 3, Schloß Dagstuhl, Germany, 1995.

1994

• R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke
  Verification Support Enviroment (VSE).
  In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. KES-Verlag, 1994.

1993

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux; Werner Nutt; Jörg Siekmann
  Projekt WINO: Wissens- und Inferenzobjektivierung.
  Abschlussbericht, 1993.

1990

• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  In: J.W. Lloyd (Hrsg.). Computational Logic. Symposium on Computational Logic, located at 7th ESPRIT Conference, November 13-14, Brussels, Belgium, Pages 177-201, ESPRIT Basic Research Series, Vol. 1, Springer, 11/1990.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  Research Report, DFKI GmbH, DFKI Research Reports (RR), Vol. 90-10, 1990.
• Franz Baader; Hans-Jürgen Bürckert; Bernhard Hollunder; Werner Nutt; Jörg Siekmann
  Concept Logics.
  DFKI, DFKI Research Reports (RR), Vol. 90-10, 1990.

1989

• Hans-Jürgen Bürckert; A. Herold; D. Kapur; Jörg Siekmann; M.E. Stickel; M. Tepp; H. Zhang
  Opening the AC-Unification Race.
  In: Journal of Automated Reasoning (JAR), Vol. 4, No. 4, Pages 465-474, Springer, Berlin - Heidelberg, 1989.

1988

• Hans-Jürgen Bürckert; Alexander Herold; D. Kapur; Jörg Siekmann; Mark E. Stickel; Michael Tepp; H. Zhang
  Opening the AC-Unification Race.
  Universität Kaiserslautern, SEKI Report, Vol. SR-88-11, 1988.

1986

• Susanne Biundo; Birgit Hummel; Dieter Hutter; Christoph Walther
  The Karlsruhe Induction Theorem Proving System.
  In: Jörg Siekmann (Hrsg.). Proceedings of the 8th International Conference on Automated Deduction, CADE-8. International Conference on Automated Deduction (CADE-08), July 27 - August 1, Oxford, United Kingdom, Pages 672-674, Lecture Notes In Computer Science (LNCS), Vol. 230, ISBN 978-3-540-16780-8, Springer Verlag, London, 1986.
• Hans-Jürgen Bürckert
  Some relationship Between Unification, Restricted Unification, and Matching.
  In: Jörg Siekmann (Hrsg.). Proceedings of 8th International Conference on Automated Deduction (CADE-86). International Conference on Automated Deduction (CADE-1986), 8th, July 27 - August 1, Oxford, United Kingdom, Pages 514-524, Lecture Notes in Computer Science (LNCS), Vol. 230, Springer, 1986.