| 2000 |
|---|
| 14 | | Ulrich Hedtstück:
Einführung in die Theoretische Informatik: Formale Sprachen und Automatentheorie
Oldenbourg 2000 |
| 1992 |
|---|
| 13 | | 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): 149-191 (1992) |
| 1990 |
|---|
| 12 | | 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) |
| 11 | | Ulrich Furbach,
Ulrich Hedtstück,
Wolfgang Wernecke:
Bericht über das 6. Jahrestreffen der GI-Fachgruppe ``Deduktionssysteme''.
KI 4(2): 21-23 (1990) |
| 1989 |
|---|
| 10 | | Karl-Hans Bläsius,
Ulrich Hedtstück,
Claus-Rainer Rollinger:
Sorts and Types in Artificial Intelligence, Workshop, Eringerfeld, FRG, April 24-26, 1989, Proceedings
Springer 1989 |
| 9 | | Toni Bollinger,
Ulrich Hedtstück,
Claus-Rainer Rollinger:
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype.
GWAI 1989: 203-212 |
| 8 | | 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: 26-49 |
| 7 | | Ulrich Hedtstück,
Peter H. Schmitt:
A Calculus for Order-Sorted Predicate Logic with Sort Literals.
Sorts and Types in Artificial Intelligence 1989: 61-72 |
| 6 | | Toni Bollinger,
Ulrich Hedtstück,
Claus-Rainer Rollinger:
Reasoning for Text Understanding - Knowledge Processing in the 1st LILOG-Prototype
IWBS Report 72: (1989) |
| 5 | | 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) |
| 4 | | Ulrich Hedtstück,
Peter H. Schmitt:
A Calculus for Order-Sorted Predicate Logic with Sort Literals
IWBS Report 95: (1989) |
| 1988 |
|---|
| 3 | | Karl-Hans Bläsius,
Ulrich Hedtstück:
Resolution with Feature Unification
LILOG-Report 51: (1988) |
| 1987 |
|---|
| 2 | | Karl-Hans Bläsius,
Ulrich Hedtstück:
Resolution with Feature Unification.
CSL 1987: 17-26 |
| 1983 |
|---|
| 1 | | Ulrich Hedtstück:
On the argument complexity of multiply transitive Boolean functions.
Logic and Machines 1983: 390-396 |
