Biblio

Export 64 results:
[ Author(Asc)] Title Type Year
Filters: First Letter Of Last Name is A  [Clear All Filters]
A B C D E F G H I J K L M N O P Q R S T U V W X Y Z 
A
E. Akbari Azirani, Goasdoué, F., Manolescu, I., and Roatis, A., Efficient OLAP Operations for RDF Analytics. OAK team, Inria Saclay ; INRIA, 2015.
N. Aussenac-Gilles, Charlet, J., and Reynaud, C., Les enjeux de l'Ingénierie des connaissances, in Information, Interaction, Intelligence - Le point sur le i(3), F. Sedes, Ogier, J. M., and Marquis, P., Eds. Cepadues, 2012.
G. Audemard and Simon, L., Predicting Learnt Clauses Quality in Modern SAT Solver, in Proc. of International Joint Conference on Artificial Intelligence (IJCAI), Pasadena, États-Unis d'Amérique, 2009.
G. Audemard and Simon, L., Refining restarts strategies for SAT and UNSAT formulae, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec City, Canada, 2012, pp. 118-126.
G. Audemard, Modeliar, M. Samy, and Simon, L., Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus?, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Orléans, France, 2009, pp. 245-255.
G. Audemard, Lagniez, J. - M., and Simon, L., Du Glucose en goutte à goutte pour les coeurs inconsistants, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), Aix en Provence, France, 2013.
G. Audemard and Simon, L., Experimenting with Small Changes in Conflict-Driven Clause Learning Algorithms, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), 2008.
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.
G. Audemard and Simon, L., Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts, in Proc. of International Workshop of Pragmatics of SAT (Affiliated to SAT), Trento, Italie, 2012.
G. Audemard, Lagniez, J. - M., and Simon, L., Just-in-Time Compilation of Knowledge Bases, in International Joint Conference on Artificial Intelligence (IJCAI), Pékin, Chine, 2013.
M. Atencia, Chein, M., Croitoru, M., David, J., Leclère, M., Pernelle, N., Sais, F., Scharffe, F., and Symeonidou, D., Defining Key Semantics for the RDF Datasets: Experiments and Evaluations, in International Conference on Conceptual Structures, (ICCS), Iasi, Romania, 2014, vol. LNCS, pp. 65-78.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis, in Proc. of International Conference on Logic for Programming, Artificial Intelligence and Reasoning (LPAR), Doha, Qatar, 2008.
V. Armant, Simon, L., and Dague, P., Distributed tree decomposition with privacy, in Proc. of International Conference on Principles and Practice of Constraint Programming (CP), Québec, Canada, 2012, pp. 102-117.
V. Armant, {Diagnostic distribué de systèmes respectant la confidentialité, Université Paris Sud, 2012.
V. Armant, Dague, P., and Simon, L., Distributed Consistency-Based Diagnosis without Conflicts, in Proc. of International Workshop on Principles of Diagnosis (DX), 2008.
V. Armant, Dague, P., and Simon, L., Diagnostic Distribué à base de modèles sans calcul préalable des conflits, in Actes des Journées Francophones de Programmation par Contraintes (JFPC), 2008, pp. 41–48.
V. Armant, Dague, P., and Simon, L., Distributed Tree Decomposition by Local Elections with One Token, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), Toulouse, France, 2012.
V. Armant, Caractérisation des schémas de partage garantissant la compilation distribuée des modèles d'un système, in Actes des Journées de l'Intelligence Artificielle Fondamentale, (JIAF), 2013.
A. Arioua, Croitoru, M., Papaleo, L., Pernelle, N., and Rocher, S., Explanation Dialogues on Erroneous SameAs Using Argumentation Theory, in {ICCS: International Conference on Conceptual Structures}, Annecy, France, 2016.
A. Arioua, Croitoru, M., Papaleo, L., Pernelle, N., and Rocher, S., On the Explanation of SameAs Statements using Argumentation, in {SUM: Scalable Uncertainty Management}, Nice, France, 2016.
A. Arion, Bonifati, A., Manolescu, I., and Pugliese, A., Path Summaries and Path Partitioning in Modern XML Databases, World Wide Web, vol. 11, pp. 117-151, 2008.
A. Aranda-Andújar, Bugiotti, F., Camacho-Rodriguez, J., Colazzo, D., Goasdoué, F., Kaoudi, Z., and Manolescu, I., AMADA: Web Data Repositories in the Amazon Cloud, in ACM International Conference on Information and Knowledge Management, Maui, United States, 2012.
E. Antoine, Galland, A., Lyngbaek, K., Marian, A., and Polyzotis, N., Social Networking on top of the WebdamExchange System, in Proc. of International Conference on Data Engineering (ICDE), Hannover, Germany, 2011, pp. 1300-1303.
A. Analyti, Tzitzikas, Y., and Spyratos, N., Specifying Valid Compound Terms in Interrelated Faceted Taxonomies, in International Conference on Conceptual Modeling, 2009, pp. 360-373.
T. J. Ameloot, Van den Bussche, J., and Waller, E., On the expressive power of update primitives, in Actes des Journées Bases de Données Avancées (BDA), 2013.

Pages