Recherche - Université de Lorraine Accéder directement au contenu

Filtrer vos résultats

86 résultats
Image document

A simple proof of the completeness of APAL

Philippe Balbiani , Hans van Ditmarsch
Studies in Logic, 2015, 8, pp.65-78
Article dans une revue hal-01740004v1
Image document

Enhancing the expressive power of Sugeno integrals for qualitative data analysis

Miguel Couceiro , Didier Dubois , Henri Prade , Agnès Rico
EUSFLAT 2017 - 10th Conference of the European Society for Fuzzy Logic and Technology, Sep 2017, Warsaw, Poland. pp.534-547, ⟨10.1007/978-3-319-66830-7_48⟩
Communication dans un congrès hal-01668229v1

Guarded Variable Automata over Infinite Alphabets

Walid Belkhir , Yannick Chevalier , Michael Rusinowitch
2013
Pré-publication, Document de travail hal-00914779v1
Image document

Making the best of cases by approximation, interpolation and extrapolation

Jean Lieber , Emmanuel Nauer , Henri Prade , Gilles Richard
26th International Conference on Case Based Reasoning (ICCBR 2018), Jul 2018, Stockholm, Sweden. pp.580-596, ⟨10.1007/978-3-030-01081-2_38⟩
Communication dans un congrès hal-03634973v1

Kilwa

Saba Farès , Yves Gleize , Yann Callot , Maël Crépy , Patrick Ferreira , et al.
PUN - Éditions Universitaires de Lorraine, In press, Archéologie, Espaces, Patrimoines, Gérard Giuliato
Ouvrage (y compris édition critique et traduction) halshs-02513207v1
Image document

Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL

Christophe Benzitoun , Chloé Braud , Laurine Huber , David Langlois , Slim Ouni , et al.
3 : Rencontre des Étudiants Chercheurs en Informatique pour le TAL, ATALA; AFCP, pp.1-230, 2020
Proceedings/Recueil des communications hal-02786181v3
Image document

Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 4 : Démonstrations et résumés d'articles internationaux

Christophe Benzitoun , Chloé Braud , Laurine Huber , David Langlois , Slim Ouni , et al.
4 : Démonstrations et résumés d'articles internationaux, ATALA; AFCP, pp.1-88, 2020
Proceedings/Recueil des communications hal-02768750v2

Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems

Yamine Aït-Ameur , Shin Nakajima , Dominique Méry
Springer Singapore, 2021, 978-981-15-5053-9. ⟨10.1007/978-981-15-5054-6⟩
Ouvrage (y compris édition critique et traduction) hal-02910199v1
Image document

Le lien social dans les bibliothèques universitaires à l’ère des réseaux sociaux numériques.

Maher Slouma , Emmanuelle Chevry Pebayle
Les Cahiers du numérique, 2017, Bénévolat, lien social et numérique, 13, pp.123-146. ⟨10.3166/LCN.12.1.25-38⟩
Article dans une revue hal-03197570v1
Image document

Maintaining Diversity in Robot Swarms with Distributed Embodied Evolution

Iñaki Fernández Pérez , Amine Boumaza , François Charpillet
ANTS 2018 - International Conference on Swarm Intelligence, Oct 2018, Rome, Italy
Communication dans un congrès hal-01937119v1
Image document

Les centres d’art contemporain et l’intersectionnalité : enjeux, discours, appropriations (InterCAC)

Rime Fetnan , Louise Barrière , Emmanuelle Bruneel
2023
Vidéo hal-04255680v1

Homoparentalité et méthodes de procréation médicalement assistées : quel devenir pour les enfants conçus par IAD ? Questions et enjeux à partir d’un bilan des recherches internationales

Benoît Schneider , O. Vecho , Chantal Zaouche Gaudron
Colloque International FAMÉVI "La famille aux différentes étapes de la vie", Jun 2018, Angers, France
Communication dans un congrès hal-02375248v1
Image document

Actes du colloque international et interdisciplinaire de recherche

Camille Dumat , Didier Busca , Sophie Sobanska , Salma Loudiyi , Christine C. Aubry , et al.
2021
Proceedings/Recueil des communications hal-03478540v3
Image document

On the importance of explicit domain modelling in refinement-based modelling design: experiments with Event-B

Yamine Aït-Ameur , Idir Ait-Sadoune , Pierre Castéran , John Paul Gibson , Kahina Hacid , et al.
6th International Conference on Abstract State Machines, Alloy, B, TLA, VDM, and Z (ABZ 2018), Jun 2018, Southampton, United Kingdom. pp.425--430, ⟨10.1007/978-3-319-91271-4_35⟩
Communication dans un congrès hal-01797538v1
Image document

Impacts des produits phytopharmaceutiques sur la biodiversité et les services écosystémiques. Rapport de l’expertise scientifique collective

Laure Mamy , Stéphane Pesce , Wilfried Sanchez , Marcel Amichot , Joan Artigas , et al.
[Rapport de recherche] INRAE; IFREMER. 2022, 1408 p
Rapport hal-03777257v1

Le projet ACTION : Accompagnement au Changement vers la TransitION agro-écologique pour une performance globale des exploitations agricoles, Rapport final scientifique

Frédéric Zahm , Inês Rodrigues , Sydney Girard , Jeanne Angot , Adeline Alonso , et al.
INRAE. 2023, pp.49
Rapport hal-04175492v1
Image document

