 |
 |
 |
 |
|
|
||
|---|---|---|
|
inria-00121779v1
Communication dans un congrès
Marc Schoenauer, Pierre Savéant, Vincent Vidal. Divide-and-Evolve : une nouvelle méta-heuristique pour la planification temporelle indépendante du domaine Frédérick Garcia et Gérard Verfaillie. Journées Francophones Planification, Décision, Apprentissage, May 2006, Toulouse, 2006 |
||
|
inria-00176967v1
Chapitre d'ouvrage
Marc Schoenauer, Pierre Savéant, Vincent Vidal. Divide-and-Evolve: a Sequential Hybridization Strategy using Evolutionary Algorithms Z. Michalewicz and P. Siarry. Advances in Metaheuristics for Hard Optimization, Springer Verlag, pp.179-198, 2007, Natural Computing Series, 978-3-540-72959-4 |
||
|
hal-00977798v1
Communication dans un congrès
Favio Demarco, Jifeng Xuan, Daniel Le Berre, Martin Monperrus. Automatic Repair of Buggy If Conditions and Missing Preconditions with SMT CSTVA'2014, 2014, Hyderabad, India. Proceedings of the 6th Workshop on Constraints in Software Testing, Verification, and Analysis, 2014, <10.1145/2593735.2593740> |
||
|
hal-00826474v1
Communication dans un congrès
Patricia Everaere, Emmanuelle Grislin Le Strugeon. Continuous preferences for action selection ICAART'2011 -- Roma (Italy) -- January 28-30, 2011, 2011, Italy. pp.54-63, 2011 |
||
|
hal-00826399v1
Communication dans un congrès
Patricia Everaere, Philippe Mathieu, Antoine Nongaillard. Resource Allocation Problems on Networks: Maximizing Social Welfare Using and Agent-Based Approach ICAART'2011 -- Roma (Italy) -- January 28-30, 2011, 2011, Italy. pp.206-211, 2011 |
||
|
hal-00826397v1
Communication dans un congrès
Patricia Everaere, Philippe Mathieu, Antoine Nongaillard. Nash Welfare Allocation Problems: Concrete Issues IAT 2010 -- Toronto (Canada) -- August 31, September 3 2010, 2010, Canada. pp.32-39, 2010 |
||
|
hal-00826403v1
Communication dans un congrès
Patricia Everaere, Philippe Mathieu, Antoine Nongaillard. Bien-être de Nash : enjeux et difficultés pour une société d'agents JFSMA'2010 -- Mahdia (Tunisie) -- 18-20 octobre 2010, 2010, France. pp.129-138, 2010 |
||
|
hal-00826392v1
Communication dans un congrès
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. The epistemic view of belief merging: can we track the truth? ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Portugal. pp.621-626, 2010 |
||
|
hal-00826433v1
Communication dans un congrès
Patricia Everaere, Emmanuelle Grislin. Préférences continues pour la sélection d'action IAF'2012 -- Toulouse (France) -- 22-24 mai 2012, 2012, France. pp.143-152, 2012 |
||
|
hal-00826463v1
Communication dans un congrès
Patricia Everaere, Sébastien Konieczny, Pierre Marquis. Compositional belief merging KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Italy. pp.603-607, 2012 |
||
|
inria-00433805v1
Communication dans un congrès
Laurent Simon, Gilles Audemard. Predicting Learnt Clauses Quality in Modern SAT Solver Twenty-first International Joint Conference on Artificial Intelligence (IJCAI'09), Jul 2009, Pasadena, United States. 2009, <http://ijcai.org/papers09/Papers/IJCAI09-074.pdf> |
||
|
hal-00731919v1
Article dans une revue
Olivier Roussel, Philippe Mathieu. The Achievement of Knowledge Bases by Cycle Search Journal of Information and Computation, Elsevier, 2000, 162, pp.43--58 |
||
|
hal-00731972v1
Communication dans un congrès
Olivier Roussel, Philippe Mathieu. Exact Knowledge Compilation in Predicate Calculus: the Partial Achievement Case Proceedings of 14th International Conference on Automated Deduction (CADE'14), 1997, undef, France. Springer, pp.161--175, 1997, Lecture Notes in Artificial Intelligence |
||
|
hal-00415126v1
Communication dans un congrès
Olivier Bailleux, Yacine Boufkhad, Olivier Roussel. New Encodings of Pseudo-Boolean Constraints into CNF Theory and Applications of Satisfiability Testing - SAT 2009, Jun 2009, Swansea, United Kingdom. pp.181-194, 2009 |
||
|
hal-01054604v1
Communication dans un congrès
Clément Quinton, Andreas Pleuss, Daniel Le Berre, Laurence Duchien, Goetz Botterweck. Consistency Checking for the Evolution of Cardinality-based Feature Models SPLC - 18th International Software Product Line Conference, Sep 2014, Florence, Italy. pp.122-131, 2014 |
||
|
inria-00000975v1
Communication dans un congrès
Marc Schoenauer, Pierre Savéant, Vincent Vidal. Divide-and-Evolve: a New Memetic Scheme for Domain-Independent Temporal Planning J. Gottlieb and G. Raidl. EvoCOP2006, Apr 2006, Budapest, Springer Verlag, 3906 (3906), pp.247-260, 2006, LNCS |
||
|
hal-01139015v1
Communication dans un congrès
Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais, Yakoub Salhi. On Structure-Based Inconsistency Measures and Their Computations via Closed Set Packing Proceedings of the Autonomous Agents and Multiagent Systems (AAMAS'15), May 2015, Istanbul, Turkey |
||
|
hal-01139031v1
Communication dans un congrès
Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. On the Characterization of Inconsistency Measures: A Prime Implicates Based Framework International Conference on Tools with Artificial Intelligence(ICTAI'14), Nov 2014, Limassol, Cyprus |
||
|
lirmm-00812630v1
Rapport
Madalina Croitoru, Srdjan Vesic. What Can Argumentation Do for Inconsistent Ontology Query Answering? RR-13007, 2013, pp.17 |
||
|
lirmm-01412864v1
Communication dans un congrès
Jean-François Baget, Salem Benferhat, Zied Bouraoui, Madalina Croitoru, Marie-Laure Mugnier et al. Inconsistency-Tolerant Query Answering: Rationality Properties and Computational Complexity Analysis Loizos Michael; Antonis Kakas. JELIA: Logics in Artificial Intelligence, Nov 2016, Larnaca, Cyprus. Springer, 15th European Conference on Logics in Artificial Intelligence, LNCS (10021), pp.64-80, 2016, Logics in Artificial Intelligence. <http://www.cyprusconferences.org/jelia2016/>. <10.1007/978-3-319-48758-8_5> |
||
|
hal-00870572v1
Communication dans un congrès
Jean-Francois Condotta, Souhila Kaci. Compilation de requêtes à préférences en problèmes de contraintes qualitatives JFPC: Journées Francophones de Programmation par Contraintes, 2013, Aix-en-Provence, France. 9ièmes Journées Francophones de Programmation par Contraintes, pp.85-94, 2013 |
||
|
lirmm-00857798v1
Communication dans un congrès
Jean-François Condotta, Souhila Kaci. Compiling Preference Queries in Qualitative Constraint Problems AAAI Press. FLAIRS: Florida Artificial Intelligence Research Society, May 2013, St. Pete Beach, Florida, United States. 26th International Florida Artificial Intelligence Research Society Conference, 2013, FLAIRS-26 |
||
|
lirmm-01082069v1
Communication dans un congrès
Souhila Kaci, Yakoub Salhi. A Constructive Argumentation Framework AAAI: Conference on Artificial Intelligence, Jul 2014, Quebec city, Canada. 28th AAAI Conference on Artificial Intelligence, pp.1070-1076, 2014, <http://www.aaai.org/ocs/index.php/AAAI/AAAI14/paper/viewFile/8175/8540> |
||
|
hal-01488674v1
Direction d'ouvrage, Proceedings
Odile Papini, Salem Benferhat, Laurent Garcia, Marie-Laure Mugnier, Eduaurdo Fermè et al. Proceedings of JOWO-2015. The Joint Ontology Workshops at IJCAI 2015 JOWO 2015 - The Joint Ontology Workshops, Jul 2015, Buenos Aires, Argentina. 2015, JOWO 2015 - JOWO 2015 The Joint Ontology Workshops - Episode 1, <http://ceur-ws.org/Vol-1517/> |
||
|
lirmm-01328661v1
Communication dans un congrès
Zied Bouraoui, Salem Benferhat, Madalina Croitoru, Odile Papini, Karim Tabia. On The Use Of Non-Objection Inference In Inconsistent Lightweight Ontologies IJCAI: International Joint Conference on Artificial Intelligence, Jul 2016, New York, United States. 25th International Joint Conference on Artificial Intelligence, 2016, <http://ijcai-16.org/> |
||
|
lirmm-01242937v1
Communication dans un congrès
Madalina Croitoru, Rallou Thomopoulos, Srdjan Vesic. Introducing Preference-Based Argumentation to Inconsistent Ontological Knowledge Bases PRIMA: Principles and Practice of Multi-Agent Systems, Oct 2015, Bertino, Italy. 18th International Conference, Bertinoro, Italy, October 26-30, 2015, Proceedings, pp.594-602, 2015, PRIMA 2015: 18th International Conference on Principles and Practice of Multi-Agent Systems. <10.1007/978-3-319-25524-8_42> |
||
|
hal-01483475v1
Article dans une revue
Said Jabbour, Yue Ma, Raddaoui Badran, Lakhdar Sais. Quantifying Conflicts in Propositional Logic Through Prime Implicates International Journal of Approximate Reasoning., 2017 |
||
|
hal-00606061v1
Communication dans un congrès
Karim Tabia, Salem Benferhat, Pierre Leray, Ludovic Mé. Alert correlation in intrusion detection: Combining AI-based approaches for exploiting security operators' knowledge and preferences Security and Artificial Intelligence (SecArt), Jul 2011, Barcelona, Spain. pp.NC, 2011 |
||
|
hal-00456087v1
Communication dans un congrès
Olivier Gauwin, Sébastien Konieczny, Pierre Marquis. Iterated Belief Merging as Conciliation Operators 7th International Symposium on Logical Formalizations of Commonsense Reasoning(CommonSense'05), 2005, Corfou, Greece |
||
|
hal-00871830v1
Communication dans un congrès
Hans Van Ditmarsch, Tiago De Lima, Emiliano Lorini. Intention change via local assignments Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010), 2011, Lyon, France. Springer, 6822, pp.136-151, 2011, Lecture Notes in Computer Science (LNCS) |
||
|
|
||