-
Knowledge-based Approaches for Modelling the 3D Structural Interactome
Understanding how the protein interactome works at a structural level could provide useful insights into the mechanisms of diseases. Comparative homology modelling and... -
Graph Structures for Knowledge Representation and Reasoning, Proceeding of Se...
Second International Workshop, GKR 2011, Barcelona, Spain, July 16, 2011. Revised Selected Papers -
Linearizing some recursive logic programs
On donne dans cet article une condition suffisante pour que le plus petit point fixe de l'équation X = a + f(X)X soit égal au plus petit point fixe de l'équation X = a... -
CLP a technology for the interactive resolution of spatial configuration task...
International audience -
An Automated Debugger for Mercury - Opium-M 0.1 User and Reference Manuals
This document gathers the user manual and the reference manual of Opium-M, an analyser of execution traces of Mercury Programs. Opium-M is an adaptation to Mercury of... -
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.
