Skip to main content Skip to main navigation

Publications

 

Due to maintenance work, it is currently not possible to search for publications by author.

Displaying results 91 to 100 of 506.
  1. Lutz Schröder

    Bootstrapping Inductive and Coinductive Types in HasCASL

    In: Logical Methods in Computer Science (LMCS), Vol. 4, No. 4:17, Pages 1-27, 2008.

  2. Thomas Roth-Berghofer; Daniel Bahls

    Explanation Capabilities of the Open Source Case-Based Reasoning Tool myCBR

    In: Miltos Petridis; Nirmalie Wiratunga (Hrsg.). Proceedings of the thirteenth UK Workshop on Case-Based Reasoning. UK Workshop on Case-Based …

  3. Thomas Roth-Berghofer; Stefan Schulz; Daniel Bahls; David B. Leake (Hrsg.)

    Proceedings of the ECAI-08 Workshop on Explanation-aware Computing ExaCt2008

    International Workshop on Explanation-aware Computing (ExaCt-2008), located at ECAI 2008, July 21-25, Patras, Greece, University of Patras, 7/2008.

  4. Thomas Roth-Berghofer; Florian Mittag

    ReduxExp: A Justification-based Explanation-Support Server.

    In: Miltos Petridis; Frans Coenen; Max Bramer (Hrsg.). Research and Development in Intelligent Systems XXV. SGAI International Conference on …

  5. Thomas Roth-Berghofer; Daniel Bahls

    Code Tagging and Retrieval with myCBR

    In: Miltos Petridis; Frans Coenen; Max Bramer (Hrsg.). Research and Development in Intelligent Systems XXV. SGAI International Conference on …

  6. Syed Saqib Bukhari; Faisal Shafait; Thomas Breuel

    Segmentation of Curled Textlines using Active Contours

    In: Proceedings of Eight IAPR Workshop on Document Analysis Systems. IAPR International Workshop on Document Analysis Systems (DAS-08), September …

  7. 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.

  8. 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 …

  9. Paul Libbrecht

    Cross curriculum search through the GeoSkills Ontology

    In: D. Massart; J.-N. Colin; F. Van Asche; M. Wolpers (Hrsg.). Proceedings of the 2nd International Workshop on Search and Exchange of e-le@rning …

  10. 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 …