Listen to me! Public announcements to agents that pay attention - or not

Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , François Schwarzentruber
4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Communication dans un congrès hal-01187760v1
Image document

Quantifying over Asynchronous Information Change

Philippe Balbiani , Hans van Ditmarsch , Saúl Fernández González
International Conference on Advances in Modal Logic (AiML 2020), University of Helsinki, Finland, Aug 2020, Helsinki, Finland. pp.33-52
Communication dans un congrès hal-02936428v1
Image document

Subset space logic with arbitrary announcements

Philippe Balbiani , Hans van Ditmarsch , Andrey Kudinov
5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Communication dans un congrès hal-01202518v1
Image document

Announcements to Attentive Agents

Thomas Bolander , Hans van Ditmarsch , Andreas Herzig , Emiliano Lorini , Pere Pardo , et al.
Journal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Article dans une revue hal-01585237v1

RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems

Jérôme Ermont , Ye-Qiong Song , Christopher Gill
ACM. RTNS 2019: 27th International Conference on Real-Time Networks and Systems, Nov 2019, Toulouse, France. ACM Press, 2019, RTNS '19: Proceedings of the 27th International Conference on Real-Time Networks and Systems, 978-1-4503-7223-7. ⟨10.1145/3356401⟩
Proceedings/Recueil des communications hal-02972213v1
Image document

Formal Ontology Driven Model Refactoring

Neeraj Kumar Singh , Yamine Aït-Ameur , Dominique Mery
2018 23rd International Conference on Engineering of Complex Computer Systems (ICECCS), Dec 2018, Melbourne, Australia. pp.136-145, ⟨10.1109/ICECCS2018.2018.00022⟩
Communication dans un congrès hal-02353400v1
Image document

Tirer parti au mieux des cas sources en raisonnement à partir de cas : approximation, interpolation et extrapolation

Jean Lieber , Emmanuel Nauer , Henri Prade , Gilles Richard
JIAF 2018 - 12èmes Journées d'Intelligence Artificielle Fondamentale, Jun 2018, Amiens, France. pp.1-9
Communication dans un congrès hal-01906519v1
Image document

An introduction to multichannel NMF for audio source separation

Alexey Ozerov , Cédric Févotte , Emmanuel Vincent
Audio Source Separation, Springer, 2018, Signals and Communication Technology
Chapitre d'ouvrage hal-01631187v2
Image document

Consideration of decision-making processes in agent-based models of social-ecological systems

Pierre Mazzega , Christophe Sibertin-Blanc , Olivier Therond
8th International Environmental Modelling and Software Society (iEMSs 2016), Open Archive TOULOUSE Archive Ouverte., Jul 2016, Toulouse, France. pp. 1083-1090
Communication dans un congrès hal-01739991v1

Information Systems for Crisis Response and Management in Mediterranean Countries: First International Conference, ISCRAM-med 2014, Toulouse, France, October 15-17, 2014. Proceedings

Chihab Hanachi , Frederick Benaben , François Charoy
Chihab Hanachi; Frédérick Bénaben; François Charoy. First International Conference on Information Systems for Crisis Response and Management in Mediterranean Countries (ISCRAM-Med 2014), Oct 2014, Toulouse, France. 196, Springer, 2014, Lecture Notes in Business Information Processing book series (LNBIP), 978-3-319-11817-8. ⟨10.1007/978-3-319-11818-5⟩
Proceedings/Recueil des communications hal-01076444v1
Image document

Bibliometric delineation of scientific fields

Michel Zitt , Alain Lelu , Martine Cadot , Guillaume Cabanac
Wolfgang Glänzel; Henk F. Moed; Ulrich Schmoch; Mike Thelwall. Handbook of Science and Technology Indicators, Springer International Publishing, pp.25-68, 2019, Handbook of Science and Technology Indicators, 978-3-030-02510-6. ⟨10.1007/978-3-030-02511-3_2⟩
Chapitre d'ouvrage hal-01942528v1
Image document

Douze ans de lives au Monde : la progressive stabilisation d’un format emblématique du journalisme numérique

Nathalie Pignard-Cheynel , Brigitte Sebbah
Les Enjeux de l'information et de la communication, 2022, Vingt-cinq ans d’information en ligne : une exploration des transformations structurelles des médias, 23 (1), pp.53-66. ⟨10.3917/enic.032.0053⟩
Article dans une revue hal-04342105v1

Actualité de la question interdisciplinaire en sciences de l'information et de la communication. Expériences de recherches situées

Guillaume Carbou , Thibault Christophe , Nathalie Negrel , Laurent Di Filippo
Colloque international L'interdisciplinarité en question dans les Sciences de l'Information et de la Communication, Nov 2012, Toulouse, France. 32, Presses universitaires de Nancy - Éditions universitaires de Lorraine, pp.232, 2016, Questions de communication, série actes, 978-2-8143-0272-3
Proceedings/Recueil des communications hal-01314480v1
Image document

Satisfiability of General Intruder Constraints with and without a Set Constructor

Tigran Avanesov , Yannick Chevalier , Michaël Rusinowitch , Mathieu Turuani
Journal of Symbolic Computation, 2017, Special issue: SI: Program Verification, 80, pp.27-61. ⟨10.1016/j.jsc.2016.07.009⟩
Article dans une revue hal-01405842v1