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.
EDBT 2026 Demo / reviewers in the wild / expert

Kristof Verschaetse

dblp:09/4398 · DBLP profile ↗
← Back
4ranked-venue papers
2as first author
0since 2021 · last 1991
—ORCID · none

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

Software engineering, systems software and programming languages · 3 · 2 first-authorTheory of computation · 3 · 2 first-authorArtificial intelligence and machine learning · 1

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
1 paper
Logic in computer science · 67% Computational complexity · 33%

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

TopicWeightPapersLastEvidence papers
Logic in computer science
logic programming		 0.011989
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses · Artif. Intell. 1989
Logic in computer science › logic programming
prolog		 0.011989
On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses · Artif. Intell. 1989

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

clause restriction · 0.0
YearPublicationVenuePosition
1991 Deriving Termination Proofs for Logic Programs, Using Abstract Procedures
Kristof Verschaetse, Danny De Schreye
 ICLP1
1990 A Practical Technique for Detecting Non-terminating Queries for a Restricted Class of Horn Clauses, Using Directed, Weighted Graphs
Danny De Schreye, Kristof Verschaetse, Maurice Bruynooghe
 ICLP2
1990 Generation and Compilation of Efficient Computation Rules
Kristof Verschaetse, Danny De Schreye, Maurice Bruynooghe
 ICLP1
1989 On the Existence of Nonterminating Queries for a Restricted Class of PROLOG-Clauses
Danny De Schreye, Maurice Bruynooghe, Kristof Verschaetse
 Artif. Intell.3