|  | 2003 | 
|---|
| 16 |            | Andreas Arens,
Karl-Hans Bläsius:
Domain-oriented information extraction from the Internet.
DRR 2003: 286-293 | 
|  | 1997 | 
|---|
| 15 |            | Karl-Hans Bläsius,
Beate Grawemeyer,
Isabel John,
Norbert Kuhn:
Knowledge-based Document Analysis.
ICDAR 1997: 728-731 | 
|  | 1992 | 
|---|
| 14 |            | Stefan Bayerl,
Karl-Hans Bläsius:
Graph Based Extension of the LILOG Inference Engine
IWBS Report 229:  (1992) | 
|  | 1991 | 
|---|
| 13 |            | Karl-Hans Bläsius:
Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge.
Text Understanding in LILOG 1991: 428-438 | 
|  | 1989 | 
|---|
| 12 |            | 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 | 
| 11 |            | 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 | 
| 10 |            | Karl-Hans Bläsius,
Claus-Rainer Rollinger,
Jörg H. Siekmann:
Structure and Control of the L-LILOG Inference System.
Sorts and Types in Artificial Intelligence 1989: 165-182 | 
|  | 1988 | 
|---|
| 9 |            | Karl-Hans Bläsius,
Jörg H. Siekmann:
Partial Unification for Graph Based Equational Reasoning.
CADE 1988: 397-414 | 
| 8 |            | Karl-Hans Bläsius,
Ulrich Hedtstück:
Resolution with Feature Unification
LILOG-Report 51:  (1988) | 
|  | 1987 | 
|---|
| 7 |            | Karl-Hans Bläsius,
Ulrich Hedtstück:
Resolution with Feature Unification.
CSL 1987: 17-26 | 
| 6 |            | Thomas Bayer,
Karl-Hans Bläsius:
Regelgesteuerte Zeichenerkennung und Dokumentklassifikation.
DAGM-Symposium 1987: 88 | 
| 5 |            | Karl-Hans Bläsius,
Jörg H. Siekmann:
Computergestützte Frühwarn- und Entwscheidungssysteme.
Informatik Spektrum 10(1): 24-39 (1987) | 
|  | 1986 | 
|---|
| 4 |            | Karl-Hans Bläsius:
Against the ``Anti Waltz Effect'' in Equality Reasoning.
GWAI 1986: 230-241 | 
|  | 1985 | 
|---|
| 3 |            | Karl-Hans Bläsius:
Equality Reasoning with Equality-paths.
GWAI 1985: 57-76 | 
|  | 1983 | 
|---|
| 2 |            | Karl-Hans Bläsius:
Equality Reasoning in Clause Graphics.
IJCAI 1983: 936-939 | 
|  | 1981 | 
|---|
| 1 |            | Karl-Hans Bläsius,
Norbert Eisinger,
Jörg H. Siekmann,
Gert Smolka,
Alexander Herold,
Christoph Walther:
The Markgraf Karl Refutation Procedure.
IJCAI 1981: 511-518 |