Karl-Hans Blsius
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
1981–1997
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1997 | ICDAR | Knowledge-based Document Analysis. | Karl-Hans Blsius, Beate Grawemeyer, Isabel John, Norbert Kuhn |
| 1988 | CADE | Partial Unification for Graph Based Equational Reasoning. | Karl-Hans Blsius, Jrg H. Siekmann |
| 1987 | CSL | Resolution with Feature Unification. | Karl-Hans Blsius, Ulrich Hedtstck |
| 1986 | KI | Against the "Anti Waltz Effect" in Equality Reasoning. | Karl-Hans Blsius |
| 1985 | KI | Equality Reasoning with Equality-paths. | Karl-Hans Blsius |
| 1983 | IJCAI | Equality Reasoning in Clause Graphics. | Karl-Hans Blsius |
| 1981 | IJCAI | The Markgraf Karl Refutation Procedure. | Karl-Hans Blsius, Norbert Eisinger, Jrg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther |