Jean-François Baget

According to our database, Jean-François Baget authored at least 45 papers between 1999 and 2023.

Collaborative distances:

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

2023

Bounded Treewidth and the Infinite Core Chase: Complications and Workarounds toward Decidable Querying.

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

Proceedings of the 42nd ACM SIGMOD-SIGACT-SIGAI Symposium on Principles of Database Systems, 2023

2022

Rule-Based Data Access: A Use-case in Agroecology.

Elie Najm, Jean-François Baget, Marie-Laure Mugnier

Proceedings of the 16th International Rule Challenge and 6th Doctoral Consortium @ RuleML+RR 2022 co-located with 18th Reasoning Web Summer School (RW 2022) and 14th DecisionCAMP 2022 as part of Declarative AI 2022, Berlin, Germany (virtual due to Covid-19 pandemic), 26, 2022

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

2017

Answering Conjunctive Regular Path Queries over Guarded Existential Rules.

Jean-François Baget, Meghyn Bienvenu, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

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

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

Worst-case Optimal Query Answering for Greedy Sets of Existential Rules and Their Subclasses.

Sebastian Rudolph, Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier

CoRR, 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

ALASKA for Ontology Based Data Access.

Jean-François Baget, Madalina Croitoru, Bruno Paiva Lima da Silva

Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

2012

A Generic Platform for Ontological Query Answering.

Bruno Paiva Lima da Silva, Jean-François Baget, Madalina Croitoru

Proceedings of the Research and Development in Intelligent Systems XXIX, 2012

A Generic Querying Algorithm for Greedy Sets of Existential Rules.

Michaël Thomazo, Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Thirteenth International Conference, 2012

2011

On rules with existential variables: Walking the decidability line.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Artif. Intell., 2011

Towards Farsighted Dependencies for Existential Rules.

Jean-François Baget, Marie-Laure Mugnier, Michaël Thomazo

Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Walking the Complexity Lines for Generalized Guarded Existential Rules.

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph, Michaël Thomazo

Proceedings of the IJCAI 2011, 2011

Ontological conjunctive query answering over semi-structured KBs.

Bruno Paiva Lima da Silva, Jean-François Baget, Madalina Croitoru

Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010

Walking the Decidability Line for Rules with Existential Variables.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Twelfth International Conference, 2010

Default Conceptual Graph Rules, Atomic Negation and Tic-Tac-Toe.

Jean-François Baget, Jérôme Fortin

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Translations between RDF(S) and Conceptual Graphs.

Jean-François Baget, Madalina Croitoru, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier

Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

2009

Extending SPARQL with regular expression patterns (for querying RDF).

Faisal Alkhateeb, Jean-François Baget, Jérôme Euzenat

J. Web Semant., 2009

Extending Decidable Cases for Rules with Existential Variables.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Proceedings of the IJCAI 2009, 2009

Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application.

Jean-François Baget, Madalina Croitoru, Jérôme Fortin, Rallou Thomopoulos

Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

2008

Constrained Regular Expressions in SPARQL.

Faisal Alkhateeb, Jean-François Baget, Jérôme Euzenat

Proceedings of the 2008 International Conference on Semantic Web & Web Services, 2008

Griwes: Generic Model and Preliminary Specifications for a Graph-Based Knowledge Representation Toolkit.

Jean-François Baget, Olivier Corby, Rose Dieng-Kuntz, Catherine Faron-Zucker, Fabien Gandon, Alain Giboin, Alain Gutierrez, Michel Leclère, Marie-Laure Mugnier, Rallou Thomopoulos

Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

DL-SR: a Lite DL with Expressive Rules: Preliminary Results.

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier, Eric Salvat

Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007

Bi-Intervals for Backtracking on Temporal Constraint Networks.

Jean-François Baget, Sébastien Laborie

Proceedings of the 14th International Symposium on Temporal Representation and Reasoning (TIME 2007), 2007

Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise.

Rallou Thomopoulos, Jean-François Baget, Ollivier Haemmerlé

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules.

Jean-François Baget

Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006

Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.

Jean-François Baget, Eric Salvat

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Simple Conceptual Graphs and Simple Concept Graphs.

Jean-Pierre Aubert, Jean-François Baget, Michel Chein

Proceedings of the Conceptual Structures: Inspiration and Application, 2006

2005

RDF Entailment as a Graph Homomorphism.

Jean-François Baget

Proceedings of the Semantic Web - ISWC 2005, 4th International Semantic Web Conference, 2005

2004

Homomorphismes d'hypergraphes pour la subsomption en RDF/RDFS.

Jean-François Baget

Obj. Logiciel Base données Réseaux, 2004

Improving the Forward Chaining Algorithm for Conceptual Graphs Rules.

Jean-François Baget

Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003

XML et les objets (objectif XML).

Jérôme Euzenat, Amedeo Napoli, Jean-François Baget

Obj. Logiciel Base données Réseaux, 2003

2002

Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints.

Jean-François Baget, Marie-Laure Mugnier

J. Artif. Intell. Res., 2002

2001

Backtracking Through Biconnected Components of a Constraint Graph.

Jean-François Baget, Yannic S. Tognetti

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

The SG Family: Extensions of Simple Conceptual Graphs.

Jean-François Baget, Marie-Laure Mugnier

Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000

Extending the CG Model by Simulations.

Jean-François Baget

Proceedings of the Conceptual Structures: Logical, 2000

1999

A Pure Graph-Based Solution to the SCG-1 Initiative.

Jean-François Baget, David Genest, Marie-Laure Mugnier

Proceedings of the Conceptual Structures: Standards and Practices, 1999

A Simulation of Co-identity with Rules in Simple and Nested Graphs.

Jean-François Baget

Proceedings of the Conceptual Structures: Standards and Practices, 1999