Demo Data from VLDB 2026 / reviewers in the wild / expert
Jacqueline Castaing
dblp:03/3480
· DBLP profile ↗
3ranked-venue papers
2as first author
0since 2021 · last 1991
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 3 · 2 first-authorGraphics, computer vision, multimedia, augmented reality and games · 2 · 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.
| Artificial intelligence
1 paper |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
2 papers |
Automated reasoning and model checking · 67% Logic in computer science · 33% |
Topics — the 4 heaviest of 6, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning
description logic |
0.0 | 1 | 1991 | A New Formalisation of Subsumption in Frame-Based Representation Systems · KR 1991 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › semantic representation
frame-based representation |
0.0 | 1 | 1991 | A New Formalisation of Subsumption in Frame-Based Representation Systems · KR 1991 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › description logic
subsumption |
0.0 | 1 | 1991 | A New Formalisation of Subsumption in Frame-Based Representation Systems · KR 1991 |
Automated reasoning and model checking
theorem proving |
0.0 | 2 | 1985 | How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization · IJCAI 1985 Trivializing the Proof of Trivial Theorems · IJCAI 1983 |
Methods — techniques the papers use, named apart from their topics
proof simplification · 0.0induction-matching · 0.0
| Year | Publication | Venue | Position |
|---|---|---|---|
| 1991 | A New Formalisation of Subsumption in Frame-Based Representation Systems
Jacqueline Castaing |
KR | 1 |
| 1985 | How to Facilitate the Proof of Theorems by Using the Induction-matching, and by Generalization
Jacqueline Castaing |
IJCAI | 1 |
| 1983 | Trivializing the Proof of Trivial Theorems
Yves Kodratoff, Jacqueline Castaing |
IJCAI | 2 |