Skip to main content Skip to main navigation


Displaying results 71 to 80 of 370.
  1. Serge Autexier; Marvin Schiller; Dominik Dietrich; Christoph Benzmüller

    Deep Inference for Automated Proof Tutoring?

    In: Roman Englert; Michael Beetz; Joachim Hertzberg (Hrsg.). Advances in Artificial Intelligence. German Conference on Artificial Intelligence …

  2. Roy McCasland; Alan Bundy; Serge Autexier

    Automated Discovery of Inductive Theorems

    In: Roman Matuszewski; Anna Zalewska (Hrsg.). From insight to proof - Jubilee Book for Andrzej Trybulec. Pages 135-150, Studies in Logic, Grammar and …

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

  4. Matthias Deller; Achim Ebert; Michael Bender; Stefan Agne; Henning Barthel

    Preattentive visualization of information relevance

    In: HCM '07: Proceedings of the international workshop on Human-centered multimedia. International Workshop on Human-centered Multimedia (HCM), Pages …

  5. Daniel Bahls; Thomas Roth-Berghofer

    Explanation Support for the Case-Based Reasoning Tool myCBR

    In: Proceedings of the 22nd Conference on Artificial Intelligence (AAAI-2007), July 22-26, Vancouver, BC, Canada. AAAI Conference on Artificial …

  6. Serge Autexier; A. Fiedler; T. Neumann; M. Wagner

    Supporting User-Defined Notations When Integrating Scientific Text-Editors with Proof Assistance Systems

    In: M. Kauers; M. Kerber; R. Miner; W. Windsteiger (Hrsg.). Towards Mechanized Mathematical Assistants. International Conference on Mathematical …

  7. Serge Autexier; C. Benzmüller (Hrsg.)

    Proceedings of the 7th Workshop on User Interfaces for Theorem Provers

    Workshop on User Interfaces for Theorem Provers (UITP-2006), August 21, Seattle, WA, USA, Electronic Notes in Theoretical Computer Science (ENTCS), …

  8. Efficient Computation of Overlay for Multiple Inheritance Hierarchies in Discourse Modeling

    In: H. Bunt; R. Muskens (Hrsg.). Computing Meaning. Pages 423-455, Studies in Linguistics and Philosophy, Vol. 83, Springer, Netherland, 2007.

  9. Ingo Zinnikus; Christian Hahn; Michael Klein; Klaus Fischer

    An Agent-Based, Model-Driven Approach for Enabling Interoperability in the Area of Multibrand Vehicle Configuration

    In: B. J. Krämer; K.-J. Lin; P. Narasimhan (Hrsg.). Proceedings of the 5th International Conference on Service-Oriented Computing. International …

  10. Z. Zhang; Jörg Siekmann (Hrsg.)

    Knowledge Science, Engineering and Management. 2nd International Conference

    International Conference on Knowledge Science, Engeneering and Management (KSEM-2007), November 28-30, Melbourne, Australia, LNCS, Vol. 4798, …