-
An ExpSpace Tableau-based Algorithm for SHOIQ
In this work, we propose an ExpSpace tableau-based algorithm for deciding consistency of a knowledge base in the description logic SHOIQ. The construction of this... -
C-tableaux
The Nelson-Oppen combination method combines decision procedures for first-order theories satisfying certain conditions into a single decision procedure for the union... -
Des femmes nues, des bouffons et des démons.
Editeur Jean-Pierre Huguet -
TATL: Implementation of ATL tableau-based decision procedure
International audience -
Zenon Modulo: When Achilles Outruns the Tortoise using Deduction Modulo
International audience -
The teaching of proportionality in special-needs secondary schools : constrai...
The purpose of this thesis is to investigate the teaching of proportionality to 11 to 16-year old pupils registered in special-needs schools including pupils with more... -
A characterization for all interval doubling schemes of the lattice of permut...
International audience -
Reconstruire l'exécution des opérations élémentaires dans les sources sanskri...
L'évocation des opérations élémentaires au moyen de la notation positionnelle décimale, est souvent incomplète et fragmentaire dans les sources sanskrites médiévales.... -
Semantic Labelled Tableaux for propositional BI (without bottom)
Article dans revue scientifique avec comité de lecture. internationale.
