Jean-François Baget

According to our database1, Jean-François Baget authored at least 43 papers between 1999 and 2018.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2018
Bringing existential variables in answer set programming and bringing non-monotony in existential rules: two sides of the same coin.
Ann. Math. Artif. Intell., 2018

2017
Answering Conjunctive Regular Path Queries over Guarded Existential Rules.
Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017

2016
\exists -ASP for Computing Repairs with Existential Ontologies.
Proceedings of the Scalable Uncertainty Management - 10th International Conference, 2016

A General Modifier-Based Framework for Inconsistency-Tolerant Query Answering.
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.
Proceedings of the Logics in Artificial Intelligence - 15th European Conference, 2016

2015
Graal: A Toolkit for Query Answering with Existential Rules.
Proceedings of the Rule Technologies: Foundations, Tools, and Applications, 2015

Datalog+, RuleML and OWL 2: Formats and Translations for Existential Rules.
Proceedings of the RuleML 2015 Challenge, 2015

Combining Existential Rules and Transitivity: Next Steps.
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.
CoRR, 2014

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

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

Extending Acyclicity Notions for Existential Rules.
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.
Proceedings of the Semantic Web: ESWC 2013 Satellite Events, 2013

2012
A Generic Platform for Ontological Query Answering.
Proceedings of the Research and Development in Intelligent Systems XXIX, 2012

A Generic Querying Algorithm for Greedy Sets of Existential Rules.
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.
Artif. Intell., 2011

Towards Farsighted Dependencies for Existential Rules.
Proceedings of the Web Reasoning and Rule Systems - 5th International Conference, 2011

Walking the Complexity Lines for Generalized Guarded Existential Rules.
Proceedings of the IJCAI 2011, 2011

Ontological conjunctive query answering over semi-structured KBs.
Proceedings of the Workshops Proceedings of the 27th International Conference on Data Engineering, 2011

2010
Walking the Decidability Line for Rules with Existential Variables.
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.
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

Translations between RDF(S) and Conceptual Graphs.
Proceedings of the Conceptual Structures: From Information to Intelligence, 2010

2009
Extending SPARQL with regular expression patterns (for querying RDF).
J. Web Semant., 2009

Extending Decidable Cases for Rules with Existential Variables.
Proceedings of the IJCAI 2009, 2009

Default Conceptual Graph Rules: Preliminary Results for an Agronomy Application.
Proceedings of the Conceptual Structures: Leveraging Semantic Technologies, 2009

2008
Constrained Regular Expressions in SPARQL.
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.
Proceedings of the Conceptual Structures: Knowledge Visualization and Reasoning, 2008

DL-SR: a Lite DL with Expressive Rules: Preliminary Results.
Proceedings of the 21st International Workshop on Description Logics (DL2008), 2008

2007
Bi-Intervals for Backtracking on Temporal Constraint Networks.
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.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

A Datatype Extension for Simple Conceptual Graphs and Conceptual Graphs Rules.
Proceedings of the Conceptual Structures: Knowledge Architectures for Smart Applications, 2007

2006
Rules Dependencies in Backward Chaining of Conceptual Graphs Rules.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

Simple Conceptual Graphs and Simple Concept Graphs.
Proceedings of the Conceptual Structures: Inspiration and Application, 2006

2005
RDF Entailment as a Graph Homomorphism.
Proceedings of the Semantic Web, 2005

2004
Homomorphismes d'hypergraphes pour la subsomption en RDF/RDFS.
Obj. Logiciel Base données Réseaux, 2004

Improving the Forward Chaining Algorithm for Conceptual Graphs Rules.
Proceedings of the Principles of Knowledge Representation and Reasoning: Proceedings of the Ninth International Conference (KR2004), 2004

2003
XML et les objets (objectif XML).
Obj. Logiciel Base données Réseaux, 2003

2002
Extensions of Simple Conceptual Graphs: the Complexity of Rules and Constraints.
J. Artif. Intell. Res., 2002

2001
Backtracking Through Biconnected Components of a Constraint Graph.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

The SG Family: Extensions of Simple Conceptual Graphs.
Proceedings of the Seventeenth International Joint Conference on Artificial Intelligence, 2001

2000
Extending the CG Model by Simulations.
Proceedings of the Conceptual Structures: Logical, 2000

1999
A Pure Graph-Based Solution to the SCG-1 Initiative.
Proceedings of the Conceptual Structures: Standards and Practices, 1999

A Simulation of Co-identity with Rules in Simple and Nested Graphs.
Proceedings of the Conceptual Structures: Standards and Practices, 1999


  Loading...