Search - Archive ouverte HAL Access content directly

Filter your results

92 Results
authFullName_s : Bruno Zanuttini
Image document

Opponent-model search in games with incomplete information

Junkang Li , Bruno Zanuttini , Véronique Ventos
GREYC CNRS UMR 6072. 2023
Reports hal-04100646v1

PepTraq: a toolbox for in silico data mining and fast sequence filtering

Bruno Zanuttini , Joël Henry , Christophe Couronne , Abdelkader Ouali , Véronique Robert , et al.
Amino Acids, 2023, 55 (5), pp.709-712. ⟨10.1007/s00726-023-03251-y⟩
Journal articles hal-04189550v1

Generalisation of alpha-beta search for AND-OR graphs with partially ordered values

Junkang Li , Bruno Zanuttini , Tristan Cazenave , Veronique Ventos
31st International Joint Conference on Artificial Intelligence (IJCAI 2022), Jul 2022, Vienne, Austria
Conference papers hal-03658915v1

Generalisation of Alpha-Beta Search for AND-OR Graphs With Partially Ordered Values

Junkang Li , Bruno Zanuttini , Tristan Cazenave , Véronique Ventos
Thirty-First International Joint Conference on Artificial Intelligence {IJCAI-22}, Jul 2022, Vienna, Austria. pp.4769-4775, ⟨10.24963/ijcai.2022/661⟩
Conference papers hal-03960954v1
Image document

Generalisation of alpha-beta search for AND-OR graphs with partially ordered values

Junkang Li , Tristan Cazenave , Bruno Zanuttini , Véronique Ventos
16es Journées d'Intelligence Artificielle Fondamentale (JIAF 2022), Jun 2022, Saint-Étienne, France
Conference papers hal-03658925v1
Image document

A KC Map for Variants of Nondeterministic PDDL

Sergej Scheck , Alexandre Niveau , Bruno Zanuttini
16es journées d'intelligence artificielle fondamentale (JIAF 2022), Jun 2022, Saint-Étienne, France
Conference papers hal-03658932v1

Identification of a New Set of Polypeptidic Sex Pheromones from Cuttlefish (Sepia officinalis)

Céline Zatylny-Gaudin , Erwan Corre , Bruno Zanuttini , Maxime Endress , Benoît Bernay , et al.
Marine Biotechnology, 2022, 24 (3), pp.574-587. ⟨10.1007/s10126-022-10126-y⟩
Journal articles hal-03959186v1

PepTraq: a toolbox for in silico data mining from genome and transcriptome databases

Bruno Zanuttini , Joël Henry , Christophe Couronne , Abdelkader Ouali , Veronique Robert , et al.
[Technical Report] Université de Caen Normandie. 2022
Reports hal-03661997v1
Image document

Generalisation of alpha-beta search for AND-OR graphs with partially ordered values

Junkang Li , Bruno Zanuttini , Tristan Cazenave , Véronique Ventos
[Research Report] GREYC CNRS UMR 6072, Universite de Caen. 2022
Reports hal-03656224v2
Image document

Knowledge Compilation for Nondeterministic Action Languages

Sergej Scheck , Alexandre Niveau , Bruno Zanuttini
International Conference on Automated Planning and Scheduling, Aug 2021, Guangzhou, China
Conference papers hal-03249126v1
Image document

Explicit Representations of Persistency for Propositional Action Theories

Sergej Scheck , Alexandre Niveau , Bruno Zanuttini
Journées Francophones Francophones Planification, Décision et Apprentissage, Jun 2021, Bordeaux, France
Conference papers hal-03249121v1
Image document

Knowledge-Based Programs as Succinct Policies for Partially Observable Domains

Bruno Zanuttini , Jérôme Lang , Abdallah Saffidine , François Schwarzentruber
Artificial Intelligence, 2020, 288, pp.103365. ⟨10.1016/j.artint.2020.103365⟩
Journal articles hal-02942873v1
Image document

In-Depth In Silico Search for Cuttlefish (Sepia officinalis) Antimicrobial Peptides Following Bacterial Challenge of Haemocytes

Louis Benoist , Baptiste Houyvet , Joël Henry , Erwan Corre , Bruno Zanuttini , et al.
Marine drugs, 2020, 18 (9), pp.439. ⟨10.3390/md18090439⟩
Journal articles hal-02965337v1
Image document

