Karl-Hans Bläsius Home Page Coauthor index DBLP Vis pubzone.org

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

DBLP keys2003
16Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAndreas Arens, Karl-Hans Bläsius: Domain-oriented information extraction from the Internet. DRR 2003: 286-293
1997
15Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Beate Grawemeyer, Isabel John, Norbert Kuhn: Knowledge-based Document Analysis. ICDAR 1997: 728-731
1992
14no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLStefan Bayerl, Karl-Hans Bläsius: Graph Based Extension of the LILOG Inference Engine IWBS Report 229: (1992)
1991
13no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius: Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge. Text Understanding in LILOG 1991: 428-438
1989
12no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLToni 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
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-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
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Jörg H. Siekmann: Partial Unification for Graph Based Equational Reasoning. CADE 1988: 397-414
8no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Ulrich Hedtstück: Resolution with Feature Unification LILOG-Report 51: (1988)
1987
7Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Ulrich Hedtstück: Resolution with Feature Unification. CSL 1987: 17-26
6no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLThomas Bayer, Karl-Hans Bläsius: Regelgesteuerte Zeichenerkennung und Dokumentklassifikation. DAGM-Symposium 1987: 88
5no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius, Jörg H. Siekmann: Computergestützte Frühwarn- und Entwscheidungssysteme. Informatik Spektrum 10(1): 24-39 (1987)
1986
4no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius: Against the ``Anti Waltz Effect'' in Equality Reasoning. GWAI 1986: 230-241
1985
3no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius: Equality Reasoning with Equality-paths. GWAI 1985: 57-76
1983
2no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-Hans Bläsius: Equality Reasoning in Clause Graphics. IJCAI 1983: 936-939
1981
1no EE pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLKarl-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 © Fri Mar 12 12:56:28 2010 by Michael Ley (ley@uni-trier.de)