Filtrer vos résultats
- 32
- 25
- 36
- 10
- 5
- 2
- 2
- 1
- 1
- 57
- 5
- 3
- 5
- 5
- 2
- 1
- 1
- 2
- 3
- 3
- 2
- 1
- 2
- 2
- 1
- 1
- 2
- 3
- 2
- 2
- 3
- 2
- 5
- 3
- 1
- 55
- 2
- 57
- 32
- 25
- 3
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 57
- 11
- 8
- 5
- 3
- 3
- 3
- 3
- 3
- 2
- 2
- 2
- 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
57 résultats
|
|
|
triés par
|
On the Strong Normalisation of Natural Deduction with Permutation-Conversions10th International Conference on Rewriting Techniques & Applications - RTA'99, 1999, Trento, Italy, pp.45--59
Communication dans un congrès
inria-00100815v1
|
|||
Stochastic Lambek Categorial GrammarsFormal Grammars and Mathematics of Langage Conference - FGMOl'01, Lawrence Moss, 2001, Helsinki, Finland, 9 p
Communication dans un congrès
inria-00100527v1
|
|||
|
|
Le problème de l’analyse des troubles de la pensée dans le discours avec la personne schizophrène : proposition méthodologiqueL'Évolution Psychiatrique, 2022, 87 (2), pp.347-369. ⟨10.1016/j.evopsy.2022.04.004⟩
Article dans une revue
hal-03724030v1
|
||
Proceedings of the 16th Meeting on the Mathematics of LanguagePhilippe de Groote; Frank Drewes; Gerald Penn. Association for Computational Linguistics, 2019
Ouvrages
hal-02268054v1
|
|||
Abstract Categorial Parsing as Linear Logic ProgrammingProceedings of the 14th Meeting on the Mathematics of Language (MoL 2015), 2015, Chicago, United States. pp.15--25
Communication dans un congrès
hal-01188632v1
|
|||
|
|
Quantification Annotation in ISO 24617-12, Second DraftProceedings of the 13th Language Resources and Evaluation Conference (LREC 2022), Jun 2022, Marseille, France. pp.3407--3416
Communication dans un congrès
hal-03724057v1
|
||
Lambek Categorial Grammars as Abstract Categorial GrammarsLENLS 13, Oct 2016, Tokyo, Japan
Communication dans un congrès
hal-01412795v1
|
|||
|
|
Formal Grammar, 14th International Conference, FG 2009, Revised Selected PapersPhilippe de Groote and Markus Egg and Laura Kallmeyer. Springer, 5591, pp.213, 2011, Lecture Notes in Artificial Intelligence, 978-3-642-20168-4. ⟨10.1007/978-3-642-20169-1⟩
Ouvrages
inria-00608514v1
|
||
|
|
An algebraic correctness criterion for intuitionistic multiplicative proof-netsTheoretical Computer Science, 1999, 224 (1-2), pp.115-134. ⟨10.1016/S0304-3975(98)00309-0⟩
Article dans une revue
inria-00098817v1
|
||
A dynamic programming approach to categorial deduction16th International Conference on Automated Deduction - CADE-16, 1999, Trento, Italy, pp.1--15
Communication dans un congrès
inria-00100816v1
|
|||
Preuve de confluence de $\lambda_{exn}$[Interne] 98-R-298 || de_groote98b, 1998, 19 p
Rapport
inria-00098334v1
|
|||
|
|
On the expressive power of Abstract Categorial Grammars: Representing context-free formalismsJournal of Logic, Language and Information, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩
Article dans une revue
inria-00112956v1
|
||
Proof-Theoretic Aspects of the Lambek-Grishin CalculusLogic, Language, Information, and Computation - 22nd International Workshop, WoLLIC 2015, 2015, Bloomington, United States. pp.109--123
Communication dans un congrès
hal-01188612v1
|
|||
|
|
Implicit Arguments: Event Modification or Option Type Categories?18th Amsterdam Colloquium on Logic, Language and Meaning, Dec 2011, Amsterdam, Netherlands. pp.240-250, ⟨10.1007/978-3-642-31482-7_25⟩
Communication dans un congrès
hal-00763102v1
|
||
On the semantics of static exception handling[Intern report] 99-R-418 || de_groote99a, 1999, 15 p
Rapport
inria-00098946v1
|
|||
A note on Kobayashi's & Yonezawa's ``Asynchronous Communication Model Based on Linear LogicFormal Aspects of Computing, 1998, 10 (2), pp.160-170
Article dans une revue
inria-00098500v1
|
|||
An environment machine for the $\lambda\mu$-calculusMathematical Structures in Computer Science, 1998, 8 (6), pp.637-669
Article dans une revue
inria-00098499v1
|
|||
|
|
Type-theoretic extensions of Abstract Categorial Grammars2007
Pré-publication, Document de travail
inria-00187759v1
|
||
|
|
Tree-Adjoining Grammars as Abstract Categorial GrammarsProceedings of the Sixth International Workshop on Tree Adjoining Grammar and Related Frameworks (TAG+6), May 2002, Venezia, Italy. pp.145-150
Communication dans un congrès
hal-04120630v1
|
||
|
|
On Logical Relations and ConservativityNLCS'15. Third Workshop on Natural Language and Computer Science, 2015, Kyoto, Japan. pp.1-11, ⟨10.29007/gwlt⟩
Communication dans un congrès
hal-01188619v1
|
||
Deriving Formal Semantic Representations from Dependency StructuresDaisuke Bekki; Koji Mineshima; Elin McCready. Logic and Engineering of Natural Language Semantics, 19th International Conference, LENLS19, Tokyo, Japan, November 19–21, 2022, Revised Selected Papers, 14213, Springer, pp.157-172, 2023, Lecture Notes in Computer Science, ⟨10.1007/978-3-031-43977-3_10⟩
Chapitre d'ouvrage
hal-04403076v1
|
|||
|
|
A type-logical account of quantification in event semanticsLogic and Engineering of Natural Language Semantics 11, Nov 2014, Tokyo, Japan
Communication dans un congrès
hal-01102261v1
|
||
Proof-search in implicative linear logic as a matching problemInternational Conference on Logic for Programming & Automated Reasoning - LPAR'2000, 2000, Reunion Island, France, pp.257-274
Communication dans un congrès
inria-00099221v1
|
|||
Vector Addition Tree Automata19th Annual IEEE Symposium on Logic in Computer Science - LICS'04, 2004, Turku, Finland, France. pp.64-73
Communication dans un congrès
inria-00100081v1
|
|||
On the complexity of higher-order matching in the linear $\lambda$-calculusInternational Conference on Rewriting Techniques and Applications - RTA'2003, Jun 2003, Valencia, Spain, pp.234-245
Communication dans un congrès
inria-00099593v1
|
|||
|
|
Modal Subordination in Type Theoretic Dynamic LogicLinguistic Issues in Language Technology, 2016, Modes of Modality in NLP, 14 ((1)), pp.1-39
Article dans une revue
hal-01370557v1
|
||
|
|
On the semantics of dependencies: relative clauses and open clausal complements - extended abstractLogic and Engineering of Natural Language Semantics 20 (LENLS20), Nov 2023, Osaka, Japan
Communication dans un congrès
hal-04402969v1
|
||
Lexical selection, coercion, and record typesLENLS17 : Logic & Engineering of Natural Language Semantics, Nov 2020, Online, Japan
Communication dans un congrès
hal-03076311v1
|
|||
New Progress in Continuation-Based Dynamic LogicLACompLing2018 - Symposium on Logic and Algorithms in Computational Linguistics, Aug 2018, Stockholm, Sweden
Communication dans un congrès
hal-01939664v1
|
|||
|
|
Towards abstract categorial grammarsAssociation for Computational Linguistics, 39th Annual Meeting and 10th Conference of the European Chapter, Jul 2001, Toulouse, France, France. pp.148-155, ⟨10.3115/1073012.1073045⟩
Communication dans un congrès
inria-00100529v1
|
- 1
- 2