Jean-François Baget

Publications

942

Citations

H-Index

2001

Active since

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université de Montpellier

Laboratoire d'Informatique, de Robotique et de Microélectronique de Montpellier

Centre National de la Recherche Scientifique

Jean-François Baget is an author at Institut national de recherche en sciences et technologies du numérique specializing in automated reasoning, engineering, and formal methods.

ORCID

Top concepts

EngineeringAutomated ReasoningSemanticsFormal MethodsLanguageLinguisticsGraph TheoryFormal VerificationKnowledge CompilationComputational Complexity

Publications per year

2001–2012

Publications

On rules with existential variables: Walking the decidability line

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier et al. · Artificial Intelligence · 2011 · 295 citations

Engineering, Automated Reasoning, Formal Methods +5

Extending SPARQL with regular expression patterns (for querying RDF)

Faisal Alkhateeb, Jean-François Baget, Jérôme Euzenat · Journal of Web Semantics · 2009 · 145 citations · Full text

Engineering, Information Retrieval, Data Science +9

Walking the complexity lines for generalized guarded existential rules

Jean-François Baget, Marie-Laure Mugnier, Sebastian Rudolph et al. · 2011 · 125 citations

Database Theory, Engineering, Abstract Complexity +15

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

Jean-François Baget, Marie-Laure Mugnier · Journal of Artificial Intelligence Research · 2002 · 112 citations · Full text

Simple Conceptual Graphs, Engineering, Graph Homomorphism +18

Extending decidable cases for rules with existential variables

Jean-François Baget, Michel Leclère, Marie-Laure Mugnier et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 94 citations

Rows per page

1–5 of 11