Ulrich Hedtstück

According to our database, Ulrich Hedtstück authored at least 11 papers between 1983 and 2007.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2007

Einführung in die theoretische Informatik - formale Sprachen und Automatentheorie (4. Aufl.).

Ulrich Hedtstück

Oldenbourg, 2007

2000

Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie

Ulrich Hedtstück

Oldenbourg, ISBN: 3-486-25515-0, 2000

1992

An Order-Sorted Logic for Knowledge Representation Systems.

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Peter H. Schmitt, Jörg H. Siekmann

Artif. Intell., 1992

1990

Bericht über das 6. Jahrestreffen der GI-Fachgruppe "Deduktionssysteme".

Ulrich Furbach, Ulrich Hedtstück, Wolfgang Wernecke

Künstliche Intell., 1990

1989

An Order Sorted Predicate Logic with Closely Coupled Taxonomic Information

Christoph Beierle, Ulrich Hedtstück, Udo Pletat, Jörg H. Siekmann

IWBS Report, 1989

A Calculus for Order-Sorted Predicate Logic with Sort Literals.

Ulrich Hedtstück, Peter H. Schmitt

Proceedings of the Sorts and Types in Artificial Intelligence, 1989

Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype.

Toni Bollinger, Ulrich Hedtstück, Claus-Rainer Rollinger

Proceedings of the GWAI-89, 1989

Knowledge Processing in the LILOG Project: From the first to the second Prototype.

Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück

Proceedings of the Natural Language and Logic, 1989

1987

Resolution with Feature Unification.

Karl-Hans Bläsius, Ulrich Hedtstück

Proceedings of the CSL '87, 1987

1985

Über die Argumentkomplexität Boolescher Funktionen.

Ulrich Hedtstück

PhD thesis, 1985

1983

On the argument complexity of multiply transitive Boolean functions.

Ulrich Hedtstück

Proceedings of the Logic and Machines: Decision Problems and Complexity, 1983