Search - Université Toulouse 1 Capitole Access content directly

Filter your results

802 Results
Domains : info.info-cl
Image document

Collective decision making under possibilistic uncertainty. Principles and characterization

Nahla Ben Amor , Fatma Essghaier , Hélène Fargier
Revue 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 reactions

Serenella Cerrito , Marta Cialdea Mayer , Robert Demolombe
Journal of Applied Non-Classical Logics, 2017, 27 (3-4), pp.269--291. ⟨10.1080/11663081.2018.1427986⟩
Journal articles hal-01764395v1
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⟩
Conference papers hal-01202518v1
Image document

Big Brother Logic: visual-epistemic reasoning in stationary multi-agent systems

Olivier Gasquet , Valentin Goranko , François Schwarzentruber
Autonomous Agents and Multi-Agent Systems, 2016, 30, pp.793-825. ⟨10.1007/s10458-015-9306-4⟩
Journal articles hal-01624691v1
Image document

A service-based modelling approach to ease the certification of multi-core COTS processors

Frédéric Boniol , Youcef Bouchebaba , Julien Brunel , Kevin Delmas , Claire Pagetti et al.
SAE AEROTECH® Europe, Sep 2019, Bordeaux, France. ⟨10.4271/2019-01-1851⟩
Conference papers hal-02441365v1
Image document

CoCoSim, a code generation framework for control/command applications An overview of CoCoSim for multi-periodic discrete Simulink models

Hamza Bourbouh , Pierre-Loïc Garoche , Thomas Loquen , Éric Noulard , Claire Pagetti et al.
10th European Congress on Embedded Real Time Software and Systems (ERTS 2020), Jan 2020, Toulouse, France
Conference papers hal-02441334v1
Image document

Complémentarités de représentations vectorielles pour la similarité sémantique

Julien Hay , Tim van de Cruys , Philippe Muller , Biech Lien Doan , Fabrice Popineau et al.
18e Journees Francophones Extraction et Gestion de Connaissances (EGC 2018), Jan 2018, Paris, France. pp.179-190
Conference papers hal-02283159v1
Image document

Extraction de relations d'hyperonymie à partir de Wikipédia

Adel Ghamnia
18è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
Image document

Can we guide a multi-hop reasoning language model to incrementally learn at each single-hop?

Jesus Lovon , José G. Moreno , Romaric Besançon , Olivier Ferret , Lynda Tamine et al.
29th International Conference on Computational Linguistics (COLING 2022), Oct 2022, Gyeongju, South Korea. pp.1455-1466
Conference papers hal-03885173v1
Image document

Picking the one that does not fit - A matter of logical proportions

Henri Prade , Gilles Richard
8th 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 II

Djamal Benslimane , Ernesto Damiani , William I. Grosky , Abdelkader Hameurlain , Amit P. Sheth et al.
Benslimane, 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
Image document

Qualitative integrals and desintegrals as lower and upper possibilistic expectations

Didier Dubois , Henri Prade , Agnés Rico
8th European Society For Fuzzy Logic And Technology Conference (EUSFLAT 2013), Sep 2013, Milan, Italy. pp. 318-325
Conference papers hal-01212931v1
Image document

SDRT and Continuation Semantics

Nicholas Asher , Sylvain Pogodalla
Takashi 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 Types

Nicholas Asher
Fundamenta Informaticae, 2008, Logic for Pragmatics, 84 (2), pp.151-183
Journal articles hal-03690415v1
Image document

Vers une carte de compilation pour des langages de représentation hétérogènes

Hélène Fargier , Pierre Marquis , Alexandre Niveau
7èmes Journées françaises d'intelligence artificielle fondamentale (IAF 2013), Jun 2013, Aix en Provence, France. pp. 145-154
Conference papers hal-01212945v1
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⟩
Journal articles hal-01585237v1
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⟩
Conference papers hal-01187760v1
Image document

Ceteris Paribus Structure in Logics of Game Forms (2013)

Davide Grossi , Emiliano Lorini , François Schwarzentruber
Conference on Theoretical Aspects of Rationality and Knowledge (TARK 2013), Jan 2013, Chennai, India. pp.1-11
Conference papers hal-01141938v2
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⟩
Conference papers hal-02353400v1
Image document

Type-theoretical natural language semantics: on the system F for meaning assembly

Christian Retoré
TYPES 2013, Apr 2013, Toulouse, France. pp.64--65
Conference papers hal-00799685v1
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⟩
Book sections hal-01942528v1

Logics for multi-agent systems: a critical overview

Andreas Herzig
International Joint Conference on Artificial Intelligence - IJCAI 2013, Aug 2013, Beijing, China. pp. 1-52
Conference papers hal-01143735v1
Image document

Putting right the wording and the proof of the Truth Lemma for APAL

Philippe Balbiani
Journal of Applied Non-Classical Logics, 2015, 25 - 2015 (1), pp.2-19. ⟨10.1080/11663081.2015.1011489⟩
Journal articles hal-01739993v1
Image document

Semantic Change and Extension Enforcement in Abstract Argumentation

Sylvie Doutre , Jean-Guy Mailly
11th International Conference on Scalable Uncertainty Management (SUM 2017), Oct 2017, Granada, Spain. pp. 194-207
Conference papers hal-01887892v1
Image document

Refinement of intentions

Andreas Herzig , Laurent Perrussel , Zhanhao Xiao , Dongmo Zhang
15th European Conference On Logics In Artificial Intelligence (JELIA 2016), Nov 2016, Larnaca, Cyprus. pp. 558-563
Conference papers hal-01692703v1
Image document

Fuzzy weighted averages and fuzzy convex sums: Author's response

Didier Dubois
Fuzzy Sets and Systems, 2013, 213, pp.106-108. ⟨10.1016/j.fss.2012.09.003⟩
Journal articles hal-01127959v1
Image document

L'importance des entités pour la tâche de détection d'événements en tant que système de question-réponse

Emanuela Boros , Jose Moreno , Antoine Doucet
Traitement Automatique des Langues Naturelles, 2022, Avignon, France. pp.374-383
Conference papers hal-03701488v1
Image document

CLFD: A Novel Vectorization Technique and Its Application in Fake News Detection

Michail Mersinias , Stergos Afantenos , Georgios Chalkiadakis
12th Language Resources and Evaluation Conference (LREC 2020), May 2020, Marseille, France
Conference papers hal-03089216v1
Image document

Conversation and Games

Nicholas Asher , Soumya Paul
7th Indian Conference on Logic and Its Applications (ICLA 2017), Jan 2017, Kanpur, India. pp.1-18
Conference papers hal-02354390v1
Image document

Plongements Interprétables pour la Détection de Biais Cachés

Tom Bourgeade , Philippe Muller , Tim van de Cruys
Traitement Automatique des Langues Naturelles (TALN 2021), 2021, Lille, France. pp.64-80
Conference papers hal-03265888v1