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

Sebastian Haufe

dblp:72/8771 · DBLP profile ↗
← Back
2ranked-venue papers
2as first author
0since 2021 · last 2012
—ORCID · none

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

Artificial intelligence and machine learning · 2 · 2 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.

Artificial intelligence
2 papers
Planning, search and constraint satisfaction · 100%
Theoretical computer science
2 papers
Automated reasoning and model checking · 100%

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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Planning, search and constraint satisfaction › game playing
general game playing		 0.222012
Automated Verification of Epistemic Properties for General Game Playing · KR 2012
Automated verification of state sequence invariants in general game playing · Artif. Intell. 2012
Automated reasoning and model checking › automated reasoning
automated verification		 0.112012
Automated Verification of Epistemic Properties for General Game Playing · KR 2012
Knowledge, reasoning and agents › Planning, search and constraint satisfaction
game playing		 0.012012
Automated verification of state sequence invariants in general game playing · Artif. Intell. 2012

Methods — techniques the papers use, named apart from their topics

epistemic logic · 0.3
YearPublicationVenuePosition
2012 Automated Verification of Epistemic Properties for General Game Playing
Sebastian Haufe, Michael Thielscher
 KR1
2012 Automated verification of state sequence invariants in general game playing
Sebastian Haufe, Stephan Schiffel, Michael Thielscher
 Artif. Intell.1