Demo Data from EDBT 2026 / reviewers in the wild / expert
Swan Rocher
dblp:132/2824
· DBLP profile ↗
4ranked-venue papers
0as first author
0since 2021 · last 2016
—ORCID · none
Domains — the database's venue-derived domains; a paper can count in several
Artificial intelligence and machine learning · 4Graphics, computer vision, multimedia, augmented reality and games · 2Theory of computation · 2
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 |
Knowledge representation and reasoning · 100% | |
| Theoretical computer science
1 paper |
Automated reasoning and model checking · 100% |
Topics — the 4 heaviest of 4, each with the papers that count most for it
| Topic | Weight | Papers | Last | Evidence papers |
|---|---|---|---|---|
Knowledge, reasoning and agents › Knowledge representation and reasoning › inconsistency handling
inconsistency-tolerant reasoning |
0.2 | 1 | 2016 | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering · KR 2016 |
Knowledge, reasoning and agents › Knowledge representation and reasoning
query answering |
0.2 | 1 | 2016 | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering · KR 2016 |
Knowledge, reasoning and agents › Knowledge representation and reasoning › logic programming
existential rules |
0.2 | 1 | 2015 | Combining Existential Rules and Transitivity: Next Steps · IJCAI 2015 |
Automated reasoning and model checking › automated reasoning
rule-based reasoning |
0.2 | 1 | 2015 | Combining Existential Rules and Transitivity: Next Steps · IJCAI 2015 |
Methods — techniques the papers use, named apart from their topics
ontology reasoning · 0.4chase procedure · 0.4
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2016 | Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
JELIA | 7 |
| 2016 | A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia |
KR | 7 |
| 2015 | Combining Existential Rules and Transitivity: Next Steps
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher |
IJCAI | 4 |
| 2014 | Extending Acyclicity Notions for Existential RulesabstractExistential rules have been proposed for representing ontological knowledge, specifically in the context of Ontology-Based Query Answering. Entailment with existential rules is undecidable. We focus in this paper on conditions that ensure the termination of a breadth-first forward chaining algorithm known as the chase. First, we propose a new tool that allows to extend existing acyclicity conditions ensuring chase termination, while keeping good complexity properties. Second, we consider the extension to existential rules with nonmonotonic negation under stable model semantics and further extend acyclicity results obtained in the positive case. Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher |
ECAI | 4 |