| 1 |
Quantification in Frame Semantics with Hybrid Logic
|
|
|
|
In: Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop ; https://hal.inria.fr/hal-01151641 ; Proceedings of the Type Theory and Lexical Semantics (TYTLES) ESSLLI workshop , Aug 2015, Barcelona, Spain (2015)
|
|
BASE
|
|
Show details
|
|
|
| 2 |
Grammaires phrastiques et discursives fondées sur les TAG : une approche de D-STAG avec les ACG
|
|
|
|
In: Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2015) ; https://hal.inria.fr/hal-01145994 ; Actes de la 22e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2015), Jun 2015, Caen, France. pp.158-169 ; http://www.atala.org/taln_archives/TALN/TALN-2015/taln-2015-long-014.html (2015)
|
|
BASE
|
|
Show details
|
|
|
| 3 |
Modeling the Dynamic Effects of Discourse: Principles and Frameworks
|
|
|
|
In: Dialogue, Rationality, and Formalism ; https://hal.inria.fr/hal-00737765 ; Manuel Rebuschi and Martine Batt and Gerhard Heinzmann and Franck Lihoreau and Michel Musiol and Alain Trognon. Dialogue, Rationality, and Formalism, 3, Springer, pp.247-282, 2014, Interdisciplinary Works in Logic, Epistemology, Psychology and Linguistics. Logic, Argumentation & Reasoning, 978-3-319-03043-2. ⟨10.1007/978-3-319-03044-9_12⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 4 |
An ACG View on G-TAG and Its g-Derivation
|
|
|
|
In: Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings ; https://hal.inria.fr/hal-00999633 ; Logical Aspects of Computational Linguistics: 8th International Conference, LACL 2014, Toulouse, France, June 18-20, 2014. Proceedings, Jun 2014, Toulouse, France. pp.70-82, ⟨10.1007/978-3-662-43742-1_6⟩ (2014)
|
|
BASE
|
|
Show details
|
|
|
| 5 |
Constituency and Dependency Relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar Perspective
|
|
|
|
In: Proceedings of the Sixth International Joint Conference on Natural Language Processing (IJCNLP 2013) ; https://hal.inria.fr/hal-00868363 ; Proceedings of the Sixth International Joint Conference on Natural Language Processing (IJCNLP 2013), The Asian Federation of Natural Language Processing, Oct 2013, Nagoya, Japan. pp.1257-1263 ; http://aclweb.org/anthology/I13-1179 (2013)
|
|
BASE
|
|
Show details
|
|
|
| 6 |
About Parallel and Syntactocentric Formalisms: A Perspective from the Encoding of Convergent Grammar into Abstract Categorial Grammar
|
|
|
|
In: ISSN: 0169-2968 ; Fundamenta Informaticae ; https://hal.inria.fr/inria-00565598 ; Fundamenta Informaticae, Polskie Towarzystwo Matematyczne, 2011, 106 (2-4), pp.211-231. ⟨10.3233/FI-2011-384⟩ ; http://iospress.metapress.com/content/h212811177456033/ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 7 |
Logic and Grammar: Essays Dedicated to Alain Lecomte on the Occasion of His 60th Birthday
|
|
|
|
In: https://hal.inria.fr/inria-00607880 ; Sylvain Pogodalla and Myriam Quatrini and Christian Retoré. France. 6700, Springer, pp.159, 2011, Lecture Notes in Computer Science, 978-3-642-21489-9. ⟨10.1007/978-3-642-21490-5⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 8 |
Logical Aspects of Computational Linguistics: 6th International Conference, LACL 2011, Montpellier, France, June 29 – July 1, 2011. Proceedings
|
|
|
|
In: https://hal.inria.fr/inria-00607874 ; Sylvain Pogodalla and Jean-Philippe Prost. France. 6736, Springer, pp.283, 2011, Lecture Notes in Computer Science, 978-3-642-22220-7. ⟨10.1007/978-3-642-22221-4⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 9 |
SDRT and Continuation Semantics
|
|
|
|
In: New Frontiers in Artificial Intelligence: JSAI-isAI 2010 Workshops, LENLS, JURISIN, AMBN, ISS, Tokyo, Japan, November 18-19, 2010, Revised Selected Papers ; https://hal.inria.fr/inria-00565744 ; Takashi 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⟩ (2011)
|
|
BASE
|
|
Show details
|
|
|
| 10 |
A Montagovian Treatment of Modal Subordination
|
|
|
|
In: Proceedings of the 20th Semantics and Linguistic Theory conference (SALT 20) ; https://hal.inria.fr/inria-00565616 ; Proceedings of the 20th Semantics and Linguistic Theory conference (SALT 20), Apr 2010, Vancouver, Canada. ⟨10.3765/salt.v20i0.2585⟩ (2010)
|
|
BASE
|
|
Show details
|
|
|
| 11 |
On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar
|
|
|
|
In: Logic, Language, Information and Computation: 16th International Workshop, WoLLIC 2009, Tokyo, Japan, June 21-24, 2009. Proceedings ; https://hal.inria.fr/inria-00390490 ; 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⟩ (2009)
|
|
BASE
|
|
Show details
|
|
|
| 12 |
Advances in Abstract Categorial Grammars: Language Theory and Linguistic Modeling. ESSLLI 2009 Lecture Notes, Part II
|
|
|
|
In: https://hal.inria.fr/hal-00749297 ; 2009 (2009)
|
|
BASE
|
|
Show details
|
|
|
| 13 |
Exploring a type-theoretic approach to accessibility constraint modelling
|
|
|
|
In: Journées Sémantiques et Modélisation ; https://hal.inria.fr/inria-00281381 ; Journées Sémantiques et Modélisation, Apr 2008, Toulouse, France (2008)
|
|
BASE
|
|
Show details
|
|
|
| 14 |
Generalizing a Proof-Theoretic Account of Scope Ambiguity
|
|
|
|
In: Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7) ; https://hal.inria.fr/inria-00112898 ; Proceedings of the 7th International Workshop on Computational Semantics (IWCS-7), Jan 2007, Tilburg, Netherlands (2007)
|
|
BASE
|
|
Show details
|
|
|
| 15 |
Ambiguïté de portée et approche fonctionnelle des TAG
|
|
|
|
In: Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2007) ; https://hal.inria.fr/inria-00141913 ; Actes de la 14ème conférence sur le Traitement Automatique des Langues Naturelles (TALN 2007), Jun 2007, Toulouse, France. pp.325--334 (2007)
|
|
BASE
|
|
Show details
|
|
|
| 16 |
On the expressive power of Abstract Categorial Grammars: Representing context-free formalisms
|
|
|
|
In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/inria-00112956 ; Journal of Logic, Language and Information, Springer Verlag, 2004, 13 (4), pp.421-438. ⟨10.1007/s10849-004-2114-x⟩ (2004)
|
|
BASE
|
|
Show details
|
|
|
| 17 |
Generation in the Lambek Calculus Framework: an Approach with Semantic Proof Nets
|
|
|
|
In: Proceedings of the 1st Meeting of the North American Chapter of the Association for Computational Linguistics (NAACL 2000) ; https://hal.inria.fr/inria-00099268 ; Proceedings 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 ; http://www.aclweb.org/anthology/A00-2010 (2000)
|
|
BASE
|
|
Show details
|
|
|
| 18 |
Génération à l'aide de réseaux de preuve sémantiques
|
|
|
|
In: Génération Automatique de Textes (GAT'99) ; https://hal.inria.fr/hal-00740814 ; Génération Automatique de Textes (GAT'99), Université Stendhal, Grenoble 3, 1999, Grenoble, France (1999)
|
|
BASE
|
|
Show details
|
|
|
| 19 |
Lexicalized Proof-Nets in Pomset Logic & TAG
|
|
|
|
In: Logical Aspects of Computational Linguistics: Third International Conference, LACL’98 Grenoble, France, December 14–16, 1998 Selected Papers ; https://hal.inria.fr/inria-00098490 ; 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⟩ ; http://link.springer.com/10.1007/3-540-45738-0_14 (1998)
|
|
BASE
|
|
Show details
|
|
|
|
|
