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 101 to 110 of 116.
  1. Markus Junker; Andreas Abecker

    Exploiting Thesaurus Knowledge in Rule Induction for Text Classification

    In: Recent Advances in Natural Language Processing (RANLP 97). International Conference on Recent Advances in Natural Language Processing (RANLP), …

  2. Ludger van Elst; Franz Schmalhofer

    Die Persistenz von Inferenzen in einem verstehensbasierten kognitiven Modell

    In: Kognitionswissenschaft, Vol. 6, Pages 86-98, 1997.

  3. 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. Saarbrücker Logistik-Tage, 1997.

  4. Michael Bender; Achim Ebert; Ralf Klein; Hans-Christian Rodrian

    A Hybrid Web-based Toolkit for Human Modeling

    In: Dagstuhl '97, Scientific Visualization. Dagstuhl Seminare/Workshops, Pages 11-15, ISBN 0-7695-0503-1, IEEE Computer Society, 1997.

  5. Hierarchical Proof Planning Using Abstractions

    In: D. Dankel II (Hrsg.). Proceedings 10th Annual Florida AI Research Symposium, FLAIRS'97, Track: Using AI methods to control automated deduction. …

  6. Colouring Terms to Control Equational Reasoning

    In: Journal of Automated Reasoning (JAR), Vol. 18, Pages 399-442, 1997.

  7. Equalizing Terms by Difference Reduction Techniques

    In: H. Kirchner; B. Gramlich (Hrsg.). Proceedings Workshop on Strategies in Automated Deduction. International Workshop on Strategies in Automated …

  8. Using Rippling to Prove the Termination of Algorithms

    DFKI, DFKI Research Reports (RR), Vol. 97-03, 1997.

  9. Georg Rock; Werner Stephan; Andreas Wolpers

    Tool Support for the Compositional Development of Distributed Systems

    In: A. Wolisz; I. Schieferdecker; A. Rennoch (Hrsg.). 7. GI/ITG Fachgespräch: Formale Beschreibungstechniken für verteilte Systeme. …