, Chapter
, Bibliography
A montagovian treatment of modal subordination, Proceedings of SALT, pp.387-405, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00565616
Sdrt and continuation semantics In New Frontiers in Artificial Intelligence JSAI-isAI 2010 Workshops, pp.3-15, 2010. ,
Logics of conversation, 2003. ,
Relational programming in minikanren: techniques, applications , and implementations, 2010. ,
Towards abstract categorial grammars, Proceedings of the 39th Annual Meeting on Association for Computational Linguistics , ACL '01, pp.252-259, 2001. ,
DOI : 10.3115/1073012.1073045
URL : https://hal.archives-ouvertes.fr/inria-00100529
Towards a montagovian account of dynamics, Proceedings of SALT, pp.1-16, 2006. ,
Vector addition tree automata, Proceedings of the 19th Annual IEEE Symposium on Logic in Computer Science, 2004., pp.64-73, 2004. ,
DOI : 10.1109/LICS.2004.1319601
Type-theoretic extensions of abstract categorial grammars. ESSLLI, p.19, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00187759
On Two Extensions of Abstract Categorial Grammars, Logic for Programming, Artificial Intelligence, and Reasoning, pp.273-287, 2007. ,
DOI : 10.1007/978-3-540-75560-9_21
URL : https://hal.archives-ouvertes.fr/inria-00609120
Metagrammars as logic programs, 7th International Conference on Logical Aspects of Computational Linguistics, pp.1-4, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00696562
A toolchain for grammarians, 22nd International Conference on on Computational Linguistics: Demonstration Papers, pp.153-156, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00336333
Interaction Grammars, Research on Language and Computation, vol.18, issue.4, pp.171-208, 2009. ,
DOI : 10.1016/j.lingua.2003.09.006
URL : https://hal.archives-ouvertes.fr/inria-00288376
From discourse to logic: Introduction to modeltheoretic semantics of natural language, formal logic and discourse representation theory. Number 42, 1993. ,
Parsing and generation as datalog queries, AN- NUAL MEETING-ASSOCIATION FOR COMPUTATIONAL LINGUIS- TICS, p.176, 2007. ,
Lexical-functional grammar: A formal system for grammatical representation. Formal Issues in Lexical- Functional Grammar, pp.29-130, 1982. ,
The proper treatment of quantification in ordinary english ,
Categorial grammars and wide-coverage semantics with grail, 2012. ,
DOI : 10.1007/978-3-642-21490-5_3
? lean tap: A declarative theorem prover for first-order classical logic, Logic Programming, pp.238-252, 2008. ,
From intuitionistic proof nets to interaction grammars, 1999. ,
URL : https://hal.archives-ouvertes.fr/inria-00098793
Intuitionistic Multiplicative Proof Nets as Models of Directed Acyclic Graph Descriptions, Logic for Programming, Artificial Intelligence , and Reasoning, pp.233-248, 2001. ,
DOI : 10.1007/3-540-45653-8_16
URL : https://hal.archives-ouvertes.fr/inria-00100667
A french interaction grammar, International Conference on Recent Advances in Natural Language Processing-RANLP 2007, pp.463-467, 2007. ,
DOI : 10.15398/jlm.v3i1.93
URL : https://hal.archives-ouvertes.fr/inria-00184108
Generalizing a proof-theoretic account of scope ambiguity, 7th International Workshop on Computational Semantics, 2007. ,
URL : https://hal.archives-ouvertes.fr/inria-00112898
Controlling Extraction in Abstract Categorial Grammars, Formal Grammar, pp.162-177, 2012. ,
DOI : 10.1007/978-3-642-32024-8_11
URL : https://hal.archives-ouvertes.fr/inria-00565629
Event in Compositional Dynamic Semantics, Logical Aspects of Computational Linguistics, pp.219-234, 2011. ,
DOI : 10.1016/0378-2166(88)90050-1
URL : https://hal.archives-ouvertes.fr/hal-00601620
Problemes de filtrage et problemes d'analyse pour les grammaires catégorielles abstraites, These de Doctorat. Institut National Polytechnique de Lorraine, 2005. ,
Concepts, techniques, and models of computer programming, 2004. ,
The Complexity and Generative Capacity of Lexicalized Abstract Categorial Grammars, Logical Aspects of Computational Linguistics, pp.330-346, 2005. ,
DOI : 10.1007/11422532_22