Knowledge Compilation for Action Languages

Sergej Scheck , Alexandre Niveau , Bruno Zanuttini
Journées Francophones sur la Planification, la Décision et l’Apprentissage pour la conduite de systèmes (JFPDA 2020), Jul 2020, Angers, France
Conference papers hal-02942877v1
Image document

Achieving maritime situational awareness using knowledge graphs: a study

Jacques Everwyn , Bruno Zanuttini , Abdel-Illah Mouaddib , Sylvain Gatepaille , Stephan Brunessaux
1st Maritime Situational Awareness Workshop (MSAW 2019), Oct 2019, Lerici, Italy
Conference papers hal-02942856v1
Image document

Link Prediction on Dynamic Attributed Knowledge Graphs for Maritime Situational Awareness

Jacques Everwyn , Abdel-Illah Mouaddib , Bruno Zanuttini , Sylvain Gatepaille , Stephan Brunessaux
Conférence Nationale sur les Applications Pratiques de l’Intelligence Artificielle (APIA 2019), Jul 2019, Toulouse, France
Conference papers hal-02942859v1

Design of antimicrobial peptides from a cuttlefish database

Baptiste Houyvet , Bruno Zanuttini , Erwan Corre , Gildas Le Corguillé , Joël Henry , et al.
Amino Acids, 2018, 50 (11), pp.1573-1582. ⟨10.1007/s00726-018-2633-4⟩
Journal articles hal-01991164v1
Image document

Premiers pas vers une résolution du problème de satisfaisabilité pour la logique monadique du premier ordre par une reformulation en logique des connaissances subjective mono-agent

Alexandre Niveau , François Schwarzentruber , Bruno Zanuttini
Actes des 12es journées d'intelligence artificielle fondamentale (JIAF 2018), Jun 2018, Amiens, France
Conference papers hal-01837924v1
Image document

Knowledge-Based Policies for Qualitative Decentralized POMDPs

Abdallah Saffidine , François Schwarzentruber , Bruno Zanuttini
32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Conference papers hal-01646207v1
Image document

An Experimental Study of Advice in Sequential Decision-Making under Uncertainty

Florian Benavent , Bruno Zanuttini
32nd AAAI Conference on Artificial Intelligence, Feb 2018, New Orleans, United States
Conference papers hal-01646200v1

Amélioration continue d'une chaîne de traitement de documents avec l'apprentissage par renforcement

Esther Nicart , Bruno Zanuttini , Bruno Grilhères , Patrick Giroux , Arnaud Saval
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2017, 31 (6), pp.619-648
Journal articles hal-01711772v1
Image document

Online learning of acyclic conditional preference networks from noisy data

Fabien Labernia , Bruno Zanuttini , Brice Mayag , Florian Yger , Jamal Atif
17th IEEE International Conference on Data Mining (ICDM 2017), Nov 2017, New Orleans, United States
Conference papers hal-01619969v1
Image document

Strong Partial Clones and the Time Complexity of SAT Problems

Peter Jonsson , Victor Lagerkvist , Gustav Nordh , Bruno Zanuttini
Journal of Computer and System Sciences, 2017, 84, pp.52-78
Journal articles hal-01711768v1
Image document

Online learning of acyclic conditional preference networks from noisy data

Fabien Labernia , Bruno Zanuttini , Brice Mayag , Florian Yger , Jamal Atif
ICDM 2017, 2017, New Orleans, États-Unis. ⟨10.1109/ICDM.2017.34⟩
Conference papers hal-02074110v1
Image document

Building Document Treatment Chains Using Reinforcement Learning and Intuitive Feedback

Esther Nicart , Bruno Zanuttini , Hugo Gilbert , Bruno Grilhères , Fredéric Praca
28th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2016), Nov 2016, San Jose, United States. pp.635 - 639, ⟨10.1109/ICTAI.2016.0102⟩
Conference papers hal-01534282v1
Image document

Efficient Representations for the Modal Logic S5

Alexandre Niveau , Bruno Zanuttini
Twenty-Fifth International Joint Conference on Artificial Intelligence, IJCAI 2016, Jul 2016, New York City, United States
Conference papers hal-01311642v1
Image document

On Broken Triangles (IJCAI 2016)

