Swan Rocher

According to our database, Swan Rocher authored at least 13 papers between 2013 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.

Jean-François Baget, Laurent Garcia, Fabien Garreau, Claire Lefèvre, Swan Rocher, Igor Stéphan

Ann. Math. Artif. Intell., 2018

2016

Querying Existential Rule Knowledge Bases: Decidability and Complexity. (Interrogation de Bases de Connaissances avec Règles Existentielles : Décidabilité et Complexité).

Swan Rocher

PhD thesis, 2016

\exists -ASP for Computing Repairs with Existential Ontologies.

Jean-François Baget, Zied Bouraoui, Farid Nouioua, Odile Papini, Swan Rocher, Éric Würbel

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

On the Explanation of SameAs Statements Using Argumentation.

Abdallah Arioua, Madalina Croitoru, Laura Papaleo, Nathalie Pernelle, Swan Rocher

Proceedings of the Scalable Uncertainty Management - 10th International Conference, 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

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Fifteenth International Conference, 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

Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015

Graal: A Toolkit for Query Answering with Existential Rules.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter

Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.

Jean-François Baget, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Swan Rocher, Clément Sipieter

Proceedings of the RuleML 2015 Challenge, 2015

Combining Existential Rules and Transitivity: Next Steps.

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Swan Rocher

Proceedings of the Twenty-Fourth International Joint Conference on Artificial Intelligence, 2015

2014

Extending Acyclicity Notions for Existential Rules (\emph{long version}).

Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

CoRR, 2014

Revisiting Chase Termination for Existential Rules and their Extension to Nonmonotonic Negation.

Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

CoRR, 2014

Extending Acyclicity Notions for Existential Rules.

Jean-François Baget, Fabien Garreau, Marie-Laure Mugnier, Swan Rocher

Proceedings of the ECAI 2014 - 21st European Conference on Artificial Intelligence, 18-22 August 2014, Prague, Czech Republic, 2014

2013

Kiabora: An Analyzer of Existential Rule Bases.

Michel Leclère, Marie-Laure Mugnier, Swan Rocher

Proceedings of the Web Reasoning and Rule Systems - 7th International Conference, 2013