Ulrich Hedtstück

Publication Activity (10 Years)

Years Active: 1983-1992
Publications (10 Years): 0

University of Stuttgart, Germany (PHD)

Education History

University of Stuttgart, Germany

PHD

Publications

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
An Order-Sorted Logic for Knowledge Representation Systems. Artif. Intell. 55 (2) (1992)
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann
An Order-Sorted Logic for Knowledge Representation Systems IWBS Report 113 (1990)
Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke
Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme". Künstliche Intell. 4 (2) (1990)
Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype. GWAI (1989)
Ulrich Hedtstück, Peter H. Schmitt
A Calculus for Order-Sorted Predicate Logic with Sort Literals. Sorts and Types in Artificial Intelligence (1989)
Ulrich Hedtstück, Peter H. Schmitt
A Calculus for Order-Sorted Predicate Logic with Sort Literals IWBS Report 95 (1989)
Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück
Knowledge Processing in the LILOG Project: From the first to the second Prototype. Natural Language and Logic (1989)
Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype IWBS Report 72 (1989)
Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann
An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information IWBS Report 86 (1989)
Karl-Hans Bläsius, Ulrich Hedtstück
Resolution with Feature Unification LILOG-Report 51 (1988)
Karl-Hans Bläsius, Ulrich Hedtstück
Resolution with Feature Unification. CSL (1987)
Ulrich Hedtstück
On the argument complexity of multiply transitive Boolean functions. Logic and Machines (1983)

Ulrich Hedtstück.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Ulrich Hedtstück