alexandre-riazanov documents

Limited resource strategy in resolution theorem proving
Documents Limited resource strategy in resolution theorem proving
Deploying mutation impact text-mining software with the SADI Semantic Web Services framework
Documents Deploying mutation impact text-mining software with the SADI Semantic Web Services framework
Efficient instance retrieval with standard and relational path indexing
Documents Efficient instance retrieval with standard and relational path indexing
Comprehensive Self-Service Lif Science Data Federation with SADI semantic Web services and HYDRA
Science Comprehensive Self-Service Lif Science Data Federation with SADI semantic Web services and HYDRA
Towards Clinical Intelligence with SADI Semantic Web Services: a Case Study with Hospital-Acquired Infections Data
Science Towards Clinical Intelligence with SADI Semantic Web Services: a Case Study with Hospital-Acquired Infections Data
A practical introduction to SADI semantic Web services and HYDRA query tool
Science A practical introduction to SADI semantic Web services and HYDRA query tool
Expressive Querying of Semantic Databases with Incremental Query Rewriting
Science Expressive Querying of Semantic Databases with Incremental Query Rewriting
Efficient Semantic Querying of Relational Databases with Resolution
Science Efficient Semantic Querying of Relational Databases with Resolution