Karl-Hans Bläsius

According to our database, Karl-Hans Bläsius authored at least 16 papers between 1981 and 2021.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2021

Unintended Nuclear War.

Karl-Hans Bläsius, Jörg H. Siekmann

Künstliche Intell., 2021

2003

Domain-oriented information extraction from the Internet.

Andreas Arens, Karl-Hans Bläsius

Proceedings of the Document Recognition and Retrieval X, 2003

1997

Knowledge-based Document Analysis.

Karl-Hans Bläsius, Beate Grawemeyer, Isabel John, Norbert Kuhn

Proceedings of the 4th International Conference Document Analysis and Recognition (ICDAR '97), 1997

1992

Graph Based Extension of the LILOG Inference Engine

Stefan Bayerl, Karl-Hans Bläsius

IWBS Report, 1992

1991

Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge.

Karl-Hans Bläsius

Proceedings of the Text Understanding in LILOG, 1991

1989

Structure and Control of the L-LILOG Inference System.

Karl-Hans Bläsius, Claus-Rainer Rollinger, Jörg H. Siekmann

Proceedings of the Sorts and Types in Artificial Intelligence, 1989

Knowledge Processing in the LILOG Project: From the first to the second Prototype.

Toni Bollinger, Karl-Hans Bläsius, Ulrich Hedtstück

Proceedings of the Natural Language and Logic, 1989

1988

Resolution with Feature Unification

Karl-Hans Bläsius, Ulrich Hedtstück

LILOG-Report, 1988

Partial Unification for Graph Based Equational Reasoning.

Karl-Hans Bläsius, Jörg H. Siekmann

Proceedings of the 9th International Conference on Automated Deduction, 1988

1987

Computergestützte Frühwarn- und Entwscheidungssysteme.

Karl-Hans Bläsius, Jörg H. Siekmann

Inform. Spektrum, 1987

Regelgesteuerte Zeichenerkennung und Dokumentklassifikation.

Thomas Bayer, Karl-Hans Bläsius

Proceedings of the Mustererkennung 1987, 9. DAGM-Symposium, Braunschweig, 29.9., 1987

1986

Equality reasoning based on graphs.

Karl-Hans Bläsius

PhD thesis, 1986

Against the "Anti Waltz Effect" in Equality Reasoning.

Karl-Hans Bläsius

Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985

Equality Reasoning with Equality-paths.

Karl-Hans Bläsius

Proceedings of the GWAI-85, 1985

1983

Equality Reasoning in Clause Graphics.

Karl-Hans Bläsius

Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981

The Markgraf Karl Refutation Procedure.

Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther

Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981