Recherche - Université Toulouse 3 Accéder directement au contenu

Filtrer vos résultats

63 Résultats
Domaines : math.math-lo
Image document

Learning Lambek grammars from proof frames

Roberto Bonato , Christian Retoré
Claudia Casadio; Bob Coecke; M. Moortgat; Ph. Scott. Categories and types in logic, language and physics -- Festschrift on the occasion of Jim Lambek's 90th birthday, Springer, pp.108-135, 2014, Lecture Notes in Computer Science, 978-3-642-54788-1. ⟨10.1007/978-3-642-54789-8_7⟩
Chapitre d'ouvrage hal-00923897v1
Image document

Modal logics with a restricted universal modality

Philippe Balbiani , Cigdem Gencer , Zafer Özdemir
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Communication dans un congrès hal-02411265v1

Homotopy Type Theory: Univalent Foundations of Mathematics

Peter Aczel , Benedikt Ahrens , Thorsten Altenkirch , Steve Awodey , Bruno Barras , et al.
Aucun, pp.448, 2013
Ouvrages hal-00935057v1

STeLP - A Tool for Temporal Answer Set Programming.

Pedro Cabalar , Martin Dieguez
Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
Communication dans un congrès hal-01892994v1

An Experiment on Tabled Evaluation for Hidden Predicates

Pedro Cabalar , Martin Dieguez
1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada
Communication dans un congrès hal-01892996v1
Image document

An insertion operator preserving infinite reduction sequences

David Chemouil
Mathematical Structures in Computer Science, 2008, 18 (4), pp.693-728. ⟨10.1017/S0960129508006816⟩
Article dans une revue hal-00782799v1
Image document

Remarks on isomorphisms of simple inductive types

