A simple proof of the completeness of APAL
Philippe Balbiani
,
Hans van Ditmarsch
Studies in Logic , 2015, 8, pp.65-78
Journal articles
hal-01740004v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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⟩
Conference papers
hal-01668229v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Guarded Variable Automata over Infinite Alphabets
Walid Belkhir
,
Yannick Chevalier
,
Michael Rusinowitch
2013
Preprints, Working Papers, ...
hal-00914779v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Making the best of cases by approximation, interpolation and extrapolation
Jean Lieber
,
Emmanuel Nauer
,
Henri Prade
,
Gilles Richard
Conference papers
hal-03634973v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Books
halshs-02513207v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
hal-02786181v3
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
hal-02768750v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Implicit and Explicit Semantics Integration in Proof-Based Developments of Discrete Systems
Yamine Aït-Ameur
,
Shin Nakajima
,
Dominique Méry
Books
hal-02910199v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Le lien social dans les bibliothèques universitaires à l’ère des réseaux sociaux numériques.
Maher Slouma
,
Emmanuelle Chevry Pebayle
Journal articles
hal-03197570v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Conference papers
hal-01937119v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Les centres d’art contemporain et l’intersectionnalité : enjeux, discours, appropriations (InterCAC)
Rime Fetnan
,
Louise Barrière
,
Emmanuelle Bruneel
2023
Videos
hal-04255680v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Conference papers
hal-02375248v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Actes du colloque international et interdisciplinaire de recherche
Camille Dumat
,
Didier Busca
,
Sophie Sobanska
,
Salma Loudiyi
,
Christine C. Aubry
,
et al.
2021
Proceedings
hal-03478540v3
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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⟩
Conference papers
hal-01797538v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Reports
hal-04175492v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Reports
hal-03777257v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Listen to me! Public announcements to agents that pay attention - or not
Hans van Ditmarsch
,
Andreas Herzig
,
Emiliano Lorini
,
François Schwarzentruber
Conference papers
hal-01187760v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Conference papers
hal-02936428v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Subset space logic with arbitrary announcements
Philippe Balbiani
,
Hans van Ditmarsch
,
Andrey Kudinov
Conference papers
hal-01202518v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Announcements to Attentive Agents
Thomas Bolander
,
Hans van Ditmarsch
,
Andreas Herzig
,
Emiliano Lorini
,
Pere Pardo
,
et al.
Journal articles
hal-01585237v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
hal-02972213v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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⟩
Conference papers
hal-02353400v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Conference papers
hal-01906519v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Book section
hal-01631187v2
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Conference papers
hal-01739991v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
hal-01076444v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Bibliometric delineation of scientific fields
Michel Zitt
,
Alain Lelu
,
Martine Cadot
,
Guillaume Cabanac
Book section
hal-01942528v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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⟩
Journal articles
hal-04342105v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
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
Proceedings
hal-01314480v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More
Satisfiability of General Intruder Constraints with and without a Set Constructor
Tigran Avanesov
,
Yannick Chevalier
,
Michaël Rusinowitch
,
Mathieu Turuani
Journal articles
hal-01405842v1
Actions
Share
Gmail
Facebook
X
LinkedIn
More