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 31 to 40 of 102.
  1. Andreas Abecker; Ansgar Bernardi; Knut Hinkelmann; Otto Kühn; Michael Sintek

    Techniques for Organizational Memory Information Systems

    DFKI GmbH, DFKI Documents (D), Vol. 98-02, 2/1998.

  2. Integration of a DAU-System in Workflow Management Systems

    In: Proceedings of the GIGA European Business Process & Workflow Conference. GIGA European Business Process & Workflow Conference, Geneva, …

  3. Stefan Agne; Hans-Günther Hein

    A Pattern Matcher for OCR corrupted Documents and its Evaluation

    In: Daniel P. Lopresti; Jiangying Zhou (Hrsg.). Document Recognition V. DDR Document Recognition and Retrieval (DDR), San Jose, Pages 160-168, …

  4. Heiko Mantel; Christoph Kreitz

    A Matrix Characterization for MELL

    In: J. Dix; L. Farinas del Cerro; U. Furbach (Hrsg.). Proceedings of Logics in Artificial Intelligence, European Workshop, JELIA '98. Logics in …

  5. Heiko Mantel

    Developing a Matrix Characterization for MELL

    DFKI, DFKI Research Reports (RR), Vol. 98-03, 9/1998.

  6. Serge Autexier; Heiko Mantel; Werner Stephan

    Simultaneous Quantifier Elimination

    In: O. Herzog; A. Günter (Hrsg.). KI-98: Advances in Artificial Intelligence, 22nd Annual German Conference on Artificial Intelligence. German …

  7. Structuring Deduction by Using Abstractions

    In: T. Ellman (Hrsg.). Proceedings International Symposium on Abstraction, Reformulation, and Approximation, SARA-98. International Symposium on …

  8. Deductive Proof Support for Invariants of State-Transition Systems

    In: O. Herzog (Hrsg.). Proceedings 22th German Annual Conference on Artificial Intelligence KI-98. German Conference on Artificial Intelligence (KI), …

  9. Using Semantic Knowledge by Annotating Formulas

    In: D. Basin; D. Gabbay (Hrsg.). Proceedings 1st Workshop on Labelled Deduction. Workshop on Labelled Deduction, Freiburg, 1998.