| 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 |