Swan Rocher

15 papers A* 2A 1B 1Journal 5Unranked 5
YearRankTypeTitle / Venue / Authors
2018 J jnl
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.
Ann. Math. Artif. Intell.
Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan
2016 A* conf
A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.
KR
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 J jnl
A General Modifier-based Framework for Inconsistency-Tolerant Query Answering.
CoRR
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 B conf
Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis.
JELIA
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier, Odile Papini, Swan Rocher, Karim Tabia
2016 — conf
On the Explanation of SameAs Statements Using Argumentation.
SUM
Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher
2016 — —
Querying Existential Rule Knowledge Bases: Decidability and Complexity. (Interrogation de Bases de Connaissances avec Règles Existentielles : Décidabilité et Complexité).
Swan Rocher
2016 — conf
\exists -ASP for Computing Repairs with Existential Ontologies.
SUM
Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Éric Würbel
2015 A* conf
Combining Existential Rules and Transitivity: Next Steps.
IJCAI
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015 J jnl
Combining Existential Rules and Transitivity: Next Steps.
CoRR
Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher
2015 — conf
Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.
Challenge+DC@RuleML
Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2015 — conf
Graal: A Toolkit for Query Answering with Existential Rules.
RuleML
Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter
2014 J jnl
Extending Acyclicity Notions for Existential Rules (\emph{long version}).
CoRR
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2014 A conf
Extending Acyclicity Notions for Existential Rules.
ECAI
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2014 J jnl
Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.
CoRR
Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher
2013 — conf
Kiabora: An Analyzer of Existential Rule Bases.
RR
Michel Leclère, Marie-Laure Mugnier, Swan Rocher