Search - Université Paris-Saclay Access content directly

Filter your results

51 Results
Structure: Internal structure identifier : 90448

Refining restarts strategies for SAT and UNSAT formulae

Gilles Audemard , Laurent Simon
18th International Conference on Principles and Practice of Constraint Programming, Oct 2012, Québec City, Canada
Conference papers hal-00790508v1

Special Volume on the SAT 2005 competitions and evaluations

L. Simon , Daniel Le Berre
IOS Press, pp.237, 2006
Books hal-00459960v1
Image document

On maximal frequent itemsets mining with constraints

Said Jabbour , Fatima Ezzahra , Imen Ouled Dlala , Badran Raddaoui , Lakhdar Sais
CP 2018 : 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.554-569, ⟨10.1007/978-3-319-98334-9_36⟩
Conference papers hal-03700069v1

Du Glucose en goutte à goutte pour les coeurs inconsistants

Gilles Audemard , Jean-Marie Lagniez , Laurent Simon
Journées Francophones de Programmation par Contraintes, Jun 2013, Aix en Provence, France
Conference papers hal-00845489v1
Image document

Conférence Nationale d'Intelligence Artificielle Année 2019

Caroline Chanel , Tiago De Lima , Sylvie Doutre , Amal Elfallah-Seghrouchni , Frederick Garcia , et al.
Caroline Chanel; Tiago de Lima; Jérôme Lang; Maxime Lefrançois; Juliette Mattioli; Emmanuel Rachelson; Olivier Simonin; Pierre Zweigenbaum; Yves Demazeau; Dominique Longin; Sylvie Doutre; Amal Elfallah-Seghrouchni; Frederick Garcia; Nathalie Hernandez. Conférence Nationale d’Intelligence Artificielle (CNIA 2019), Jul 2019, Toulouse, France. Association Française pour l'Intelligence Artificielle (AFIA), 2019
Proceedings hal-02458049v1
Image document

Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificielle

Zied Bouraoui , Valérie Camps , Éric Gaussier , Maxime Guériau , Christelle Launois , et al.
pp.1-239, 2022
Proceedings hal-03777860v2
Image document

Conférence Nationale d'Intelligence Artificielle Année 2020

Isabelle Bloch , Zied Bouraoui , Stephan Brunessaux , Sylvie Doutre , Amal El Fallah-Seghrouchni , et al.
Association Française pour l'Intelligence Artificielle (AFIA), 2020
Proceedings hal-02964840v1
Image document

Learning Divide-and-Evolve Parameter Configurations with Racing

Jacques Bibai , Pierre Savéant , Marc Schoenauer , Vincent Vidal
ICAPS-09-Workshop on Planning and Learning, ICAPS and University of Macedonia, Sep 2009, Thessaloniki, Greece
Conference papers inria-00406626v1
Image document

An Ontology-Based Modelling of Vietnamese Traditional Dances

Karim Tabia , Thanh-Nghi Do , Huu-Hoa Nguyen , Truong-Thanh Ma , Salem Benferhat , et al.
SEKE 2018 - 13th International Conference on Software Engineering and Knowledge Engineering, Jul 2018, Redwood City, California, United States
Conference papers hal-03299699v1
Image document

Fifty-Five Solvers in Vancouver: The SAT 2004 Competition

