Search - Université Toulouse 1 Capitole Access content directly

Filter your results

852 Results
Domains :
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
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

Making a method of problem solving explicit with MACAO

Nathalie Aussenac-Gilles , Nada Matta
International Journal of Human-Computer Studies, 1994, 40 (2), pp.193--219. ⟨10.1006/ijhc.1994.1010⟩
Journal articles istex hal-03990172v1
Image document

A Tensor-based Factorization Model of Semantic Compositionality

Tim van de Cruys , Thierry Poibeau , Anna Korhonen
Conference of the North American Chapter of the Association of Computational Linguistics (HTL-NAACL), Jun 2013, Atlanta, United States. pp.1142-1151
Conference papers hal-00997334v1
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

Adaptive system for analysis process design assistance

Gabriel Ferrettini
Computer Science [cs]. Université Toulouse Capitole, 2021. English. ⟨NNT : ⟩
Theses tel-03412695v1
Image document

Automatic Generation of Urban Virtual Environments

Tiavina Tantely Nivolala , Tahiry Andriamarozakaniaina , Jean Pierre Jessel
11th International Conference on Computer Science and Information Technology (CSIT 2017), Sep 2017, Yerevan, Armenia. pp.286-289
Conference papers hal-02871329v1
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

High-dimensional Gaussian sampling: a review and a unifying approach based on a stochastic proximal point algorithm

Maxime Vono , Nicolas Dobigeon , Pierre Chainais
SIAM Review, 2022, 64 (1), pp.3-56. ⟨10.1137/20M1371026⟩
Journal articles hal-03319153v1
Image document

Formal Monotony Analysis of Neural Networks with Mixed Inputs: An Asset for Certification

Guillaume Vidot , Mélanie Ducoffe , Christophe Gabreau , Ileana Ober , Iulian Ober et al.
27th International Conference on Formal Methods for Industrial Critical Systems (FMICS 2022), Sep 2022, Warsaw, Poland. pp.15-31, ⟨10.1007/978-3-031-15008-1_3⟩
Conference papers hal-03855271v1
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

Kullback-Leibler Upper Confidence Bounds for Optimal Sequential Allocation

Olivier Cappé , Aurélien Garivier , Odalric-Ambrym Maillard , Rémi Munos , Gilles Stoltz et al.
Annals of Statistics, 2013, 41 (3), pp.1516-1541. ⟨10.1214/13-AOS1119⟩
Journal articles hal-00738209v2
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

Comparing diagnosability in continuous discrete-event systems

Marie-Odile Cordier , Louise Travé-Massuyès , Xavier Pucel
Safeprocess'2006, 2006, Beijing, China
Conference papers inria-00463798v1

From Human-Centered Design to Disabled User & Ecosystem Centered Design in Case of Assistive Interactive Systems

Marine Guffroy , Nadine Vigouroux , Christophe Kolski , Frédéric Vella , Philippe Teutsch et al.
International Journal of Sociotechnology and Knowledge Development, 2017, 9 (4), pp.28-42. ⟨10.4018/IJSKD.2017100103⟩
Journal articles hal-02309965v1

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

Bayesian nonparametric Principal Component Analysis

Clément Elvira , Pierre Chainais , Nicolas Dobigeon
Preprints, Working Papers, ... hal-01687236v1
Image document

Support Exploration Algorithm for Sparse Support Recovery

Mimoun Mohamed , François Malgouyres , Valentin Emiya , Caroline Chaux
Preprints, Working Papers, ... hal-03964976v1
Image document

Optimization of a Fast Transform Structured as a Convolutional Tree

Olivier Chabiron , François Malgouyres , Herwig Wendt , Jean-Yves Tourneret
Preprints, Working Papers, ... hal-01258514v1
Image document

Federated Expectation Maximization with heterogeneity mitigation and variance reduction

Aymeric Dieuleveut , Gersende Fort , Eric Moulines , Geneviève Robin
NeurIPS 2021 - 35th Conference on Neural Information Processing Systems, Dec 2021, Sydney, Australia
Conference papers hal-03333516v3
Image document

Dynamic Double anomaly Detection through evolving clustering: Application to on-board space radiation faults

Adrien Dorise , Louise Travé-Massuyès , Audine Subias , Corinne Alonso
ANITI presentation, Mar 2022, Toulouse, France. 2022
Conference poster hal-03622285v1

Emergent Protein Folding Modeled with Evolved Neural Cellular Automata Using the 3D HP Model

Jose Santos , Pablo Villot , Martin Dieguez
Journal of Computational Biology, 2014
Journal articles hal-01892984v1
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