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

Karl-Hans Bläsius Vis

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

*2003
16EEAndreas Arens, Karl-Hans Bläsius: Domain-oriented information extraction from the Internet. DRR 2003: 286-293
1997
15EEKarl-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
11EEToni 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
10EEKarl-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
9EEKarl-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
7EEKarl-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

Coauthor Index

1Andreas Arens [16]
2Thomas Bayer [6]
3Stefan Bayerl [14]
4Toni Bollinger [11]
5Norbert Eisinger [1]
6Beate Grawemeyer [15]
7Ulrich Hedtstück [7] [8] [11] [12]
8Alexander Herold [1]
9Isabel John [15]
10Norbert Kuhn [15]
11Claus-Rainer Rollinger [10] [12]
12Jörg H. Siekmann [1] [5] [9] [10]
13Gert Smolka [1]
14Christoph Walther [1]

Colors in the list of coauthors

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