-
Integration of Information in Four-valued Logics under Non-Uniform Assumptions
International audience -
Towards Constraint-Informed Information Systems
International audience -
Multiplicative exponential proof structures and logic programming
submitted (March 2006) -
Hybrid query plan generation
http://ceur-ws.org/Vol-911 - Regular Paper -
A pragmatic reconstruction of Lambda-Prolog
International audience -
A game semantics for disjunctive logic programming
International audience -
Study of the Compilation of Contraint Logic Programming Languages over Finite...
This work focuses on the compilation of languages constraint logic programming over finite domains (DF) . Rather than taking the usual approach considering the... -
Construction et vérification de spécifications d'Interfaces Homme-Machine
Ingénieur CNAM. Rapport de stage.
