Skip to main content Skip to main navigation

Publikationen

 

Aufgrund von Wartungsarbeiten ist die Suche von Publikationen nach Autor:innen derzeit nicht möglich.

Zeige Ergebnisse 51 bis 60 von 105
  1. R. Förster; P. Kejwal; P. Baur; P. Göhner; J. Cleve; R. Drexler; Dieter Hutter; Claus Sengler; Jörg Siekmann; Werner Stephan; A. Wolpers; W. Reif; E. Canver; F. W. von Henke

    Verification Support Enviroment (VSE)

    In: Tagungsband 3. Deutscher IT-Sicherheitskongress der BSI. Deutscher IT-Sicherheitskongress der BSI, 3. SecuMedia, Ingelheim, 1994.

  2. R. Förster et al.

    VSE-Benutzerhandbuch, Teil I - III

    Manual, Bundesamt für Sicherheit in der Informationstechnik, 1994.

  3. Wray Buntine; Hans-Jürgen Bürckert

    On Solving Equations and Disequations

    In: Journal of the ACM (JACM), Vol. 41, No. 4, Pages 591-629, ACM, 1994.

  4. Hans-Jürgen Bürckert

    A Resolution Principle for Constrained Logics

    In: Artificial Intelligence (AIJ), Vol. 66, Pages 235-271, Elsevier, 1994.

  5. Bernhard Nebel; Hans-Jürgen Bürckert

    Reasoning About Temporal Relations: A Maximal Tractable Subclass of Allen's Interval Algebra

    In: Proceedings of 12th National Conference on Artificial Intelligence. AAAI Conference on Artificial Intelligence (AAAI-94), 12th, July 31 - August …

  6. Hans-Jürgen Bürckert

    Terminologies and Rules. Extended Abstract.

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

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

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

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

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