Search - Université Toulouse 1 Capitole Access content directly

Filter your results

1 029 Results
Domains :
Image document

Satisfiability of General Intruder Constraints with and without a Set Constructor

Tigran Avanesov , Yannick Chevalier , Michaël Rusinowitch , Mathieu Turuani
Journal of Symbolic Computation, 2017, Special issue: SI: Program Verification, 80, pp.27-61. ⟨10.1016/j.jsc.2016.07.009⟩
Journal articles hal-01405842v1
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

Oddness/evenness-based classifiers for Boolean or numerical data

Myriam Bounhas , Henri Prade , Gilles Richard
International Journal of Approximate Reasoning, 2017, 82, pp.81-100. ⟨10.1016/j.ijar.2016.12.002⟩
Journal articles hal-03511878v1

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

Orchestration under Security Constraints

Yannick Chevalier , Mohammed Anis Mekki , Michael Rusinowitch
Formal Methods for Components and Objects (FMCO 2010), Nov 2010, Graz, Austria
Conference papers hal-00642855v1
Image document

Automated Synthesis of a Finite Complexity Ordering for Saturation

Yannick Chevalier , Mounira Kourjieh
[Research Report] IRIT - Institut de recherche en informatique de Toulouse; LORIA (Université de Lorraine, CNRS, INRIA). 2012
Reports hal-00675954v2

Towards the Orchestration of Secured Services under Non-disclosure Policies.

Tigran Avanesov , Yannick Chevalier , Michael Rusinowitch , Mathieu Turuani
6th International Conference on Mathematical Methods, Models and Architectures for Computer Network Security, MMM-ACNS 2012, Oct 2012, St. Petersburg, Russia. pp.130-145, ⟨10.1007/978-3-642-33704-8_12⟩
Conference papers hal-00755947v1

Towards an Automatic Analysis of Web Service Security

Yannick Chevalier , Denis Lugiez , Michael Rusinowitch
6th International Symposium on Frontiers of Combining Systems - FroCoS'07, Sep 2007, Liverpool, United Kingdom. pp.133-147, ⟨10.1007/978-3-540-74621-8_9⟩
Conference papers istex inria-00557707v1
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

An infinitary encoding of temporal equilibrium logic

Pedro Cabalar , Martin Dieguez , Concepción Vidal
TPLP, 2015
Journal articles hal-01892977v1
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
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

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

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
Image document

Ensuring Correctness of Model Transformations While Remaining Decidable

Jon Haël Brenas , Rachid Echahed , Martin Strecker
Theoretical Aspects of Computing - ICTAC, Oct 2016, Taipei, Taiwan. pp.315 - 332, ⟨10.1007/978-3-319-46750-4_18⟩
Conference papers hal-01403585v1
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

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

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

Judgment aggregation in dynamic logic of propositional assignments

Arianna Novaro , Umberto Grandi , Andreas Herzig
Journal of Logic and Computation, 2018, 28 (7), pp.1471-1498. ⟨10.1093/logcom/exy024⟩
Journal articles hal-02089335v2

A short biography of Luis Fariñas del Cerro

Pedro Cabalar , Martin Dieguez , Andreas Herzig , David Pearce
Journal of Applied Non-Classical Logics, 2017
Journal articles hal-01892914v1

Axiomatization and completeness of lexicographic products of modal logics

Philippe Balbiani
[Rapport de recherche] IRIT--2009, IRIT : Institut de Recherche en Informatique de Toulouse. 2009
Reports hal-03997685v1
Image document

Bisimulations for intuitionistic temporal logics

Philippe Balbiani , Joseph Boudou , Martin Dieguez , David Fernández-Duque
Electronic Notes in Theoretical Computer Science, 2020
Journal articles hal-02936452v1

Axiomatization of logics based on Kripke models with relative accessibility relations

Philippe Balbiani
Orlowska, Ewa. Incomplete Information: Rough Set Analysis, STUDFUZZ 13 (Chapter 17), Physica-Verlag, pp.553--578, 1998, Studies in Fuzziness and Soft Computing, 978-3-7908-2457-5. ⟨10.1007/978-3-7908-1888-8_17⟩
Book sections istex hal-04010145v1

A promenade from provability to consistency

Philippe Balbiani
Luis Fariñas del Cerro; Martti Penttonen. Intensional Logics for Programming, Oxford University Press, pp.195--219, 1992, Studies in Logic and Computation, 978-0198537755
Book sections hal-04011846v1
Image document

The finiteness of logic programming derivations

Philippe Balbiani
3rd International Conference on Algebraic and Logic Programming (ALP 1992), Sep 1992, Volterra, Italy. pp.403-419, ⟨10.1007/BFb0013840⟩
Conference papers istex hal-03252315v1