Filter your results
- 35
- 16
- 39
- 4
- 3
- 2
- 2
- 1
- 1
- 51
- 1
- 2
- 1
- 6
- 9
- 5
- 3
- 1
- 1
- 4
- 4
- 3
- 3
- 3
- 1
- 2
- 1
- 1
- 41
- 10
- 51
- 28
- 13
- 7
- 7
- 4
- 4
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 18
- 13
- 12
- 12
- 7
- 6
- 6
- 6
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
|
|
sorted by
|
Refining restarts strategies for SAT and UNSAT formulae18th 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 evaluationsIOS Press, pp.237, 2006
Books
hal-00459960v1
|
|||
|
On maximal frequent itemsets mining with constraintsCP 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 inconsistantsJournées Francophones de Programmation par Contraintes, Jun 2013, Aix en Provence, France
Conference papers
hal-00845489v1
|
|||
|
Conférence Nationale d'Intelligence Artificielle Année 2019Caroline 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
|
||
|
Actes CNIA 2022 : Conférence Nationale d'Intelligence Artificiellepp.1-239, 2022
Proceedings
hal-03777860v2
|
||
|
Conférence Nationale d'Intelligence Artificielle Année 2020Association Française pour l'Intelligence Artificielle (AFIA), 2020
Proceedings
hal-02964840v1
|
||
|
Learning Divide-and-Evolve Parameter Configurations with RacingICAPS-09-Workshop on Planning and Learning, ICAPS and University of Macedonia, Sep 2009, Thessaloniki, Greece
Conference papers
inria-00406626v1
|
||
|
An Ontology-Based Modelling of Vietnamese Traditional DancesSEKE 2018 - 13th International Conference on Software Engineering and Knowledge Engineering, Jul 2018, Redwood City, California, United States
Conference papers
hal-03299699v1
|
||
|
Fifty-Five Solvers in Vancouver: The SAT 2004 CompetitionSeventh 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 FrameworkInternational Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus
Conference papers
hal-01139031v1
|
|||
A MIS Partition Based Framework for Measuring Inconsistency 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 argumentationWISE 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 miningCP 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
|
|||
|
Experimenting a Conflict-Driven Clause Learning Algorithm14th 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 unsatisfiabilityInternational 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)2019
Preprints, Working Papers, ...
hal-03253808v1
|
||
As Close as It Gets10th 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 insatisfiables9iè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 modernesJFPC, Jun 2010, Orléans, France
Conference papers
inria-00543640v1
|
|||
|
On the consistency problem for the INDU calculusJournal 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
|
||
|
Actes des 17èmes Journées d'Intelligence Artificielle Fondamentale - JIAF-JFPDA 20232023
Proceedings
hal-04209856v1
|
||
Handling conflicts in uncertain ontologies using deductive argumentationWI 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éennesEGC 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 satisfiabilityEDA 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 satisfiabilityAINA 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 RestartsInternational Workshop of Pragmatics of SAT (Affiliated to SAT), Jun 2012, Trento, Italy
Conference papers
hal-00845494v1
|
|||
|
Pourquoi les solveurs SAT modernes se piquent-ils contre des cactus ?Cinquièmes Journées Francophones de Programmation par Contraintes, Jun 2009, Orléans, France. pp.245-255
Conference papers
hal-00390919v1
|
||
|
Cooperation control in Parallel SAT Solving: a Multi-armed Bandit ApproachNIPS 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 expansionBigData 2018: IEEE international conference on Big Data, Dec 2018, Seattle, United States. pp.1031 - 1036, ⟨10.1109/BigData.2018.8621868⟩
Conference papers
hal-01994552v1
|
- 1
- 2