Filtrer vos résultats
- 36
- 26
- 1
- 28
- 18
- 9
- 3
- 2
- 1
- 1
- 1
- 63
- 59
- 5
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 4
- 9
- 9
- 6
- 4
- 6
- 2
- 1
- 5
- 6
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 61
- 2
- 56
- 13
- 13
- 6
- 6
- 3
- 3
- 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
- 15
- 15
- 9
- 8
- 6
- 6
- 5
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 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
|
Learning Lambek grammars from proof framesClaudia 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
|
||
|
Modal logics with a restricted universal modality13th 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 MathematicsAucun, pp.448, 2013
Ouvrages
hal-00935057v1
|
|||
STeLP - A Tool for Temporal Answer Set Programming.Logic Programming and NonMonotonic Reasoning, May 2011, Vancouver, Canada
Communication dans un congrès
hal-01892994v1
|
|||
An Experiment on Tabled Evaluation for Hidden Predicates1st Workshop on Grounding and Transformations for Theories with Variables (GTTV'11@LPNMR 2013), May 2011, Vancouver, Canada
Communication dans un congrès
hal-01892996v1
|
|||
|
An insertion operator preserving infinite reduction sequencesMathematical Structures in Computer Science, 2008, 18 (4), pp.693-728. ⟨10.1017/S0960129508006816⟩
Article dans une revue
hal-00782799v1
|
||
|
Remarks on isomorphisms of simple inductive typesMathematics, 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
|
||
|
Méthode d'inférence générique avec plusieurs règles implicatives graduelles et une entrée floue14è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
|
||
|
Epistemic Reasoning About Rationality and Bids in AuctionsLogics 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 OptimizationInternational Congress on Mathematical Software (ICMS), Aug 2014, Seoul, South Korea. 6p
Communication dans un congrès
hal-00995686v1
|
||
|
Grounding Awareness on Belief BasesThird 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
|
||
|
Heterogeneous Substitution Systems RevisitedTarmo 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
|
||
|
Formal verification of the functionnal layer of robotic and autonomous systemsLogic [math.LO]. INSA de Toulouse, 2018. English. ⟨NNT : 2018ISAT0033⟩
Thèse
tel-02080063v2
|
||
|
Preface (Special issue FolKS 2020)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 SystemsTowards 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 Syntax11th 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
|
||
|
Quantifying confidence of safety cases with belief functions6th 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
|
||
|
True Belief and Mere Belief About a Proposition and the Classification of Epistemic-Doxastic SituationsFilosofiska Notiser, 2021, Årgång 8 (1- Special issue on modal logic), pp.103-117
Article dans une revue
hal-03011708v1
|
||
|
Here and There modal logic with dual implication12th Advances in Modal Logic conference (AiML 2018), Aug 2018, Bern, Switzerland. pp.63-82
Communication dans un congrès
hal-01891169v1
|
||
|
Limit groups and groups acting freely on R^n-trees.Geometry and Toplogy, 2004, 8, pp.1427-1470. ⟨10.2140/gt.2004.8.1427⟩
Article dans une revue
hal-00000428v4
|
||
|
Bisimulations for intuitionistic temporal logics7th 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
|
||
|
Iterated structures are not modally definable13th 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érateursMathematical Research Letters, 2017, vol. 24 (4), pp.955-978. ⟨10.4310/MRL.2017.v24.n4.a2⟩
Article dans une revue
hal-01184645v1
|
||
|
Univalent Monoidal CategoriesLeibniz 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 semanticsTYPES 2013, Apr 2013, Toulouse, France. pp.202--229, ⟨10.4230/LIPIcs.TYPES.2013.202⟩
Communication dans un congrès
hal-01009838v1
|
|||
|
Lightweight Parallel Multi-Agent Epistemic Planning17th 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 ReasoningMarquis, 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 CerroJournal of Applied Non-Classical Logics, 2017
Article dans une revue
hal-01892914v1
|
|||
Temporal Equilibrium Logic with past operatorsJournal of Applied Non-Classical Logics, 2017
Article dans une revue
hal-01892941v1
|
|||
|
Decidability of several concepts of finiteness for simple typesFundamenta Informaticae, 2019, 170 (1-3), pp.111-138. ⟨10.3233/FI-2019-1857⟩
Article dans une revue
hal-02119503v1
|