G. Audemard, Lagniez, J. - M., and Simon, L.,
“Improving Glucose for Incremental SAT Solving with Assumptions: Application to MUS Extraction”, in
Proc. of International Conference on Theory and Applications of Satisfiability Testing (SAT), Helsinki, Finlande, 2013.
J. C. Dos-Reis,
“Maintaining Mappings Valid between Dynamic KOS”, in
Proc. of the 10th Extended Semantic Web Conference (ESWC), Montpellier, France, 2013, vol. 7882, pp. 650-655.
N. Pernelle, Sais, F., Safar, B., Koutraki, M., and Ghosh, T.,
“N2R-Part: Identity Link Discovery using Partially Aligned Ontologies”, in
Proc. of International Workshop on Linked Data, (WOD), Paris, France, 2013, pp. 1-4.
G. Katsirelos, Sabharwal, A., Samulowitz, H., and Simon, L.,
“Resolution and Parallelizability: Barriers to the Efficient Parallelisation of SAT Solvers”, in
Conference on Artificial Intelligence (AAAI), Washington, Etats-Unis, 2013.
F. Goasdoué and Rousset, M. - C.,
“Robust Module-based Data Management”,
Transactions on Knowledge and Data Engineering, vol. 25, pp. 648-661, 2013.
Z. Kaoudi and Manolescu, I.,
“Triples in the clouds”, in
International Conference on Data Engineering, Brisbane, Australie, 2013.