518 citations
- Centre National de la Recherche ScientifiqueFR153 papers
- Université Toulouse III - Paul SabatierFR97 papers
- Institut de Recherche en Informatique de ToulouseFR96 papers
- Université de BordeauxFR96 papers
- Université Toulouse-I-CapitoleFR96 papers
- Université Toulouse - Jean JaurèsFR96 papers
- Institut de Mathématiques de MarseilleFR85 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR56 papers
- Château GombertFR51 papers
- Aix-Marseille UniversitéFR37 papers
- Centrale MéditerranéeFR37 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR23 papers
36 papers · 1 filter
Intuitionistic Linear Temporal Logics
Philippe Balbiani, Joseph Boudou, Martín Diéguez +1
We consider intuitionistic variants of linear temporal logic with `next', `until' and `release' based on expanding posets: partial orders equipped with an order-preserving transiti…
A Brooks-like result for graph powers
Théo Pierron
Coloring a graph consists in finding an assignment of colors such that any pair of adjacent vertices receives different colors. The minimum integer $…
RGB Point Cloud Manipulation with Triangular Structures for Artistic Image Recoloring
Baptiste Delos, Nicolas Mellado, David Vanderhaeghe +1
Usual approaches for image recoloring, such as local filtering by transfer functions and global histogram remapping, lack of accurate control or miss small groups of important pixe…
From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)
Zied Bouraoui, Antoine Cornuéjols, Thierry Denœux +9
This paper proposes a tentative and original survey of meeting points between Knowledge Representation and Reasoning (KRR) and Machine Learning (ML), two areas which have been deve…
Game Description Logic with Integers: A GDL Numerical Extension
Munyque Mittelmann, Laurent Perrussel
Many problems can be viewed as games, where one or more agents try to ensure that certain objectives hold no matter the behavior from the environment and other agents. In recent ye…
6-O-glucose palmitate synthesis with lipase: Investigation of some key parameters
Dounia Arcens, Etienne Grau, Stéphane Grelier +2
Fatty acid sugar esters represent an important class of non-ionic bio-based surfactants. They can be synthesized from vinyl fatty acids and sugars with enzyme as a catalyst. Herein…