Martin Cooper , Achref El Mouelhi , Cyril Terrioux , Bruno Zanuttini
Twenty-Fifth International Joint Conference on Artificial Intelligence (IJCAI 2016), International Joint Conferences on Artificial Intelligence (IJCAI); Association for the Advancement of Artificial Intelligence, Jul 2016, New York City, United States. pp.4135-4139
Conference papers hal-01356058v1
Image document

Building document treatment chains using reinforcement learning and intuitive feedback

Esther Nicart , Bruno Zanuttini , Hugo Gilbert , Bruno Grilhères , Fredéric Praca
11es Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA~2016), Jul 2016, Grenoble, France
Conference papers hal-01356072v1
Image document

Intégration de recommandations simples dans un MDP

Florian Benavent , Bruno Zanuttini
11èmes journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA 2016), Jul 2016, Grenoble, France
Conference papers hal-01356031v1
Image document

Dora Q-Learning -making better use of explorations

Esther Nicart , Bruno Zanuttini , Bruno Grilhères , Fredéric Praca
11es Journées Francophones sur la Planification, la Décision et l'Apprentissage pour la conduite de systèmes (JFPDA~2016), Jul 2016, Grenoble, France
Conference papers hal-01356078v1
Image document

Model-Free Reinforcement Learning with Skew-Symmetric Bilinear Utilities

Hugo Gilbert , Bruno Zanuttini , Paolo Viappiani , Paul Weng , Esther Nicart
32nd Conference on Uncertainty in Artificial Intelligence (UAI~2016), Jun 2016, New York City, United States
Conference papers hal-01356085v1
Image document

Broken triangles: From value merging to a tractable class of general-arity constraint satisfaction problems

Martin Cooper , Aymeric Duchein , Achref El Mouelhi , Guillaume Escamocher , Cyril Terrioux , et al.
Artificial Intelligence, 2016, 234, pp.196-218. ⟨10.1016/j.artint.2016.02.001⟩
Journal articles hal-01356091v1

Neuropeptidome of the Cephalopod Sepia officinalis : Identification, Tissue Mapping, and Expression Pattern of Neuropeptides and Neurohormones during Egg Laying

Céline Zatylny-Gaudin , Valerie Cornet , Alexandre Leduc , Bruno Zanuttini , Erwan A Corre , et al.
Journal of Proteome Research, 2015, 15 (1), pp.48-67. ⟨10.1021/acs.jproteome.5b00463⟩
Journal articles hal-02191510v1
Image document

Probabilistic Knowledge-Based Programs

Jérôme Lang , Bruno Zanuttini
24th International Joint Conference on Artificial Intelligence (IJCAI 2015), Jul 2015, Buenos Aires, Argentina
Conference papers hal-01196656v1
Image document

Continuous improvement of a document treatment chain using reinforcement learning

Esther Nicart , Bruno Zanuttini , Bruno Grilhères , Patrick Giroux
IC2015, Jun 2015, Rennes, France
Conference papers hal-01165692v2
Image document

Sur des propriétés structurelles des formules de Horn

Bruno Zanuttini
9es Journées d'Intelligence Artificielle Fondamentale (IAF 2015), Jun 2015, Rennes, France
Conference papers hal-01196691v1
Image document

Génération de plans à base de connaissances

Anaëlle Wilczynski , Bruno Zanuttini , Jérôme Lang
10es Journées Francophones sur la Planification, la Décision et l'Apprentissage (JFPDA 2015), Jun 2015, Rennes, France
Conference papers hal-01196688v1
Image document

Autour des Triangles Cassés

Martin Cooper , Achref El Mouelhi , Cyril Terrioux , Bruno Zanuttini
11es Journées Francophones de Programmation par Contraintes (JFPC 2015), Jun 2015, Bordeaux, France. pp.57-58
Conference papers hal-01356093v1
Image document

Bounded Bases of Strong Partial Clones

Victor Lagerkvist , Magnus Wahlström , Bruno Zanuttini
45th International Symposium on Multiple-Valued Logic (ISMVL 2015), May 2015, Waterloo, Canada. ⟨10.1109/ISMVL.2015.33⟩
Conference papers hal-01196687v1
Image document

On Broken Triangles (CP 2014)

