Research interests

  • knowledge representation and reasoning
  • description logics and ontology languages
  • automated reasoning
  • SAT solving
  • CSP - constraint satisfaction problems
  • database theory
  • semistructured and graph-structured data
  • finite model reasoning
  • non-relational data models
  • logics and automata over infinite objects
  • incomplete and inconsistent information
  • query answering and static analysis

Related ongoing projects

INTENDED: Intelligent handling of imperfect information

ANR Chair in Artificial Intelligence led by Meghyn Bienvenu, involving Diego Figueira and Gianluca Cima. 2020-2024

QUID: Efficient Querying for Incomplete and Inconsistent Data

ANR project LIGM, ENS Ulm, and IRIF. Local members: Diego Figueira (local lead) and Joanna Fijalkow. 2019-2023

CQFD: Requêtes Ontologiques Complexes sur des Fédérations de Données Hétérogènese

ANR project joint with joint with 7 labs involving involving Meghyn Bienvenu (local lead) and Quentin Manière. 2019-2023

PING/ACK: Preprocessing Information for Nontrivial Goals / Advanced Compilation of Knowledge

ANR project joint with CRIL, GREYC, and IRIT, involving Laurent Simon and Rohan Fossé. 2019-2023

News

  • [Nov'24] Meghyn Bienvenu gives invited talk at the conference SUM.
  • [Nov'24] Meghyn Bienvenu gives invited talk at the conference KR.
  • [Sep'24] 6 RATIO papers accepted at KR.
  • [Sep'24] Diego Figueira co-organizes the Finite Model Theory workshop.
  • [Jun'23] Meghyn Bienvenu and co-authors received the Test-of-time award at PODS'23 for this paper.
  • [Jun'23] Joanna Fijalkow co-organizes the EPIT summer school "The Kaleidoscope of Complexity Theory". More »
  • [Oct'22] Yvon Awuklu started a PhD with Meghyn Bienvenu and Fleur Mougin.
  • [Oct'22] Sofian Maabout is now an official member of RATIO. Welcome!
  • [Sep'22] Quentin Manière defended his PhD thesis.
  • [May'22] Varun Ramanathan defended his PhD thesis.
  • Meghyn Bienvenu and Diego Figueira organize an EDBT summer school on Data and Kownledge. Bordeaux, 4–9 July 2022. More »
  • Quentin Manière received the best student contribution award at DL 2021. More »
  • Joanna Fijalkow co-organizes the Finite Model Theory Dagstuhl workshop in 2022.
  • [Apr'21] RATIO becomes a formal team of LaBRI. Hooray!
  • [Feb'21] Gianluca Cima starts postdoc at RATIO.
  • Meghyn Bienvenu is co-chair of KR 2021
  • PFIA 2021 (main French AI conference) co-organized by Laurent Simon in Bordeaux
  • Diego Figueira is giving two courses on graph databases at ESSLLI 2021 and RW 2021
  • Joanna Fijalkow co-organizes Oberwolfach workshop on Homogeneous Structures: Model Theory meets Universal Algebra.
  • [Sep'20] In-person weekly seminar restarts on Thursday 10 September. See »
  • [Jul'20] One PhD and two post-doc positions openings in the framework of the INTENDED project. More »

Who are we?

YA

Yvon Awuklu

PhD student

MB

Meghyn Bienvenu

DR CNRS

DF

Diego Figueira

DR CNRS
(head)

RJ

Robin Jean

PhD Student

PL

Pierre Lafourcade

PhD Student

SL

Sylvain Lombardy

PR Bordeaux INP

SM

Sofian Maabout

MCF Univ Bordeaux

RM

Rémi Morvan

PhD student

JO

Joanna Fijalkow

CR CNRS
(deputy head)

VP

Vincent Penelle

MCF Univ Bordeaux

LS

Laurent Simon

PR Bordeaux INP

MZ

Marc Zeitoun

PR Univ Bordeaux

Past members

SB

Sougata Bose

was: PhD student

GC

Gianluca Cima

was: Postdoctoral fellow

RF

Rohan Fossé

was: PhD student

QM

Quentin Manière

was: PhD student

VR

Varun Ramanathan

was: PhD student

DK

Daniil Kozhemiachenko

was: Postdoctoral fellow

Group meetings

Tuesdays 2pm in room 178

When Where Who What
05/05/2023, 11h00 064 Yannis Papakonstantinou Declarative ELT Pipelines
28/02/2022, 14h00 076 Elise Perrotin Lightweight epistemic logic, planning, and more
21/02/2022, 14h00 178 Balder ten Cate [M2F] Data examples for conjunctive queries
14/02/2023, 14h00 178 Anantha Padmanabha Algorithms for consistent query answering under primary key constraints
14/02/2023, 14h00 064 Lorenzo Marconi Confidentiality-preserving query answering in ontologies
06/12/2022, 14h00 178 Rémi Morvan [M2F] Approximation and Semantic Tree-width of Conjunctive Regular Path Queries
29/11/2022, 14h00 178 Liat Peterfreund Querying Incomplete Numerical Data: Between Certain and Possible Answers
30/9/2022, 14h00 Amphi Quentin Manière PhD defense "Counting queries in ontology-based data access"
30/9/2022, 10h45 Amphi Marie-Christine Rousset Detecting and Explaining Privacy Risks on Temporal Data
30/9/2022, 9h30 Amphi Carsten Lutz Enumerating Answers to Ontology-Mediated Queries
27/9/2022, 14h00 178 Sofian Maabout Using Functional Dependencies (FD's) to Optimize some Multidimensional Queries (MQ's)
7/6/2022, 14h00 178 Gianluca Cima LACE: A Logical Approach to Collective Entity Resolution
31/5/2022, 14h00 178 Sanja Lukumbuzya Bounded Predicates in Description Logics with Counting
17/5/2022, 10h30 Amphi Varun Ramanathan PhD defense "Synchronous relations and the complexity of query evaluation"
10/5/2022, 14h00 178 Stefan Mengel Characterizing Tseitin-formulas with short regular resolution refutations
12/4/2022, 14h00 178 Quentin Manière Counting queries over ELHI⊥ ontologies
25/01/2022, 14h00 178 Diego Figueira Querying graphs with data
05/10/2021, 14h00 178 Diego Figueira Semantic optimization of database query languages
21/5/2021, 13h30 Visio Varun Ramanathan Tractable fragments of ECRPQ
28/5/2021, 13h30 Visio Watching session Learning Logically Defined Hypotheses, by Martin Grohe
21/5/2021, 13h30 Visio Florent Capelli Certifying knowledge compilers and #SAT solvers
16/4/2021, 13h30 Visio Bartek Klin Nondeterministic and co-Nondeterministic Implies Deterministic for Data Languages
2/4/2021, 13h30 Visio All Group Watching: Jerry Zhu introduction to machine learning (2/2) »
26/3/2021, 13h30 Visio All Group Watching: Jerry Zhu introduction to machine learning (1/2) »
19/3/2021, 13h30 Visio All Group Watching: Avi Wigderson at Simons »
12/3/2021, 13h30 Visio Quentin Manière Cardinality Queries over DL-Lite Ontologies
26/2/2021, 13h30 Visio Gianluca Cima Abstraction in Ontology-based Data Management
12/2/2021, 13h30 Visio Pierre Bourhis How to efficiently extract subwords? An enumeration approach (2/2)
5/2/2021, 13h30 Visio Pierre Bourhis How to efficiently extract subwords? An enumeration approach (1/2)
29/1/2021, 13h30 Visio Antoine Mottet CSP: theory, tools, and applications (2/2)
22/1/2021, 13h30 Visio Antoine Mottet CSP: theory, tools, and applications (1/2)
15/1/2021, 13h30 Visio All Round table on our research topics (3/3) (Diego Figueira, Anca Muscholl, Igor Walukiewicz)
8/1/2021, 13h30 Visio All Round table on our research topics (2/3) (Diego Figueira)
18/12/2020, 10h30 Visio Meghyn Bienvenu [Valda] Preferred repairs over inconsistent knowledge bases and connections to argumentation
11/12/2020, 14h00 Visio All Round table on our research topics (1/3) (Joanna Fijalkow, Meghyn Bienvenu)
4/12/2020, 14h00 Visio All Group Watching: Balder ten Cate's DL 2020 invited talk »
27/11/2020, 14h00 Visio Rohan Fossé A gentle introduction to SAT
13/11/2020, 14h00 Visio All Group Watching: Arnaud Durand's PODS'20 tutorial (2/2) »
6/11/2020, 14h00 Visio All Group Watching: Arnaud Durand's PODS'20 tutorial (1/2) »
23/10/2020, 14h00 076 Diego Figueira CRPQ: containment lower bound (3/3)
9/10/2020, 14h00 076 Diego Figueira CRPQ: containment upper bound (2/3)
2/10/2020, 14h00 076 All Future plans & HCERES report
24/09/2020, 11h00 076 All Group watching: Martin Grohe's PODS'20 Keynote »
10/09/2020, 11h00 178 Diego Figueira CRPQ: introduction (1/3)
16/07/2020, 14h00 Visio All Organization in times of Covid
12/03/2020, 13h00 064 Quentin Manière Answering counting queries over DL ontologies
23/01/2020, 15h00 064 Everyone interested Kickoff meeting for the group RATIO
25/06/2019, 13h30 076 Joanna Fijalkow [GdT Logic+Data] Basics of CSP (3/3)
11/06/2019, 14h15 064 Joanna Fijalkow [GdT Logic+Data] Basics of CSP (2/3)
04/06/2019, 13h30 071 Joanna Fijalkow [GdT Logic+Data] Basics of CSP (1/3)
21/05/2019, 13h30 071 Filip Mazowiecki [GdT Logic+Data] On weighted automata (3/3)
14/05/2019, 13h30 064 Filip Mazowiecki [GdT Logic+Data] On weighted automata (2/3)
30/04/2019, 13h30 064 Meghyn Bienvenu [GdT Logic+Data] Bounds on size of rewritings and its connections with circuit complexity
02/04/2019, 10h00 073 Filip Mazowiecki [GdT Logic+Data] On weighted automata (1/3)
26/03/2019, 10h00 064 Meghyn Bienvenu [GdT Logic+Data] Introduction to querying ontologies (5/5)
02/03/2019, 13h30 071 Meghyn Bienvenu [GdT Logic+Data] Introduction to querying ontologies (4/5)
12/02/2019, 13h30 178 Meghyn Bienvenu [GdT Logic+Data] Introduction to querying ontologies (3/5)
05/02/2019, 13h30 064 Meghyn Bienvenu [GdT Logic+Data] Introduction to querying ontologies (2/5)
29/01/2019, 13h00 178 Meghyn Bienvenu [GdT Logic+Data] Introduction to querying ontologies (1/5)