Search the dblp DataBase

Publications of Author

1. Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
   An Order-Sorted Logic for Knowledge Representation Systems. [Citation Graph (2, 0)][DBLP]
   Artif. Intell., 1992, v:55, n:2, pp:149-191 [Journal]
   
2. Karl-Hans Bläsius, Ulrich Hedtstück
   Resolution with Feature Unification. [Citation Graph (0, 0)][DBLP]
   CSL, 1987, pp:17-26 [Conf]
   
3. Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück
   Knowledge Processing in the LILOG Project: From the first to the second Prototype. [Citation Graph (0, 0)][DBLP]
   Natural Language and Logic, 1989, pp:26-49 [Conf]
   
4. Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger
   Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. [Citation Graph (0, 0)][DBLP]
   GWAI, 1989, pp:203-212 [Conf]
   
5. Ulrich Hedtstück
   On the argument complexity of multiply transitive Boolean functions. [Citation Graph (0, 0)][DBLP]
   Logic and Machines, 1983, pp:390-396 [Conf]
   
6. Ulrich Hedtstück, Peter H. Schmitt
   A Calculus for Order-Sorted Predicate Logic with Sort Literals. [Citation Graph (0, 0)][DBLP]
   Sorts and Types in Artificial Intelligence, 1989, pp:61-72 [Conf]
   
7. Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
   Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''. [Citation Graph (0, 0)][DBLP]
   KI, 1990, v:4, n:2, pp:21-23 [Journal]