Martin Cooper , Achref El Mouelhi , Cyril Terrioux , Bruno Zanuttini
International Conference on Principles and Practice of Constraint Programming (CP 2014), Association for Constraint Programming, Sep 2014, Lyon, France. pp.9-24, ⟨10.1007/978-3-319-10428-7_5⟩
Conference papers hal-01095895v1
Image document

Learning Probabilistic CP-nets from Observations of Optimal Items

Damien Bigot , Jérôme Mengin , Bruno Zanuttini
7th Starting AI Researcher Symposium (STAIRS 2014), Aug 2014, Prague, Czech Republic. pp.81-90, ⟨10.3233/978-1-61499-421-3-81⟩
Conference papers hal-01072533v1

Dual role of the cuttlefish salivary proteome in defense and predation

Valérie Cornet , Joël Henry , Erwan Corre , Gildas Le Corguillé , Bruno Zanuttini , et al.
Journal of Proteomics, 2014, 108, pp.209-222. ⟨10.1016/j.jprot.2014.05.019⟩
Journal articles hal-01991240v1
Image document

A Study of Sybil Manipulations in Hedonic Games

Thibaut Vallée , Grégory Bonnet , Bruno Zanuttini , François Bourdon
13th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2014), 2014, Paris, France. pp.21-28
Conference papers hal-00995225v1
Image document

Interactive Value Iteration for Markov Decision Processes with Unknown Rewards

Paul Weng , Bruno Zanuttini
IJCAI '13 - Twenty-Third international joint conference on Artificial Intelligence, Aug 2013, Beijing, China. pp.2415-2421
Conference papers hal-00942290v1
Image document

Probabilistic Conditional Preference Networks (UAI 2013)

Damien Bigot , Hélène Fargier , Jérôme Mengin , Bruno Zanuttini
29th Conference on Uncertainty in Artificial Intelligence (UAI 2013), Jul 2013, Bellevue, Washington, United States
Conference papers hal-00944185v1
Image document

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Jérôme Lang , Bruno Zanuttini
Actes des 8eme Journees Francophones Planification Decision Apprentissage (JFPDA 2013), Jul 2013, France. 15 p
Conference papers hal-00948289v1
Image document

Prise en compte des recommandations de l'humain dans le processus décisionnel d'un agent

Nicolas Côté , Maroua Bouzid , Bruno Zanuttini , Abdel-Illah Mouaddib
Septièmes journées francophones Modèles Formels de l'Interaction (MFI 2013), Jul 2013, lille, France. 12 p
Conference papers hal-00948341v1
Image document

Etude des attaques Sybil sur les jeux hédoniques

Thibaut Vallée , Grégory Bonnet , Bruno Zanuttini , François Bourdon
7e journées francophones Modèles Formels de l'Interaction (MFI 2013), Jul 2013, -, France. 12 p
Conference papers hal-00948330v1
Image document

Probabilistic Conditional Preference Networks (JIAF 2013)

Damien Bigot , Hélène Fargier , Jérôme Mengin , Bruno Zanuttini
7èmes Journées de l'Intelligence Artificielle Fondamentale (JIAF 2013), Jun 2013, Aix-en-Provence, France. pp.1-10
Conference papers hal-00948352v1
Image document

Some New Tractable Classes of CSPs and their Relations with Backtracking Algorithms

Achref El Mouelhi , Philippe Jegou , Cyril Terrioux , Bruno Zanuttini
Proc. 10th tenth International Conference on Integration of Artificial Intelligence (AI) and Operations Research (OR) techniques in Constraint Programming (CPAIOR 2013), May 2013, United States
Conference papers hal-00942291v1
Image document

Application du problème de caractérisation multiple à la conception de tests de diagnostic pour la biologie végétale

Fabien Chhel , Frédéric Lardeux , Frédéric Saubion , Bruno Zanuttini
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2013, pp.649-668
Journal articles hal-00951297v1

Apprentissage par renforcement et planification adaptative - Revue d'Intelligence Artificielle

Bruno Zanuttini , Guillaume J. Laurent , Olivier Buffet
Lavoisier, pp.153-263, 2013, 978-2-7426-4573-0
Books hal-00874808v1
Image document

Complexity of SAT Problems, Clone Theory and the Exponential Time Hypothesis

Peter Jonsonn , Victor Lagerkvist , Gustav Nordh , Bruno Zanuttini
Proc. 24th Symposium on Discrete Algorithms (SODA 2013), Jan 2013, France
Conference papers hal-00932797v1
Image document

