dblp.uni-trier.dewww.uni-trier.de

Ulrich Hedtstück Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*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
8EEToni 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
7EEUlrich 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
2EEKarl-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

Coauthor Index

1Christoph Beierle [5] [12] [13]
2Karl-Hans Bläsius [2] [3] [8] [10]
3Toni Bollinger [6] [8] [9]
4Ulrich Furbach [11]
5Udo Pletat [5] [12] [13]
6Claus-Rainer Rollinger [6] [9] [10]
7Peter H. Schmitt [4] [7] [12] [13]
8Jörg H. Siekmann [5] [12] [13]
9Wolfgang Wernecke [11]

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)