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 105.
  1. Hans-Jürgen Bürckert; Bernhard Nebel

    Managing Qualitative Temporal Information: Expressiveness vs. Complexity

    In: Kai von Luck; Heinz Marburger (Hrsg.). Management and Processing of Complex Data Structures. Proceedings of 3rd Workshop "Information Systems and …

  2. Hans-Jürgen Bürckert

    Terminologies and Rules

    In: Kai von Luck; Heinz Marburger (Hrsg.). Proceedings of 3rd Workshop on Information Systems and Artificial Intelligence: Management and Processing …

  3. Hans-Jürgen Bürckert; Andrea Gräber; Armin Laux

    Terminological Reasoning with Knowledge and Beliefs. Extended Abstract.

    In: J. Kunze; H. Stoyan (Hrsg.). Workshop Proceedings of the 18th German Annual Conference on Artificial Intelligence. German Conference on Artificial …

  4. Hans-Jürgen Bürckert; Bernhard Hollunder; Armin Laux

    Concept Logics with Function Symbols

    In: Anthony G. Cohn (Hrsg.). Proceedings of the 11th European Conference on Artificial Intelligence. European Conference on Artificial Intelligence …

  5. Anna-Maria Schoeller; Ansgar Bernardi

    Qualitative Definition dreidimensionaler Features

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, …

  6. ARC--TEC: Wissensbasierte Systeme zur Unterstützung des Fertigungsprozesses --- Ein gesamthafter Ansatz

    Vortrag vor der G.U.I.D.E. AG Knowledge Based Applications, Braunschweig, 1/1994.

  7. PIM - Planning in Manufacturing. Ein featurebasiertes Arbeitsplanungssystem

    In: Workshop Feature Technology in Design and Manufacturing. Workshop Feature Technology in Design and Manufacturing, August 29-30, Saarbrücken, …

  8. Dieter Hutter; Jürgen Cleve

    A Methodology for Equational Reasoning

    In: Jay F. Nunamaker jr.; Ralph H. Sprague jr. (Hrsg.). Proceedings Hawaii International Conference on System Sciences: Information Systems: …

  9. Dieter Hutter; Bruno Langenstein; Claus Sengler; Werner Stephan

    Deduction in the Verification Support Environment (VSE)

    In: B. Buth; R. Berghammer (Hrsg.). Proceedings of the Workshop on Systems for Computer-Aided Specification, Development and Verification. Workshop on …

  10. Synthesizing Induction Orderings for Existence Proofs

    In: M.C. Golumbic (Hrsg.). Proceedings of the Third International Symposium on Artificial Intelligence and Mathematics. International Symposium on …