Skip to Main content Skip to Navigation


hal-00731988v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Propositional merging operators based on set-theoretic closeness
Proceedings of the 18th European Conference on Artificial Intelligence (ECAI'08), 2008, undef, France. pp.737--738
hal-00732027v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Conflict-Based Merging Operators
Proceedings of the 11th International Conference on Principles of Knowledge Representation and Reasoning (KR'08), 2008, Sidney, Australia. pp.348--357
...
hal-01377533v1  Conference papers
Rémi FlamaryCédric FévotteNicolas CourtyValentin Emiya. Optimal spectral transportation with application to music transcription
Advances in Neural Information Processing Systems (NIPS), Dec 2016, Barcelona, Spain
...
hal-01585237v1  Journal articles
Thomas BolanderHans van DitmarschAndreas HerzigEmiliano LoriniPere Pardo et al.  Announcements to Attentive Agents
Journal of Logic, Language and Information, Springer Verlag, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
...
hal-01143727v1  Conference papers
Christina HerzogJean-Marc PiersonLaurent Lefèvre. Link Between Academia and Industry for Green IT
The international conferences ICT for Sustainability - ICT4S 2013, Feb 2013, Zürich, Switzerland. pp. 259-264
...
hal-01143732v1  Poster communications
Christina HerzogLaurent LefèvreJean-Marc Pierson. Linking Academia and Industry for a Green (IT) Society
The international conferences ICT for Sustainability - ICT4S, Feb 2013, Zürich, Switzerland. pp. 1-2, 2013
hal-03373368v1  Conference papers
Didier DuboisAllel HadjaliHenri Prade. Making fuzzy absolute and fuzzy relative orders of magnitude consistent
10th International Fuzzy Systems Association World Congress (IFSA 2003), Jun 2003, Istanbul, Turquie. pp.694--701, ⟨10.1007/3-540-44967-1_83⟩
hal-02061818v1  Book sections
Alexandre CortierLoïc BesnardJean-Paul BodeveixJérémy BuissonFabien Dagnat et al.  Synoptic: a domain-specific modeling language for space on-board application software
Synthesis of embedded software, frameworks and methodologies for correctness by construction, Springer, pp.79 - 119, 2010, Engineering, 978-1-4419-6399-4. ⟨10.1007/978-1-4419-6400-7_3⟩
...
hal-01141938v2  Conference papers
Davide GrossiEmiliano LoriniFrançois Schwarzentruber. Ceteris Paribus Structure in Logics of Game Forms
Conference on Theoretical Aspects of Rationality and Knowledge - TARK 2013, Jan 2013, Chennai, India. pp. 1-11
hal-00871830v1  Conference papers
Hans van DitmarschTiago de LimaEmiliano Lorini. Intention change via local assignments
Third international Workshop on Language, Methodologies and Development Tools for Multi-Agent Systems (LADS'010), 2011, Lyon, France. pp.136-151
...
hal-01146747v1  Conference papers
Andreas HerzigPilar Pozos ParraFrançois Schwarzentruber. Belief merging in Dynamic Logic of Propositional Assignments
International Symposium on Foundations of Information and Knowledge Systems - FolKS 2014, Mar 2014, Bordeaux, France. pp. 981-398
hal-03369703v1  Conference papers
Didier DuboisAllel HadjaliHenri Prade. Traitement de l'Imprécision et de l'Incertitude d'Information Temporelle
14ème Congrés Francophone AFRIF-AFIA de Reconnaissance des Formes et d'Intelligence Artificielle (RFIA 2004), Association française pour la reconnaissance et l'interprétation des formes; Association française pour l'intelligence artificielle, Jan 2004, Toulouse, France. pp.103-112
hal-03198240v1  Directions of work or proceedings
Ralph MatthesMatteo Mio. Tenth International Workshop on Fixed Points in Computer Science (FICS 2015), Berlin, Allemagne, 11/09/2015 - 12/09/2015
Matthes, Ralph; Mio, Matteo. Electronic Proceedings in Theoretical Computer Science, 2015, ⟨10.4204/EPTCS.191⟩
...
hal-01202518v1  Conference papers
Philippe BalbianiHans van DitmarschAndrey Kudinov. Subset space logic with arbitrary announcements
5th Indian Conference on Logics and its Applications (ICLA), Jan 2013, Chennai, India. pp. 233-244
...
hal-01740004v1  Journal articles
Philippe BalbianiHans van Ditmarsch. A simple proof of the completeness of APAL
Studies in Logic, 2015, 8, pp.65-78
hal-03403410v1  Reports
Allel Hadj AliDidier DuboisHenri Prade. Raisonnement qualitatif basé sur les ordres de grandeur relatifs flous
[Research Report] IRIT : Institut de Recherche en Informatique de Toulouse. 2000
hal-03403408v1  Conference papers
Patrick BoscDidier DuboisOlivier PivertHenri Prade. Résumés de données et ensembles flous - Principe d'une nouvelle approche
Rencontres Francophones sur la Logique Floue et ses Applications (LFA 2000), Oct 2000, La Rochelle, France. pp.333-340
hal-01063462v1  Conference papers
Olivier PivertHenri Prade. Skyline queries in an uncertain database model based on possibilistic certainty
8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.280-285
hal-01063457v1  Conference papers
Olivier PivertHenri Prade. Querying uncertain multiple sources
8th International Conference on Scalable Uncertainty Management (SUM'14), Sep 2014, Oxford, United Kingdom. pp.286-291
hal-00826392v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. The epistemic view of belief merging: can we track the truth?
ECAI'2010 -- Lisbon (Portugal) -- August 16-20, 2010, 2010, Lisbon, Portugal. pp.621-626
hal-00732036v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Un point de vue épistémique sur la fusion de croyances : l'identification du monde réel
Actes des Cinquièmes Journées Francophones sur les Modèles Formels de l'Interaction (MFI'09), Jun 2009, Lannion, France. pp.135--145
hal-00826463v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. Compositional belief merging
KR'2012 -- Roma (Italy) -- 10-14 June 2012, 2012, Roma, Italy. pp.603-607
...
hal-01931749v1  Journal articles
Marie-Odile CordierPhilippe DagueFrançois LévyJacky MontmainMarcel Staroswiecki et al.  Conflicts Versus Analytical Redundancy Relations
IEEE Transactions on Systems, Man, and Cybernetics, Part B: Cybernetics, Institute of Electrical and Electronics Engineers, 2004, 34 (5), pp.2163 - 2177. ⟨10.1109/TSMCB.2004.835010⟩
hal-00732039v1  Conference papers
Patricia EveraereSébastien KoniecznyPierre Marquis. A diff-Based Merging Operator
Proceedings of the 12th International Workshop on Non-Monotonic Reasoning (NMR'08), Sep 2008, Sidney, Australia. pp.19-25
hal-00321291v1  Conference papers
Jean-Claude BajardPhilippe LangloisDominique MichelucciGéraldine MorinNathalie Revol. Floating-point geometry: toward guaranteed geometric computations with approximate arithmetics
Advanced Signal Processing Algorithms, Architectures, and Implementations XVIII, Aug 2008, San Diego, United States. 70740M (12 p.), ⟨10.1117/12.796597⟩
...
hal-02105097v1  Journal articles
Maxime CauchoixP ChowJ van HorikC AtanceEmmanuel Barbeau et al.  The repeatability of cognitive performance: a meta-analysis
Philosophical Transactions of the Royal Society B: Biological Sciences, Royal Society, The, 2019, 14, ⟨10.6084/m9.figshare.c.4153862⟩
...
hal-02999678v1  Journal articles
Angela FanClaire GardentChloé BraudAntoine Bordes. Augmenting Transformers with KNN-Based Composite Memory for Dialog
Transactions of the Association for Computational Linguistics, The MIT Press, 2021, 9, ⟨10.1162/tacl_a_00356⟩