Karl-Hans Bläsius

Demonstration venue · read-only. Every page can be browsed; the buttons that would change it are switched off. Create an account to run TaxoReview on your own data. A simulation from public publication records: the people listed were not invited and did not agree to review.

? Tutorial for this page

Demo Data from EDBT 2026 / reviewers in the wild / expert

dblp:b/KHBlasius · DBLP profile ↗

← Back

4ranked-venue papers

4as first author

0since 2021 · last 1997

—ORCID · none

Domains — the database's venue-derived domains; a paper can count in several

Artificial intelligence and machine learning · 4 · 4 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 2 first-authorDatabases, data management, data science and information retrieval · 1 · 1 first-authorTheory of computation · 1 · 1 first-author

Expertise — from the expertise taxonomy: the topics of the expert's papers under the CCF categories. A weight counts papers with recency: 1 for a paper about the topic, 0.3 when the topic is its context, halved every five years.

Theoretical computer science

2 papers

Automated reasoning and model checking · 72% Computational complexity · 20% Logic in computer science · 8%

Topics — the 4 heaviest of 4, each with the papers that count most for it

Topic	Papers	Last	Evidence papers
Automated reasoning and model checking theorem proving	2	1983	Equality Reasoning in Clause Graphics · IJCAI 1983 The Markgraf Karl Refutation Procedure · IJCAI 1981
Automated reasoning and model checking equational reasoning	1	1983	Equality Reasoning in Clause Graphics · IJCAI 1983
Computational complexity › proof complexity refutation algorithms	1	1981	The Markgraf Karl Refutation Procedure · IJCAI 1981
Logic in computer science proof theory	1	1983	Equality Reasoning in Clause Graphics · IJCAI 1983

Year	Publication	Venue	Position
1997	Knowledge-based Document Analysis abstract The performance of document analysis systems significantly depends on knowledge about the application domain that can be exploited in the analysis process. Typically one has to deal with different sources of knowledge like syntactic knowledge, semantic knowledge or strategic knowledge guiding the analysis process. We present a knowledge based document analysis system based on tasks. It allows to model and to interpret structural knowledge about documents and knowledge about the analysis process declaratively in a common framework. Karl-Hans Bläsius, Beate Grawemeyer, Isabel John, Norbert Kuhn	ICDAR	1
1988	Partial Unification for Graph Based Equational Reasoning Karl-Hans Bläsius, Jörg H. Siekmann	CADE	1
1983	Equality Reasoning in Clause Graphics Karl-Hans Bläsius	IJCAI	1
1981	The Markgraf Karl Refutation Procedure Karl-Hans Bläsius, Norbert Eisinger, Jörg H. Siekmann, Gert Smolka, Alexander Herold, Christoph Walther	IJCAI	1