U. Hedtstück
Author
Alternate names Uli Hedtstück, U. Hedtstück
Institution IBM (United States)
Past institutions IBM (United States), HTWG Hochschule Konstanz - Technik, Wirtschaft und Gestaltung, University of Stuttgart
H-index: 4
I10-index: 1
Works count: 8
Citations count: 96
An order-sorted logic for knowledge representation systems
1992 · Christoph Beierle, U. Hedtstück, et al. · Artificial Intelligence
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
1989 · Toni Bollinger, U. Hedtstück, et al. · Informatik-Fachberichte
A calculus for order-sorted predicate logic with sort literals
1990 · U. Hedtstück, Peter H. Schmitt · Lecture notes in computer science