Parsing idioms in lexicalized TAGs, Proceedings of the fourth conference on European chapter of the Association for Computational Linguistics -, pp.1-9, 1989. ,
DOI : 10.3115/976815.976816
The lambda calculus: its syntax and semantics, volume 103 of Studies in logic and the foundations of mathematics, 1984. ,
Cosubstitution, derivational locality, and quantifier scope, Proceedings of the 10th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+10), pp.135-142, 2010. ,
The decidability of the intensional fragment of classical linear logic, Theoretical Computer Science, vol.597, pp.1-17, 2015. ,
DOI : 10.1016/j.tcs.2015.06.019
Implicit Arguments: Event Modification or Option Type Categories?, Logic, language and meaning of Lecture notes in computer science, pp.240-250, 2012. ,
DOI : 10.1007/978-3-642-31482-7_25
URL : https://hal.archives-ouvertes.fr/hal-00763102
Predicate logic unplugged, Proceedings of the Tenth Amsterdam Colloquium, 1995. ,
Jeux de typage et analyse de ?-grammaires non-contextuelles, p.733964, 2012. ,
URL : https://hal.archives-ouvertes.fr/tel-00733964
Traitements d'ellipses: deux approches par les grammaires catégorielles abstraites, Actes de la 20 e conférence sur le Traitement Automatique des Langues Naturelles (TALN 2013), pp.215-228, 2013. ,
A Datalog recognizer for almost affine ?-CFGs The mathematics of language, volume 6878 of Lecture notes in computer science, pp.21-38, 2011. ,
A principle-based hierarchical representation of LTAGs, Proceedings of the 16th conference on Computational linguistics -, pp.194-199, 1996. ,
DOI : 10.3115/992628.992664
Représentation modulaire et paramétrable de grammaires électroniques lexicalisées: application au français et à l'italien, 1999. ,
Can the TAG derivation tree represent a semantic graph? An answer in the light of Meaning-Text Theory, Proceedings of the Fourth International Workshop on Tree Adjoining Grammars and Related Frameworks (TAG+4), volume 98-12 of IRCS Report, pp.98-0106, 1998. ,
Type-logical semantics, 1997. ,
Automated extraction of Tree-Adjoining Grammars from treebanks, Natural Language Engineering, vol.12, issue.03, pp.251-299, 2006. ,
DOI : 10.1017/S1351324905003943
Grammatical Development with Xmg, pp.84-100, 2005. ,
DOI : 10.1007/11422532_6
Some logical aspects of grammatical structure Structure of language and its mathematical aspects: proceedings of the twelfth symposium in applied mathematics, pp.56-68, 1961. ,
D-STAG: un formalisme d'analyse automatique de discours basé sur les TAG synchrones, Revue TAL, vol.50, issue.596, pp.111-143, 2009. ,
D-STAG: a formalism for discourse analysis based on SDRT and using Synchronous TAG of Lecture notes in computer science/Lecture notes in artificial intelligence, Proceedings of the 14th conference on Formal Grammar, pp.64-84, 2009. ,
Grammaires phrastiques et discursives fondées sur les TAG: une approche de D-STAG avec les ACG, Actes de la 22 e conférence sur le Traitement Automatique des Langues Naturelles, pp.158-169, 2015. ,
Interfacing sentential and discourse TAG-based grammars, Proceedings of the 12th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+12), pp.1328697-1328713, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01328697
Essays on actions and events, volume 1 of Philosophical essays of Donald Davidson, 2001. ,
Towards Abstract Categorial Grammars, Proceedings of 39th Annual Meeting of the Association for Computational Linguistics ACL anthology, pp.148-155, 2001. ,
URL : https://hal.archives-ouvertes.fr/inria-00100529
Tree-Adjoining Grammars as Abstract Categorial Grammars, pp.145-150, 2002. ,
Towards a Montagovian account of dynamics, Proceedings of the 16th Semantics and Linguistic Theory Conference, 2006. ,
Abstract Categorial parsing as linear logic programming, Proceedings of the 14th Meeting on the Mathematics of Language, pp.15-25, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01188632
A note on intensionalization, Journal of Logic, Language and Information, vol.22, issue.2, pp.173-194, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00909207
Type-theoretic extensions of Abstract Categorial Grammars, in New directions in type-theoretic grammars: proceedings of the workshop, pp.18-30, 2007. ,
On the expressive power of Abstract Categorial Grammars: representing context-free formalisms, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00112956
On Two Extensions of Abstract Categorial Grammars, Nachum Dershowitz and, 2007. ,
DOI : 10.1007/978-3-540-75560-9_21
URL : https://hal.archives-ouvertes.fr/inria-00609120
From metagrammars to factorized TAG/TIG parsers, Proceedings of the Ninth International Workshop on Parsing Technology, pp.190-191, 2005. ,
Inherently Reversible Grammars, Reversible grammars in natural language processing, pp.33-57, 1994. ,
DOI : 10.1007/978-1-4615-2722-0_2
The constraint language for lambda structures, Journal of Logic, Language and Information, vol.10, issue.4, pp.457-4851017964622902, 1023. ,
DOI : 10.1023/A:1017964622902
URL : https://hal.archives-ouvertes.fr/inria-00536795
D-LTAG system: discourse parsing with a Lexicalized Tree-Adjoining Grammar, Journal of Logic, Language and Information, vol.12, issue.3, pp.261-2791024137719751, 1023. ,
DOI : 10.1023/A:1024137719751
Computing Discourse Semantics: The Predicate-Argument Semantics of Discourse Connectives in D-LTAG, Journal of Semantics, vol.23, issue.1, pp.55-106, 2006. ,
DOI : 10.1093/jos/ffh032
Integrating a unification-based semantics in a large scale lexicalised tree adjoining grammar for French, Proceedings of the 22nd International Conference on Computational Linguistics, COLING '08, pp.249-256, 2008. ,
DOI : 10.3115/1599081.1599113
URL : https://hal.archives-ouvertes.fr/hal-00337374
Semantic construction in feature-based TAG, Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics , EACL '03, pp.123-130, 2003. ,
DOI : 10.3115/1067807.1067825
URL : https://hal.archives-ouvertes.fr/inria-00107643
Large Scale Semantic Construction for Tree Adjoining Grammars, pp.131-146, 2005. ,
DOI : 10.1007/11422532_9
Dynamic predicate logic, Linguistics and Philosophy, vol.12, issue.1, pp.39-100, 1991. ,
DOI : 10.1007/BF00628304
URL : https://pure.uva.nl/ws/files/1971390/27375_dpl.pdf
Conservative extensions of Montague semantics, Master's thesis, ENS Cachan, 2017. ,
Pr??cis of Foundations of Language: Brain, Meaning, Grammar, Evolution,, Behavioral and Brain Sciences, vol.26, issue.06, 2002. ,
DOI : 10.1017/S0140525X03000153
Tree-adjoining grammars: how much context sensitivity is required to provide reasonable structural descriptions?, Natural language parsing, pp.206-250, 1985. ,
Flexible composition in LTAG: quantifier scope and inverse linking, Harry Bunt, Ielka van der Sluis, and Roser Morante Proceedings of the Fifth International Workshop on Computational Semantics (IWCS-5), 2003. ,
Tree adjunct grammars, Journal of Computer and System Sciences, vol.10, issue.175, pp.136-163, 1975. ,
Tree-adjoining grammars, Handbook of formal languages, 1997. ,
An alternative description of extractions in TAG, Proceedings of the 5th International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+5), pp.0-2016, 2000. ,
Using an enriched TAG derivation structure as basis for semantics, ACL anthology, pp.127-136, 2002. ,
Parsing beyond context-free grammars, Cognitive Technologies, 2010. ,
DOI : 10.1007/978-3-642-14846-0
URL : https://link.springer.com/content/pdf/bfm%3A978-3-642-14846-0%2F1.pdf
Factoring predicate argument and scope semantics: underspecified semantics with LTAG, Research on Language and Computation, vol.1, issue.1/2, pp.3-581024564228892, 1023. ,
DOI : 10.1023/A:1024564228892
A formal model for plausible dependencies in Lexicalized Tree Adjoining Grammar, ACL anthology, pp.108-116, 2012. ,
LTAG semantics with semantic unification, ACL anthology, pp.155-162, 2004. ,
Scope and Situation Binding in LTAG Using Semantic Unification, Research on Language and Computation, vol.10, issue.4, pp.3-52, 1007. ,
DOI : 10.1075/z.35.09kro
Parsing and generation as Datalog queries, Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL 2007), pp.176-183, 2007. ,
Prefix-correct Earley parsing of mildly context-sensitive languages, invited talk at the 15th Workshop on Logic, Language, Information and Computation, 2008. ,
A prefix-correct Earley recognizer for multiple context-free grammars, Proceedings of the Ninth International Workshop on Tree Adjoining Grammars and Related Formalisms (TAG+9), pp.49-56, 2008. ,
Second-Order Abstract Categorial Grammars as Hyperedge Replacement Grammars, Journal of Logic, Language and Information, vol.88, issue.2, pp.137-161, 2009. ,
DOI : 10.1007/978-3-642-59126-6_1
URL : http://research.nii.ac.jp/~kanazawa/publications/soacgahrg.pdf
Parsing and generation as Datalog query evaluation, IfCoLog Journal of Logics and their Applications, pp.1103-1211, 2017. ,
Generating control languages with Abstract Categorial Grammars, Proceedings of the 12th conference on Formal Grammar, 2007. ,
URL : https://hal.archives-ouvertes.fr/hal-00306222
Compilation of HPSG to TAG, Proceedings of the 33rd annual meeting on Association for Computational Linguistics -, pp.92-99, 1995. ,
DOI : 10.3115/981658.981671
Parsing elliptical structure, https://home. uni-leipzig.de/gkobele, 2007. ,
Idioms and extended transducers, pp.153-161, 2012. ,
A generalized view on parsing and translation, Proceedings of the 12th International Conference on Parsing Technologies, pp.2-13, 2011. ,
Decomposing TAG parsing algorithms using simple algebraizations, ACL anthology, pp.135-143, 2012. ,
Mildly context-sensitive dependency languages, Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL 2007), pp.160-167, 2007. ,
The Mathematics of Sentence Structure, The American Mathematical Monthly, vol.92, issue.3, pp.154-170, 1958. ,
DOI : 10.1007/BF01448013
A dynamic categorial grammar of Lecture notes in computer science, Proceedings of the 19th conference on Formal Grammar, pp.138-154, 2014. ,
Constituency and dependency relationship from a Tree Adjoining Grammar and Abstract Categorial Grammar perspective The Asian Federation of Natural Language Processing, Proceedings of the 6th International Joint Conference on Natural Language Processing (IJCNLP 2013), pp.1257-1263, 2013. ,
The proper treatment of quantification in ordinary English, Approaches to natural language: proceedings of the 1970 Stanford workshop on grammar and semantics, pp.221-242, 1973. ,
Synchronous and Multicomponent Tree-Adjoining Grammars: complexity, algorithms, and applications, p.601, 2009. ,
Simpler TAG semantics through synchronization, Proceedings of the 11th conference on Formal Grammar, 2006. ,
Computing semantic representation: towards ACG abstract terms as derivation trees, HAL open archive: inria-00107768. ACL anthology, pp.64-71, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00107768
Using and extending the ACG technology: endowing categorial grammars with an underspecified semantic representation, Proceedings of the Categorial Grammars conference, pp.197-209, 2004. ,
URL : https://hal.archives-ouvertes.fr/inria-00108117
Ambiguïté de portée et approche fonctionnelle des TAG, in Actes de la 14 e conférence sur le Traitement Automatique des Langues Naturelles, pp.325-334, 2007. ,
Generalizing a proof-theoretic account of scope ambiguity, 7th International Workshop on Computational Semantics (IWCS-7), p.112898, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00112898
Advances in Abstract Categorial Grammars: language theory and linguistic modeling, ESSLLI 2009 Lecture Notes, Part II, HAL open archive, p.749297, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00749297
Modélisation logique de la langue et Grammaires Catégorielles Abstraites, p.921040, 2013. ,
D-tree grammars, Proceedings of the 33rd annual meeting on Association for Computational Linguistics -, pp.151-158, 1995. ,
DOI : 10.3115/981658.981679
D-Tree Substitution Grammars, Computational Linguistics, vol.18, issue.4, pp.87-121, 2001. ,
DOI : 10.1007/BF01048403
URL : http://doi.org/10.1162/089120101300346813
Generalized Tree-Adjoining Grammar, Proceedings of the Sixth Meeting on Mathematics of Language (MoL 6), 1999. ,
Problèmes de filtrage et problèmes d'analyse pour les grammaires catégorielles abstraites, 2005. ,
Encoding second order string ACG with deterministic tree walking transducers, Proceedings of the 11th conference on Formal Grammar, pp.143-156, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00333886
A Note on the Complexity of Abstract Categorial Grammars, Proceedings of the Tenth Meeting on Mathematics of Language (MoL 10), 2007. ,
DOI : 10.1007/978-3-642-14322-9_20
On the Membership Problem for Non-Linear Abstract Categorial Grammars, Journal of Logic, Language and Information, vol.10, issue.1, pp.163-183, 2010. ,
DOI : 10.1007/s10849-009-9110-0
URL : https://hal.archives-ouvertes.fr/hal-00306230
An alternative conception of tree-adjoining derivation, Proceedings of the 30th annual meeting on Association for Computational Linguistics -, pp.91-124, 1994. ,
DOI : 10.3115/981967.981989
A uniform architecture for parsing and generation, Proceedings of the 12th International Conference on Computational Linguistics, pp.614-619, 1988. ,
The problem of logical-form equivalence, Computational Linguistics, vol.19, issue.1, pp.179-190, 1993. ,
Restricting the weak-generative capacity of Synchronous Tree-Adjoining Grammars, Computational Intelligence, vol.10, issue.4, pp.371-385, 1994. ,
Synchronous grammars as tree transducers, pp.88-95, 2004. ,
Unifying Synchronous Tree-Adjoining Grammars and tree transducers via bimorphisms, Proceedings of the 11th Conference of the European Chapter of the Association for Computational Linguistics, pp.377-384, 2006. ,
Bimorphisms and synchronous grammars, Journal of Language Modelling, vol.2, issue.1, pp.51-104, 2014. ,
Synchronous Tree-Adjoining Grammars, Proceedings of the 13th International Conference on Computational Linguistics, pp.253-258, 1990. ,
A semantic-head-driven generation algorithm for unification-based formalisms, Proceedings of the 27th Annual Meeting of the Association for Computational Linguistics (ACL 1989), pp.7-17, 1989. ,
The syntactic process, 2001. ,
Combinatory Categorial Grammar Non-transformational syntax: formal and explicit models of grammar, 2011. ,
Essays in logical semantics, Studies in linguistics and philosophy, vol.29, issue.10, pp.978-94, 1007. ,
DOI : 10.1007/978-94-009-4540-1
A study of Tree Adjoining Grammars, 1987. ,
Using descriptions of trees in a Tree Adjoining Grammar, Computational Linguistics, vol.18, issue.4, pp.481-518, 1992. ,
Some computational properties of Tree Adjoining Grammars, Proceedings of the 23rd Annual Meeting of the Association for Computational Linguistics (ACL 1985), pp.82-93, 1985. ,
Feature structures based Tree Adjoining Grammars, Proceedings of the 12th conference on Computational linguistics -, pp.714-718, 1988. ,
DOI : 10.3115/991719.991783
URL : https://repository.upenn.edu/cgi/viewcontent.cgi?article=1749&context=cis_reports
Unification-based Tree Adjoining Grammars, 1991. ,
D-LTAG: extending lexicalized TAG to discourse, Cognitive Science, vol.29, issue.4, pp.751-779, 2004. ,
DOI : 10.1162/089120103322753347
Anchoring a Lexicalized Tree-Adjoining Grammar for discourse, Proceedings of the ACL/COLING workshop on discourse relations and discourse markers, ACL anthology, pp.98-0315, 1998. ,
Characterizing mildly context-sensitive grammar formalisms, 1988. ,
Application of Synchronous Tree-Adjoining Grammar to quantifier scoping in English, Bachelor's thesis, Harvard College, 1993. ,
Automatic grammar generation from two different perspectives, 2001. ,
Comparing Lexicalized Treebank Grammars extracted from Chinese, Korean, and English corpora, Proceedings of the second workshop on Chinese language processing held in conjunction with the 38th Annual Meeting of the Association for Computational Linguistics -, pp.52-59, 2000. ,
DOI : 10.3115/1117769.1117778
URL : http://acl.ldc.upenn.edu/W/W00/W00-1208.pdf
AUTOMATICALLY GENERATING TREE ADJOINING GRAMMARS FROM ABSTRACT SPECIFICATIONS, Computational Intelligence, vol.18, issue.4, pp.246-285, 2005. ,
DOI : 10.1017/CBO9780511597855.007
URL : http://www.eecis.udel.edu/%7Evijay/papers/fei-ci.pdf
A Lexicalized Tree Adjoining Grammar for English, 2001. ,
Linearization of affine Abstract Categorial Grammars, Proceedings of the 11th conference on Formal Grammar, 2006. ,
The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars, Blache et, pp.330-348, 2005. ,
DOI : 10.1007/11422532_22