Daniel Le Berre , L. Simon
Seventh International Conference on Theory and Applications of Satisfiability Testing(SAT'04), 2004, Vancouver, Canada. pp.321-344
Conference papers hal-00397465v1

On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework

Said Jabbour , Yue Ma , Raddaoui Badran , Lakhdar Sais
International Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus
Conference papers hal-01139031v1

A MIS Partition Based Framework for Measuring Inconsistency

Said Jabbour , Yue Ma , Raddaoui Badran , Lakhdar Sais , Yakoub Salhi
15th International Conference on Principles of Knowledge Representation and Reasoning (KR'16), Apr 2016, Cape Town, South Africa
Conference papers hal-01262615v1

Handling disagreement in ontologies-based reasoning via argumentation

Saïd Jabbour , Yue Ma , Badran Raddaoui
WISE 2019: 20th International Conference on Web Information Systems Engineering, Nov 2019, Hong-Kong, China. pp.389 - 406, ⟨10.1007/978-3-030-34223-4_25⟩
Conference papers hal-02354031v1

A parallel SAT-based framework for closed frequent itemsets mining

Imen Ouled Dlala , Saïd Jabbour , Badran Raddaoui , Lakhdar Sais
CP 2018: 24th International Conference on Principles and Practice of Constraint Programming, Aug 2018, Lille, France. pp.570 - 587, ⟨10.1007/978-3-319-98334-9_37⟩
Conference papers hal-01895369v1
Image document

Experimenting a Conflict-Driven Clause Learning Algorithm

Gilles Audemard , Laurent Simon
14th International Conference on Principles and Practice of Constraint Programming (CP'08), 2008, Sydney, Australia. pp.630-634
Conference papers hal-00865295v1

GUNSAT : a greedy local search algorithm for unsatisfiability

Gilles Audemard , L. Simon
International Joint Conference on Artificial Intelligence(IJCAI'07), Jan 2007, Hyderabad, India. pp.2256--2261
Conference papers hal-00438054v1

From Shallow to Deep Interactions Between Knowledge Representation, Reasoning and Machine Learning (Kay R. Amel group)

Zied Bouraoui , Antoine Cornuéjols , Thierry Denœux , Sébastien Destercke , Didier Dubois , et al.
2019
Preprints, Working Papers, ... hal-03253808v1

As Close as It Gets

Mike Behrisch , Miki Hermann , Stefan Mengel , Gernot Salzer
10th International Workshop on Algorithms and Computation (WALCOM '16), 2016, Kathmandu, Nepal. pp.222--235
Conference papers hal-03300998v1

Du glucose en goutte à goutte pour les coeurs insatisfiables

Gilles Audemard , Jean-Marie Lagniez , Laurent Simon
9ièmes Journées Francophones de Programmation par Contraintes (JFPC'13), 2013, Aix-en-Provence, France. pp.59-66
Conference papers hal-00869919v1

Une restriction de la résolution étendue pour les démonstrateurs SAT modernes

Laurent Simon , Gilles Audemard , George Katsirelos
JFPC, Jun 2010, Orléans, France
Conference papers inria-00543640v1

On the consistency problem for the INDU calculus

Philippe Balbiani , Jean-François Condotta , Gérard Ligozat
Journal of Applied Logic, 2006, Special issue: TIME-ICTL 2003, 4 (2), pp.119-140. ⟨10.1016/j.jal.2005.06.002⟩
Journal articles hal-03300285v1
Image document

Actes des 17èmes Journées d'Intelligence Artificielle Fondamentale - JIAF-JFPDA 2023

Zied Bouraoui , François Schwarzentruber , Anaelle Wilczynski
2023
Proceedings hal-04209856v1

Handling conflicts in uncertain ontologies using deductive argumentation

Amel Bouzeghoub , Said Jabbour , Yue Ma , Raddaoui Badran
WI 2017 : International Conference on Web Intelligence, Aug 2017, Leipzig, Germany. pp.65-72, ⟨10.1145/3106426.3106454⟩
Conference papers hal-01615903v1

Représentations compactes des graphes et contraintes pseudo booléennes

Said Jabbour , Nizar Mhadhbi , Badran Raddaoui , Lakhdar Sais
EGC 2019: 19ème conférence francophone sur l'Extraction et la Gestion des Connaissances, Jan 2019, Metz, France. pp.407-412
Conference papers hal-02441157v1

Finding overlapping communities in networks using propositional satisfiability

Saïd Jabbour , Nizar Mhadhbi , Badran Raddaoui , Lakhdar Sais
EDA 2017 : Journées francophones sur les Entrepôts de Données et l'Analyse en Ligne, Business Intelligence & Big Data, May 2017, Lyon, France. pp.67 - 80
Conference papers hal-01696134v1

Triangle-driven community detection in large graphs using propositional satisfiability

Saïd Jabbour , Nizar Mhadhbi , Badran Raddaoui , Lakhdar Sais
AINA 2018: 32nd International Conference on Advanced Information Networking and Applications, May 2018, Cracow, Poland. pp.437 - 444, ⟨10.1109/AINA.2018.00072⟩
Conference papers hal-01870266v1

Glucose 2.1: Aggressive - but Reactive - Clause Database Management, Dynamic Restarts

Gilles Audemard , Laurent Simon
International Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy
Conference papers hal-00845494v1
Image document

Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?

Gilles Audemard , Mouny Samy Modeliar , Laurent Simon
Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.245-255
Conference papers hal-00390919v1
Image document

Cooperation control in Parallel SAT Solving: a Multi-armed Bandit Approach

Nadjib Lazaar , Said Jabbour , Youssef Hamadi , Michèle Sebag
NIPS 2012 - Workshop on Bayesian Optimization & Decision Making, Dec 2012, Lake Tahoe, United States
Conference papers hal-00870946v1

Detecting highly overlapping community structure by model-based maximal clique expansion

Saïd Jabbour , Nizar Mhadhbi , Badran Raddaoui , Lakhdar Sais
BigData 2018: IEEE international conference on Big Data, Dec 2018, Seattle, United States. pp.1031 - 1036, ⟨10.1109/BigData.2018.8621868⟩
Conference papers hal-01994552v1