Skip to main content Skip to main navigation

Publications

Displaying results 41 to 50 of 327.
  1. Paul Buitelaar; Philipp Cimiano; Bernardo Magnini

    Ontology Learning from Text: An Overview

    In: Paul Buitelaar; Philipp Cimiano; Bernardo Magnini (Hrsg.). Ontology Learning from Text: Methods, Evaluation and Applications/ Frontiers in Artificial Intelligence and Applications. Vol. 123, IOS Press, 7/2005.

  2. Redundancy-free Island Parsing of Word Graphs

    In: Proceedings of IJCAI 2005. International Joint Conference on Artificial Intelligence (IJCAI), Pages 1079-1084, 2005.

  3. Martin Homik; Erica Melis

    Interactive Concept Mapping

    Deliverable, Vol. D28, 12/2005.

  4. Paul Libbrecht; Stefan Winterstein

    The Service Architecture in the ACTIVEMATH Learning Environment

    In: First International Kaleidoscope Learning Grid SIG Workshop on Distributed e-Learning Environments. International Kaleidoscope Learning Grid SIG Workshop on Distributed e-Learning Environments, March 14, Vico Equense, Naples, Italy, 2005.

  5. Giorgi Goguadze; Alberto González Palomo; Erica Melis

    Interactivity of Exercises in ActiveMath

    In: C.-K. Looi; D. Jonassen; M. Ikeda (Hrsg.). Towards Sustainable and Scalable Educational Innovations Informed by the Learning Sciences Sharing. Good Practices of Research, Experimentation and Innovation, Vol. 133, Pages 109-115, Frontiers in Artificial Intelligence and Applications, IOS Press, The Netherlands, 11/2005.

  6. Giorgi Goguadze; Alberto González Palomo; Erica Melis

    Interactivity of Exercises in ActiveMath

    In: In Proceedings of the 13th International Conference on Computers in Education (ICCE 2005). International Conference on Computers in Education (ICCE), Singapore, Pages 107-113, 2005.

  7. Martin Homik; Andreas Meier

    Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

    In: Proceedings of the ETAPS Satellite Workshop on User Interfaces for Theorem Provers (UITP2005). Workshop on User Interfaces for Theorem Provers (UITP), Edinburgh, Pages 160-178, 4/2005.

  8. Martin Homik; Andreas Meier

    Designing a Proof GUI for Non-Experts -- Evaluation of an Experiment

    Seki Report, Vol. SR-01-05, 2005.

  9. Paul Libbrecht; E. Machuca; M. Spanbroek

    Loosely Coupling Web-Applications

    In: Proceedings of the Workshop on Adaptive Systems for Web-Based Education: Tools and Reusability at AIED 2005. International Conference on Artificial Intelligence in Education (AIED), 2005.

  10. Andreas Meier; Erica Melis

    MULTI: A Multi-Strategy Proof Planner

    In: R. Nieuwenhuis (Hrsg.). Proceedings of the 20th Conference on Automated Deduction (CADE--20). International Conference on Automated Deduction (CADE), Tallinn, Pages 250-254, LNAI, Vol. 3632, Springer Verlag, Berlin, Germany, 2005.