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 Ochremiak. 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

  • Joanna Ochremiak co-organizes the Finite Model Theory Dagstuhl workshop in 2022.
  • [Apr-2021] RATIO becomes a formal team of LaBRI. Hooray!
  • [Feb-2021] 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 a course on graph databases at ESSLLI 2021 and RW 2021
  • Oberwolfach workshop on Homogeneous Structures: Model Theory meets Universal Algebra co-organized by Joanna Ochremiak.
  • [Sep-2020] In-person weekly seminar restarts on Thursday 10 September. See »
  • [Jul-2020] One PhD and two post-doc positions openings in the framework of the INTENDED project. More »
  • [Jan-2020] Kickoff meeting on 23 January. A research group is born!

Who are we?

MB

Meghyn Bienvenu

DR CNRS

SB

Sougata Bose

PhD student

GC

Gianluca Cima

Postdoctoral fellow

DF

Diego Figueira

CR CNRS
(head)

RF

Rohan Fossé

PhD student

OG

Olivier Gauwin

MCF Univ Bordeaux

SL

Sylvain Lombardy

PR Bordeaux INP

QM

Quentin Manière

PhD student

RM

Rémi Morvan

PhD student

AM

Anca Muscholl

PR Univ Bordeaux

JO

Joanna Ochremiak

CR CNRS
(deputy head)

VP

Vincent Penelle

MCF Univ Bordeaux

VR

Varun Ramanathan

PhD student

LS

Laurent Simon

PR Bordeaux INP

MZ

Marc Zeitoun

PR Univ Bordeaux

Group meetings

Tuesdays 2pm in room 178

When Where Who What
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 Ochremiak, 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 Ochremiak [GdT Logic+Data] Basics of CSP (3/3)
11/06/2019, 14h15 064 Joanna Ochremiak [GdT Logic+Data] Basics of CSP (2/3)
04/06/2019, 13h30 071 Joanna Ochremiak [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)