Karl-Hans Bläsius

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

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepage:

On csauthors.net:

Bibliography

2003
Domain-oriented information extraction from the Internet.
Proceedings of the Document Recognition and Retrieval X, 2003

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

1992
Graph Based Extension of the LILOG Inference Engine
IWBS Report, 1992

1991
Knowledge Based Control of the LILOG Inference Engine: Kinds of Metaknowledge.
Proceedings of the Text Understanding in LILOG, 1991

1989
Structure and Control of the L-LILOG Inference System.
Proceedings of the Sorts and Types in Artificial Intelligence, 1989

Knowledge Processing in the LILOG Project: From the first to the second Prototype.
Proceedings of the Natural Language and Logic, 1989

1988
Resolution with Feature Unification
LILOG-Report, 1988

Partial Unification for Graph Based Equational Reasoning.
Proceedings of the 9th International Conference on Automated Deduction, 1988

1987
Computergestützte Frühwarn- und Entwscheidungssysteme.
Informatik Spektrum, 1987

Regelgesteuerte Zeichenerkennung und Dokumentklassifikation.
Proceedings of the Mustererkennung 1987, 9. DAGM-Symposium, Braunschweig, 29.9., 1987

Resolution with Feature Unification.
Proceedings of the CSL '87, 1987

1986
Equality reasoning based on graphs.
PhD thesis, 1986

Against the "Anti Waltz Effect" in Equality Reasoning.
Proceedings of the GWAI-86 und 2. Österreichische Artificial-Intelligence-Tagung, 1986

1985
Equality Reasoning with Equality-paths.
Proceedings of the GWAI-85, 1985

1983
Equality Reasoning in Clause Graphics.
Proceedings of the 8th International Joint Conference on Artificial Intelligence. Karlsruhe, 1983

1981
The Markgraf Karl Refutation Procedure.
Proceedings of the 7th International Joint Conference on Artificial Intelligence, 1981


  Loading...