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

Swan Rocher

dblp:132/2824 · DBLP profile ↗
← Back
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

TopicWeightPapersLastEvidence papers
Knowledge, reasoning and agents › Knowledge representation and reasoning › inconsistency handling
inconsistency-tolerant reasoning
0.212016
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering · KR 2016
Knowledge, reasoning and agents › Knowledge representation and reasoning
query answering
0.212016
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.212015
Combining Existential Rules and Transitivity: Next Steps · IJCAI 2015
Automated reasoning and model checking › automated reasoning
rule-based reasoning
0.212015
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
YearPublicationVenuePosition
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
JELIA7
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
KR7
2015 Combining Existential Rules and Transitivity: Next Steps
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
IJCAI4
2014 Extending Acyclicity Notions for Existential Rules
abstract
Existential 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
ECAI4