Knowledge-Based Programs as Plans: Succinctness and the Complexity of Plan Existence

Jérôme Lang , Bruno Zanuttini
Proc. 14th conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, France
Conference papers hal-00924121v1
Image document

Knowledge-Based Programs as Plans - The Complexity of Plan Verification

Jérôme Lang , Bruno Zanuttini
Proc. 20th Conference on European Conference on Artificial Intelligence (ECAI 2012), Aug 2012, France. 6 p
Conference papers hal-00944347v1
Image document

Using and Learning GAI-Decompositions for Representing Ordinal Rankings

Damien Bigot , Hélène Fargier , Jérôme Mengin , Bruno Zanuttini
Workshop on Preference Learning (PL 2012) @ ECAI 2012, Aug 2012, Montpellier, France. pp.5-10
Conference papers hal-00946859v1
Image document

Knowledge-Based Programs as Plans - The Complexity of Plan Verification

Jérôme Lang , Bruno Zanuttini
20th European Conference on Artificial Intelligence (ECAI 2012), Aug 2012, Montpellier, France. pp.504-509, ⟨10.3233/978-1-61499-098-7-504⟩
Conference papers hal-01494044v1
Image document

Knowledge-Based Programs as Plans - The Complexity of Plan Verification - (Extended Abstract)

Jérôme Lang , Bruno Zanuttini
Proc. 10th Conference on Logic and the Foundations of Game and Decision Theory (LOFT 2012), Jun 2012, Spain. 15 p
Conference papers hal-00946845v1
Image document

Sur la complexité des algorithmes de backtracking et quelques nouvelles classes polynomiales pour CSP

Achref El Mouelhi , Philippe Jégou , Cyril Terrioux , Bruno Zanuttini
Huitièmes Journées Francophones de Programmation par Contraintes - JFPC 2012, May 2012, Toulouse, France
Conference papers hal-00830458v1
Image document

On the Efficiency of Backtracking Algorithms for Binary Constraint Satisfaction Problems

Achref El Mouelhi , Philippe Jegou , Cyril Terrioux , Bruno Zanuttini
Proc. International Symposium on Artificial Intelligence and Mathematics (ISAIM 2012), Jan 2012, United States. 7 p
Conference papers hal-00946876v1
Image document

Computational Aspects of Learning, Reasoning, and Deciding

Bruno Zanuttini
Artificial Intelligence [cs.AI]. Université de Caen, 2011
Habilitation à diriger des recherches tel-00995250v1
Image document

Efficient Policy Construction for MDPs Represented in Probabilistic PDDL

Boris Lesner , Bruno Zanuttini
Proc. 21st International Conference on Automated Planning and Scheduling (ICAPS 2011)), Jun 2011, Germany. 8 p
Conference papers hal-00944350v1
Image document

Learning Conditional Preference Networks

Frédéric Koriche , Bruno Zanuttini
Artificial Intelligence, 2010, 174 (11), pp.685-703. ⟨10.1016/j.artint.2010.04.019⟩
Journal articles lirmm-00485498v1

Characterization of a novel LFRFamide neuropeptide in the cephalopod Sepia officinalis

Céline Zatylny-Gaudin , Benoît Bernay , Bruno Zanuttini , Jérôme Leprince , Hubert Vaudry , et al.
Peptides, 2010, 31 (2), pp.207-214. ⟨10.1016/j.peptides.2009.11.021⟩
Journal articles hal-01977171v1
Image document

Learning Ordinal Preferences on Multiattribute Domains: the Case of CP-nets

Yann Chevaleyre , Frédéric Koriche , Jérôme Lang , Jérôme Mengin , Bruno Zanuttini
Johannes Fürnkranz; Eyke Hüllermeier. Preference Learning, Springer, pp.273-296, 2010, ⟨10.1007/978-3-642-14125-6_13⟩
Book sections hal-00944354v1
Image document

Apprentissage par renforcement de PDM factorisés avec effets corrélés

Boris Lesner , Bruno Zanuttini
Actes des 5es Journees Francophones Planification Decision Apprentissage (JFPDA 2010), 2010, France. 15 p
Conference papers hal-00947030v1
Image document

