Filtrer vos résultats
- 48
- 10
- 31
- 9
- 5
- 4
- 3
- 3
- 1
- 1
- 1
- 2
- 1
- 58
- 3
- 1
- 2
- 2
- 1
- 5
- 1
- 2
- 3
- 6
- 3
- 5
- 2
- 1
- 5
- 1
- 2
- 1
- 2
- 5
- 2
- 1
- 3
- 1
- 1
- 45
- 13
- 58
- 38
- 20
- 6
- 6
- 6
- 4
- 3
- 2
- 2
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 1
- 58
- 11
- 6
- 6
- 5
- 5
- 4
- 4
- 4
- 4
- 4
- 4
- 3
- 3
- 3
- 3
- 3
- 2
- 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
58 résultats
|
|
triés par
|
|
Progression and Iteration in Event Semantics — An LTAG Analysis Using Hybrid Logic and Frame SemanticsThe 11th Syntax and Semantics Conference in Paris (CSSP 2015), Oct 2015, Paris, France
Communication dans un congrès
hal-01184872v1
|
||
|
Quantification in Frame Semantics with Hybrid LogicProceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain
Communication dans un congrès
hal-01151641v4
|
||
|
Handsome Non-Commutative Proof-Nets: perfect matchings, series-parallel orders and Hamiltonian circuits[Research Report] RR-5409, INRIA. 2004, pp.25
Rapport
inria-00071248v1
|
||
|
Formal GrammarSpringer Berlin Heidelberg, 9804, 2016, Lecture Notes in Computer Science, 978-3-662-53041-2. ⟨10.1007/978-3-662-53042-9⟩
Ouvrages
hal-01360105v1
|
||
Actes des Journés Sémantiques et Modélisation 2010INRIA Nancy Grand Est, pp.74, 2010
Proceedings/Recueil des communications
inria-00565753v1
|
|||
|
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof NetsProceedings of the 1st Meeting of the North American Chapter of the Association for Computational Linguistics (NAACL 2000), May 2000, Seattle, Washington, United States. pp.70-77
Communication dans un congrès
inria-00099268v1
|
||
Generation, Lambek Calculus, Montague's Semantics and Semantic Proof NetsProceedings of the 18th International Conference on Computational Linguistics (COLING 2000), Aug 2000, Sarrebrück, Germany. pp.628-634
Communication dans un congrès
inria-00099269v1
|
|||
|
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
|
||
|
Procédure de diffusion des publications de l'ATALA sur les archives ouvertesATALA. 2023, pp.17
Rapport
hal-04258177v1
|
||
|
Quantification in Frame Semantics with Binders and Nominals of Hybrid LogicJournal of Language Modelling, 2017, 5 (2), ⟨10.15398/jlm.v5i2.147⟩
Article dans une revue
hal-01417853v4
|
||
|
ACGTK: un outil de développement et de test pour les grammaires catégorielles abstraitesActes de la 23ème Conférence sur le Traitement Automatique des Langues Naturelles, 31ème Journées d'Études sur la Parole, 18ème Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (JEP-TALN-RECITAL 2016), Jul 2016, Paris, France. pp.1-2
Communication dans un congrès
hal-01328702v1
|
||
|
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
|
||
|
Multityped Abstract Categorial Grammars and Their CompositionWoLLIC 2022 - 28th International Workshop on Logic, Language, Information, and Computation, Sep 2022, Iaşi, Romania. pp.105-122, ⟨10.1007/978-3-031-15298-6_7⟩
Communication dans un congrès
hal-03781596v1
|
||
|
Generalizing a Proof-Theoretic Account of Scope AmbiguityProceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands
Communication dans un congrès
inria-00112898v3
|
||
|
Formal GrammarSpringer-Verlag Berlin Heidelberg; Springer, 10686, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-56343-4⟩
Ouvrages
hal-01651509v1
|
||
|
Logical Aspects of Computational Linguistics. Celebrating 20 Years of LACL (1996–2016)Maxime Amblard; Philippe de Groote; Sylvain Pogodalla; Christian Retoré. LACL: Logical Aspects of Computational Linguistics, Dec 2016, Nancy, France. 10054, Springer Berlin Heidelberg, 2016, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-53826-5⟩
Proceedings/Recueil des communications
hal-01403271v1
|
||
|
Formal Grammar 201810950, Springer, 2018, Lecture Notes in Computer Science, ⟨10.1007/978-3-662-57784-4⟩
Proceedings/Recueil des communications
hal-01886852v1
|
||
|
m-Linear Context-Free Rewriting Systems as Abstract Categorial GrammarsProceedings of Eighth Meeting on Mathematics of Language (MOL 8), Jun 2003, Bloomington, Indiana, United States. pp.71-80
Communication dans un congrès
inria-00107690v1
|
||
|
Lexicalized Proof-Nets in Pomset Logic & TAG Logical Aspects of Computational Linguistics: Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers, 1998, Grenoble, France. pp.230-250, ⟨10.1007/3-540-45738-0_14⟩
Communication dans un congrès
inria-00098490v1
|
||
|
Extending Abstract Categorial Grammars with Feature Structures: Theory and PracticeLogic and Engineering of Natural Language Semantics 20 (LENLS20), Nov 2023, Osaka, Japan
Communication dans un congrès
hal-04328753v1
|
||
|
An ACG Analysis of the G-TAG Generation ProcessProceedings of the 8th International Natural Language Generation Conference (INLG 2014), Jun 2014, Philadelphia, PA, United States. pp.35-44
Communication dans un congrès
hal-00999595v1
|
||
|
The Annotators Did Not Agree on Some of the Guidelines ExamplesISA 2021 - 17th Workshop on Interoperable Semantic Annotation, Jun 2021, Groningen/Virtuel, Netherlands
Communication dans un congrès
hal-03298940v1
|
||
|
Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II2009
Pré-publication, Document de travail
hal-00749297v1
|
||
|
Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACGActes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France. pp.158-169
Communication dans un congrès
hal-01145994v3
|
||
|
Comments to Yao and Zou on: "Hybrid Categorial Type Logics and the Formal Treatment of ChineseTsinghua Logic Conference, Oct 2013, Beijing, China. pp.269-274
Communication dans un congrès
hal-00868241v1
|
||
|
SDRT and Continuation SemanticsTakashi Onada and Daisuke Bekki and Eric McCready. New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers, 6797, Springer Berlin Heidelberg, pp.3-15, 2011, Lecture Notes in Computer Science, ⟨10.1007/978-3-642-25655-4_2⟩
Chapitre d'ouvrage
inria-00565744v1
|
||
|
Actes de la 6e conférence conjointe Journées d'Études sur la Parole (JEP, 33e édition), Traitement Automatique des Langues Naturelles (TALN, 27e édition), Rencontre des Étudiants Chercheurs en Informatique pour le Traitement Automatique des Langues (RÉCITAL, 22e édition). Volume 2 : Traitement Automatique des Langues Naturelles2 : Traitement Automatique des Langues Naturelles, ATALA; AFCP, pp.1-395, 2020
Proceedings/Recueil des communications
hal-02784750v2
|
||
|
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings6736, Springer, pp.283, 2011, Lecture Notes in Computer Science, 978-3-642-22220-7. ⟨10.1007/978-3-642-22221-4⟩
Proceedings/Recueil des communications
inria-00607874v1
|
||
Semantically-based text authoring and the concurrent documentation of experimental protocolsACM Symposium on Document Engineering - DocEng 2003, Nov 2003, Grenoble, France. pp.193-202, ⟨10.1145/958220.958256⟩
Communication dans un congrès
inria-00099581v1
|
|||
|
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings, Jun 2009, Tokyo, Japan. pp.182-196, ⟨10.1007/978-3-642-02261-6_15⟩
Communication dans un congrès
inria-00390490v1
|
- 1
- 2