Filter your results
- 695
- 103
- 4
- 529
- 177
- 34
- 15
- 10
- 10
- 8
- 6
- 5
- 2
- 2
- 2
- 1
- 1
- 4
- 1
- 802
- 76
- 23
- 15
- 4
- 3
- 1
- 1
- 1
- 1
- 1
- 23
- 21
- 3
- 24
- 35
- 35
- 44
- 48
- 65
- 93
- 104
- 89
- 138
- 18
- 16
- 6
- 13
- 18
- 10
- 8
- 7
- 9
- 2
- 2
- 2
- 1
- 1
- 1
- 3
- 2
- 3
- 2
- 643
- 156
- 2
- 1
- 756
- 46
- 41
- 20
- 19
- 19
- 16
- 13
- 10
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 9
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 78
- 70
- 68
- 41
- 39
- 39
- 34
- 32
- 30
- 28
- 25
- 23
- 22
- 19
- 19
- 18
- 17
- 17
- 17
- 17
- 16
- 15
- 15
- 14
- 14
- 14
- 13
- 12
- 12
- 12
- 11
- 11
- 11
- 11
- 11
- 10
- 10
- 10
- 10
- 9
- 9
- 9
- 9
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 8
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 7
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 6
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 5
- 4
- 4
- 4
- 4
|
Collective decision making under possibilistic uncertainty. Principles and characterizationRevue des Sciences et Technologies de l'Information - Série RIA : Revue d'Intelligence Artificielle, 2015, 29 (5), pp.515-542. ⟨10.3166/RIA.29.515-542⟩
Journal articles
hal-01531177v1
|
||
|
Temporal abductive reasoning about biochemical reactionsJournal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal articles
hal-01764395v1
|
||
|
Subset space logic with arbitrary announcements5th Indian Conference on Logics and its Applications (ICLA 2013), Jan 2013, Chennai, India. pp.233-244, ⟨10.1007/978-3-642-36039-8_21⟩
Conference papers
hal-01202518v1
|
||
|
Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systemsAutonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Journal articles
hal-01624691v1
|
||
|
A service-based modelling approach to ease the certification of multi-core COTS processorsSAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers
hal-02441365v1
|
||
|
CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers
hal-02441334v1
|
||
|
Complémentarités de représentations vectorielles pour la similarité sémantique18e Journees Francophones Extraction et Gestion de Connaissances (EGC 2018), Jan 2018, Paris, France. pp.179-190
Conference papers
hal-02283159v1
|
||
|
Extraction de relations d'hyperonymie à partir de Wikipédia18èmes Rencontres des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues, partie de la conférence conjointe JEP-TALN-RECITAL 2016, Jul 2016, Paris, France. pp. 40-51
Conference papers
hal-01873749v1
|
||
|
Can we guide a multi-hop reasoning language model to incrementally learn at each single-hop?29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea. pp.1455-1466
Conference papers
hal-03885173v1
|
||
|
Picking the one that does not fit - A matter of logical proportions8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milano, Italy. pp.392-399, ⟨10.2991/eusflat.2013.61⟩
Conference papers
hal-01197281v1
|
||
|
Database and Expert Systems Applications - 28th International Conference, DEXA 2017, Lyon, France, Proceedings part IIBenslimane, Djamal; Damiani, Ernesto; Grosky, William I.; Hameurlain, Abdelkader; Sheth, Amit P.; Wagner, Roland R. 28th International Conference on Database and Expert Systems Applications and Workshops (DEXA 2017), Aug 2017, Lyon, France. Lecture Notes in Computer Science, 10439 (Part II), Springer, 2017, Database and Expert Systems Applications 28th International Conference, DEXA 2017, Lyon, France, 978-3-319-64470-7. ⟨10.1007/978-3-319-64471-4⟩
Special issue
hal-03120290v1
|
||
|
Qualitative integrals and desintegrals as lower and upper possibilistic expectations8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milan, Italy. pp. 318-325
Conference papers
hal-01212931v1
|
||
|
SDRT and Continuation SemanticsTakashi Onada and Daisuke Bekki and Eric McCready. New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers, 6797, Springer Berlin Heidelberg, pp.3-15, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-25655-4_2⟩
Book sections
inria-00565744v1
|
||
A Type Driven Theory of Predication with Complex TypesFundamenta Informaticae, 2008, Logic for Pragmatics, 84 (2), pp.151-183
Journal articles
hal-03690415v1
|
|||
|
Vers une carte de compilation pour des langages de représentation hétérogènes7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), Jun 2013, Aix en Provence, France. pp. 145-154
Conference papers
hal-01212945v1
|
||
|
Announcements to Attentive AgentsJournal of Logic, Language and Information, 2015, vol. 25 (n° 1), pp. 1-35. ⟨10.1007/s10849-015-9234-3⟩
Journal articles
hal-01585237v1
|
||
|
Listen to me! Public announcements to agents that pay attention - or not4th International Workshop on Logic, Rationality and Interaction (LORI IV), Oct 2013, Hangzhou, China. pp.96-109, ⟨10.1007/978-3-642-40948-6_8⟩
Conference papers
hal-01187760v1
|
||
|
Ceteris Paribus Structure in Logics of Game Forms (2013)Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Conference papers
hal-01141938v2
|
||
|
Formal Ontology Driven Model Refactoring2018 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
|
||
|
Type-theoretical natural language semantics: on the system F for meaning assemblyTYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Conference papers
hal-00799685v1
|
||
|
Bibliometric delineation of scientific fieldsWolfgang 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⟩
Book sections
hal-01942528v1
|
||
Logics for multi-agent systems: a critical overviewInternational Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Conference papers
hal-01143735v1
|
|||
|
Putting right the wording and the proof of the Truth Lemma for APALJournal of Applied Non-Classical Logics, 2015, 25 - 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Journal articles
hal-01739993v1
|
||
|
Semantic Change and Extension Enforcement in Abstract Argumentation11th International Conference on Scalable Uncertainty Management (SUM 2017), Oct 2017, Granada, Spain. pp. 194-207
Conference papers
hal-01887892v1
|
||
|
Refinement of intentions15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers
hal-01692703v1
|
||
|
Fuzzy weighted averages and fuzzy convex sums: Author's responseFuzzy Sets and Systems, 2013, 213, pp.106-108. ⟨10.1016/j.fss.2012.09.003⟩
Journal articles
hal-01127959v1
|
||
|
L'importance des entités pour la tâche de détection d'événements en tant que système de question-réponseTraitement Automatique des Langues Naturelles, 2022, Avignon, France. pp.374-383
Conference papers
hal-03701488v1
|
||
|
CLFD: A Novel Vectorization Technique and Its Application in Fake News Detection12th Language Resources and Evaluation Conference (LREC 2020), May 2020, Marseille, France
Conference papers
hal-03089216v1
|
||
|
Conversation and Games7th Indian Conference on Logic and Its Applications (ICLA 2017), Jan 2017, Kanpur, India. pp.1-18
Conference papers
hal-02354390v1
|
||
|
Plongements Interprétables pour la Détection de Biais CachésTraitement Automatique des Langues Naturelles (TALN 2021), 2021, Lille, France. pp.64-80
Conference papers
hal-03265888v1
|