David Chemouil , Sergei Soloviev
Mathematics, Logic and Computation (Satellite Event of ICALP 2003, in honor of N. G. de Bruijn's 85th birthday), Jun 2003, Eindhoven, Netherlands. pp.106-124, ⟨10.1016/S1571-0661(04)80760-6⟩
Communication dans un congrès hal-00783654v1
Image document

Méthode d'inférence générique avec plusieurs règles implicatives graduelles et une entrée floue

Hazaël Jones , Didier Dubois , Serge Guillaume , Brigitte Charnomordic
14èmes Rencontres francophones sur la logique floue et ses applications (LFA 2006), Oct 2006, Toulouse, France. pp.145-152
Communication dans un congrès hal-00458910v1
Image document

Epistemic Reasoning About Rationality and Bids in Auctions

Munyque Mittelmann , Andreas Herzig , Laurent Perrussel
Logics in Artificial Intelligence: 17th European Conference, JELIA 2021, Virtual Event, May 17–20, 2021, Proceedings ;, 12678, Springer International Publishing, pp.116-130, 2021, Lecture Notes in Computer Science book series, 978-3-030-75774-8. ⟨10.1007/978-3-030-75775-5_9⟩
Chapitre d'ouvrage hal-03573581v1

NLCertify: A Tool for Formal Nonlinear Optimization

Victor Magron
International Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p
Communication dans un congrès hal-00995686v1
Image document

Grounding Awareness on Belief Bases

Emiliano Lorini , Pengfei Song
Third International Workshop on Dynamic Logic: New Trends and Applications (DALI 2020), Nov 2020, Prague, Czech Republic. pp.170-186, ⟨10.1007/978-3-030-65840-3_11⟩
Communication dans un congrès hal-03008597v1
Image document

Heterogeneous Substitution Systems Revisited

Benedikt Ahrens , Ralph Matthes
Tarmo Uustalu. 21st International Conference on Types for Proofs and Programs (TYPES 2015), 69, Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, pp.2:1-2:23, 2018, Leibniz International Proceedings in Informatics (LIPIcs), 978-3-95977-030-9. ⟨10.4230/LIPIcs.TYPES.2015.2⟩
Chapitre d'ouvrage hal-02360681v1
Image document

Formal verification of the functionnal layer of robotic and autonomous systems

Mohammed Foughali
Logic [math.LO]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0033⟩
Thèse tel-02080063v2
Image document

Preface (Special issue FolKS 2020)

Andreas Herzig , Juha Kontinen
Annals of Mathematics and Artificial Intelligence, 2022, 90 (2-3), pp.145-147. ⟨10.1007/s10472-021-09782-y⟩
Article dans une revue hal-03573573v1

Temporal Logic Modeling of Biological Systems

Jean-Marc Alliot , Robert Demolombe , Martin Dieguez , Luis Fariñas del Cerro , Gilles Favre , et al.
Towards Paraconsistent Engineering ; ISBN: 978-3-319-40417-2, 110, Springer, pp.205-226, 2016, Intelligent Systems Reference Library book series (ISRL), ⟨10.1007/978-3-319-40418-9_11⟩
Chapitre d'ouvrage hal-01892974v1

Implementing a Category-Theoretic Framework for Typed Abstract Syntax

Benedikt Ahrens , Ralph Matthes , Anders Mörtberg
11th ACM SIGPLAN International Conference on Certified Programs and Proofs (CPP 2022), Jan 2022, Philadelphia, PA, United States. ⟨10.1145/3497775.3503678⟩
Communication dans un congrès hal-03475481v1
Image document

Quantifying confidence of safety cases with belief functions

Yassir Idmessaoud , Didier Dubois , Jérémie Guiochet
6th International Conference on Belief Functions (BELIEF 2021), Oct 2021, Shanghai, China. ⟨10.1007/978-3-030-88601-1_27⟩
Communication dans un congrès hal-03366274v1
Image document

True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic Situations

Andreas Herzig , Elise Perrotin
Filosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117
Article dans une revue hal-03011708v1
Image document

Here and There modal logic with dual implication

Philippe Balbiani , Martin Dieguez
12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Communication dans un congrès hal-01891169v1
Image document

Limit groups and groups acting freely on R^n-trees.

Vincent Guirardel
Geometry and Toplogy, 2004, 8, pp.1427-1470. ⟨10.2140/gt.2004.8.1427⟩
Article dans une revue hal-00000428v4

Bisimulations for intuitionistic temporal logics

Philippe Balbiani , Joseph Boudou , Martin Dieguez , David Fernández-Duque
7th Workshop on Intuitionistic Modal Logic and Applications (IMLA 2017), Jul 2017, Toulouse, France. ⟨10.48550/arXiv.1803.05078⟩
Communication dans un congrès hal-01892946v1
Image document

Iterated structures are not modally definable

Philippe Balbiani , Levan Uridia
13th International Tbilisi Symposium on Language, Logic and Computation (TbiLLC 2019), Centre for Language, Logic and Speech at the Tbilisi State University; Georgian Academy of Sciences; Institute for Logic, Language and Computation (ILLC) of the University of Amsterdam; Collaborative Research Center 991 of the University of Düsseldorf, Sep 2019, Batoumi, Georgia
Communication dans un congrès hal-02411269v1

Sur les automorphismes bornés de corps munis d'opérateurs

Thomas Blossier , Charlotte Hardouin , Amador Martin-Pizarro
Mathematical Research Letters, 2017, vol. 24 (4), pp.955-978. ⟨10.4310/MRL.2017.v24.n4.a2⟩
Article dans une revue hal-01184645v1

Univalent Monoidal Categories

Kobe Wullaert , Ralph Matthes , Benedikt Ahrens
Leibniz International Proceedings in Informatics , 269, Schloss Dagstuhl - Leibniz Center for Informatics, pp.15:1-15:21, 2023, 28th International Conference on Types for Proofs and Programs (TYPES 2022), 978-3-95977-285-3. ⟨10.4230/LIPIcs.TYPES.2022.15⟩
Proceedings/Recueil des communications hal-03889672v1

The Montagovian generative lexicon ΛTyn: a type theoretical framework for natural language semantics

Christian Retoré
TYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩
Communication dans un congrès hal-01009838v1
Image document

Lightweight Parallel Multi-Agent Epistemic Planning

Martin Cooper , Andreas Herzig , Frédéric Maris , Elise Perrotin , Julien Vianey
17th International Conference on Principles of Knowledge Representation and Reasoning - KR 2020, Sep 2020, Rhodes, Greece
Communication dans un congrès hal-03015803v1

Knowledge Representation: Modalities, Conditionals, and Nonmonotonic Reasoning

Andreas Herzig , Philippe Besnard
Marquis, Pierre; Papini, Odile; Prade, Henri. A Guided Tour of Artificial Intelligence Research, 1 / 3, Springer International Publishing, pp.45-68, 2020, Knowledge Representation, Reasoning and Learning, 978-3030061630. ⟨10.1007/978-3-030-06164-7_2⟩
Chapitre d'ouvrage hal-03015825v1

A short biography of Luis Fariñas del Cerro

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

Temporal Equilibrium Logic with past operators

Felicidad Aguado , Pedro Cabalar , Martin Dieguez , Gilberto Pérez , Concepción Vidal
Journal of Applied Non-Classical Logics, 2017
Article dans une revue hal-01892941v1
Image document

Decidability of several concepts of finiteness for simple types

José Espírito Santo , Ralph Matthes , Luís Pinto
Fundamenta Informaticae, 2019, 170 (1-3), pp.111-138. ⟨10.3233/FI-2019-1857⟩
Article dans une revue hal-02119503v1