518 citations
- Centre National de la Recherche ScientifiqueFR213 papers
- Université Toulouse III - Paul SabatierFR146 papers
- Institut de Recherche en Informatique de ToulouseFR145 papers
- Université Toulouse-I-CapitoleFR145 papers
- Université Toulouse - Jean JaurèsFR145 papers
- Université de BordeauxFR127 papers
- Institut de Mathématiques de MarseilleFR126 papers
- Château GombertFR88 papers
- Laboratoire Bordelais de Recherche en InformatiqueFR74 papers
- Aix-Marseille UniversitéFR45 papers
- Centrale MéditerranéeFR39 papers
- Institut de Mécanique et d'Ingénierie de BordeauxFR38 papers
4 papers · 2 filters
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…
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…
Social Choice Methods for Database Aggregation
Francesco Belardinelli, Umberto Grandi
Knowledge can be represented compactly in multiple ways, from a set of propositional formulas, to a Kripke model, to a database. In this paper we study the aggregation of informati…
Concurrency in Boolean networks
Thomas Chatain, Stefan Haar, Juraj Kolčák +2
Boolean networks (BNs) are widely used to model the qualitative dynamics of biological systems. Besides the logical rules determining the evolution of each component with respect t…