Résolution exacte et approchée de problèmes de décision markoviens formules en logique propositionnelle.

Boris Lesner , Bruno Zanuttini
Revue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2010, pp.131-158
Journal articles hal-00947046v1
Image document

Nonredundant Generalized Rules and Their Impact in Classification

François Rioult , Bruno Zanuttini , Bruno Crémilleux
Advances in Intelligent Information Systems, Springer, pp.3-25, 2010
Book sections hal-00944355v1
Image document

Learning Conditional Preference Networks with Queries

Frédéric Koriche , Bruno Zanuttini
Proc. 21th International Joint Conference Artificial Intelligence (IJCAI2009), Jul 2009, United States. 6 p
Conference papers hal-00944391v1
Image document

Frozen Boolean partial co-clones

Gustav Nordh , Bruno Zanuttini
Proc. 39th International Symposium on Multiple-Valued Logic (ISMVL 2009), May 2009, Japan. pp.120-125
Conference papers hal-00944410v1
Image document

Compact preference representation and Boolean games

Élise Bonzon , Marie-Christine Lagasquie-Schiex , Jérôme Lang , Bruno Zanuttini
Automous Agents and Multi-Agents Systems, 2009, 18, pp.1--35
Journal articles hal-00947826v1
Image document

A note on some collapse results of valued constraints

Bruno Zanuttini , Stanislav Živný
Information Processing Letters, 2009, pp.534-538
Journal articles hal-00944439v1
Image document

Réordonnancement de domaines dans les réseaux de contraintes

Christian Bessiere , Thierry Petit , Bruno Zanuttini
4èmes Journées Francophones de Programmation par Contraintes (JFPC 2008), LINA - Université de Nantes - Ecole des Mines de Nantes, Jun 2008, Nantes, France. pp.133-142
Conference papers inria-00291550v1
Image document

Structure Identification of Boolean Relations and Plain Bases for co-Clones

Nadia Creignou , Phokion G. Kolaitis , Bruno Zanuttini
Journal of Computer and System Sciences, 2008, 74 (7), pp.1103-1115
Journal articles hal-00995233v1
Image document

Apport de la négation pour la classification supervisée à l'aide d'associations

François Rioult , Bruno Zanuttini , Bruno Crémilleux
Conférence francophone sur l'apprentissage automatique (CAp 2008), 2008, France. pp.183-196
Conference papers hal-00995242v1
Image document

What Makes Propositional Abduction Tractable

Gustav Nordh , Bruno Zanuttini
Artificial Intelligence, 2008, 172, pp.1245-1284
Journal articles hal-00995230v1
Image document

Efficient algorithms for description problems over finite totally ordered domains

Angel Gil , Miki Hermann , Gernot Salzer , Bruno Zanuttini
SIAM Journal on Computing, 2008, 38 (3), pp.922-945
Journal articles hal-00995232v1
Image document

Apprentissage de réseaux de préférences ceteris paribus

Frédéric Koriche , Bruno Zanuttini
Journées d'Intelligence Artificielle Fondamentale (IAF 2008), 2008, France. pp.8
Conference papers hal-00995241v1
Image document

Une approche DPLL pour l'abduction

Florian Letombe , Bruno Zanuttini
Troisièmes Journées Francophones de Programmationpar Contraintes (JFPC07), Jun 2007, INRIA, Domaine de Voluceau, Rocquencourt, Yvelines France, France
Conference papers inria-00150745v1

Specifying, Verifying and Implementing a MAS : A Case study

Bruno Mermet , Gaële Simon , Arnaud Saval , Bruno Zanuttini
5th International Workshop on Programing Multi-Agent Systems (ProMAS 2007), 2007, pp.15
Journal articles hal-00172791v1

A complete classification of the complexity of propositional abduction

N. Creignou , Bruno Zanuttini
SIAM Journal on Computing, 2006, 36 (1), pp.207-229
Journal articles hal-00197028v1

Ovarian and sperm regulatory peptides regulate ovulation in the oyster Crassostrea gigas.

Benoît Bernay , Michele Baudy-Floc'H , Bruno Zanuttini , Céline Zatylny , Stéphane Pouvreau , et al.
Molecular Reproduction and Development, 2006, 73 (5), pp.607-616. ⟨10.1002/mrd.20472⟩
Journal articles hal-00326597v1