Database Entry Point
max planck institut
informatik
mpii logo Minerva of the Max Planck Society
 

MPI-INF RG1 Publications, generated: 14:45, 18 October 2019

Search the publication database

  . Return

Your search returned the following 2 documents:

  1. Detlef Fehrer, Ullrich Hustadt, Manfred Jaeger, Andreas Nonnengart, Hans J├╝rgen Ohlbach, Renate A. Schmidt, Christoph Weidenbach, and Emil Weydert
    Description Logics for Natural Language Processing
    In: International Workshop on Description Logics '94, Bonn, Germany, May 28-29, 1994, 1994, 80-84
  2. Ullrich Hustadt, Renate A. Schmidt, and Christoph Weidenbach
    Optimised Functional Translation and Resolution
    In: Proceedings of the International Conference on Automated Reaso ning with Analytic Tableaux and Related Methods (TABLEAUX'98), Oisterwijk, The Netherlands, May, 5-8, 1998, 36-37