{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T23:40:54Z","timestamp":1725579654367},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642320231"},{"type":"electronic","value":"9783642320248"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-32024-8_11","type":"book-chapter","created":{"date-parts":[[2012,7,14]],"date-time":"2012-07-14T07:58:00Z","timestamp":1342252680000},"page":"162-177","source":"Crossref","is-referenced-by-count":6,"title":["Controlling Extraction in Abstract Categorial Grammars"],"prefix":"10.1007","author":[{"given":"Sylvain","family":"Pogodalla","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florent","family":"Pompigne","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"11_CR1","doi-asserted-by":"crossref","unstructured":"Carpenter, B.: Type-Logical Semantics. The MIT Press (1997)","DOI":"10.7551\/mitpress\/6945.001.0001"},{"key":"11_CR2","doi-asserted-by":"crossref","unstructured":"Curry, H.B.: Some logical aspects of grammatical structure. In: Jakobson, R. (ed.) Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp. 56\u201368. American Mathematical Society (1961)","DOI":"10.1090\/psapm\/012\/9981"},{"key":"11_CR3","doi-asserted-by":"crossref","unstructured":"de Groote, P.: Towards Abstract Categorial Grammars. In: 39th Annual Meeting and 10th Conference of the European Chapter, Proceedings of the Conference on Association for Computational Linguistics, pp. 148\u2013155 (2001)","DOI":"10.3115\/1073012.1073045"},{"key":"11_CR4","doi-asserted-by":"crossref","unstructured":"de Groote, P., Maarek, S.: Type-theoretic extensions of Abstract Categorial Grammars. In: Proceedings of New Directions in Type-Theoretic Grammars, pp. 18\u201330 (2007), http:\/\/let.uvt.nl\/general\/people\/rmuskens\/ndttg\/ndttg2007.pdf","DOI":"10.1007\/978-3-540-75560-9_21"},{"issue":"4","key":"11_CR5","doi-asserted-by":"publisher","first-page":"421","DOI":"10.1007\/s10849-004-2114-x","volume":"13","author":"P. Groote de","year":"2004","unstructured":"de Groote, P., Pogodalla, S.: On the expressive power of abstract categorial grammars: Representing context-free formalisms. Journal of Logic, Language and Information\u00a013(4), 421\u2013438 (2004), http:\/\/hal.inria.fr\/inria-00112956\/fr\/","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"182","DOI":"10.1007\/978-3-642-02261-6_15","volume-title":"Logic, Language, Information and Computation","author":"P. Groote de","year":"2009","unstructured":"de Groote, P., Pogodalla, S., Pollard, C.: On the Syntax-Semantics Interface: From Convergent Grammar to Abstract Categorial Grammar. In: Ono, H., Kanazawa, M., de Queiroz, R. (eds.) WoLLIC 2009. LNCS, vol.\u00a05514, pp. 182\u2013196. Springer, Heidelberg (2009), http:\/\/hal.inria.fr\/inria-00390490\/en\/"},{"key":"11_CR7","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1007\/978-3-540-75560-9_21","volume-title":"Logic for Programming, Artificial Intelligence, and Reasoning","author":"P. Groote de","year":"2007","unstructured":"de Groote, P., Maarek, S., Yoshinaka, R.: On Two Extensions of Abstract Categorial Grammars. In: Dershowitz, N., Voronkov, A. (eds.) LPAR 2007. LNCS (LNAI), vol.\u00a04790, pp. 273\u2013287. Springer, Heidelberg (2007)"},{"key":"11_CR8","doi-asserted-by":"crossref","unstructured":"Johnson, M.: Proof nets and the complexity of processing center embedded constructions. Journal of Logic, Language and Information\u00a07(4) (1998)","DOI":"10.1023\/A:1008386826277"},{"key":"11_CR9","doi-asserted-by":"crossref","unstructured":"Joshi, A.K., Schabes, Y.: Tree-adjoining grammars. In: Rozenberg, G., Salomaa, A. (eds.) Handbook of Formal Languages, ch. 2. Springer (1997)","DOI":"10.1007\/978-3-642-59126-6_2"},{"key":"11_CR10","first-page":"176","volume-title":"Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL)","author":"M. Kanazawa","year":"2007","unstructured":"Kanazawa, M.: Parsing and generation as datalog queries. In: Proceedings of the 45th Annual Meeting of the Association of Computational Linguistics (ACL), pp. 176\u2013183. Association for Computational Linguistics, Prague (2007), http:\/\/www.aclweb.org\/anthology\/P\/P07\/P07-1023"},{"key":"11_CR11","unstructured":"Kanazawa, M., Pogodalla, S.: Advances in Abstract Categorial Grammars: Language theory and linguistic modelling. In: ESSLLI 2009, Bordeaux, France. Lecture Notes (2009), http:\/\/www.loria.fr\/equipes\/calligramme\/acg\/publications\/esslli-09\/2009-esslli-acg-week-2-part-2.pdf"},{"key":"11_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-642-14322-9_15","volume-title":"The Mathematics of Language","author":"Y. Kubota","year":"2010","unstructured":"Kubota, Y., Pollard, C.: Phonological Interpretation into Preordered Algebrasa. In: Ebert, C., J\u00e4ger, G., Michaelis, J. (eds.) MOL 10. LNCS, vol.\u00a06149, pp. 200\u2013209. Springer, Heidelberg (2010)"},{"issue":"3","key":"11_CR13","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J. Lambek","year":"1958","unstructured":"Lambek, J.: The mathematics of sentence structure. American Mathematical Monthly\u00a065(3), 154\u2013170 (1958)","journal-title":"American Mathematical Monthly"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"Lambek, J.: On the calculus of syntactic types. In: Jacobsen, R. (ed.) Structure of Language and its Mathematical Aspects. Proceedings of Symposia in Applied Mathematics, vol.\u00a0XII. American Mathematical Society (1961)","DOI":"10.1090\/psapm\/012\/9972"},{"key":"#cr-split#-11_CR15.1","unstructured":"Montague, R.: The proper treatment of quantification in ordinary english. In: Formal Philosophy: Selected Papers of Richard Montague. Yale University Press (1974)"},{"key":"#cr-split#-11_CR15.2","unstructured":"re-edited in Formal Semantics: The Essential Readings, Portner, P., Partee, B.H., (eds.) Blackwell Publishers (2002)"},{"key":"11_CR16","first-page":"93","volume-title":"Handbook of Logic and Language","author":"M. Moortgat","year":"1996","unstructured":"Moortgat, M.: Categorial type logics. In: van Benthem, J., ter Meulen, A. (eds.) Handbook of Logic and Language, pp. 93\u2013177. Elsevier Science Publishers, Amsterdam (1996)"},{"key":"11_CR17","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1023\/A:1008399708659","volume":"10","author":"R. Moot","year":"2001","unstructured":"Moot, R., Piazza, M.: Linguistic applications of first order intuitionistic linear logic. Journal of Logic, Language and Information\u00a010, 211\u2013232 (2001)","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR18","unstructured":"Morrill, G.: Categorial formalisation of relativisation: Islands, extraction sites and pied piping. Tech. Rep. LSI-92-23-R, Departament de Llenguatges i Sistemes Inform\u00e0tics, Universitat Polit\u00e8cnica de Catalunya (1992)"},{"issue":"3","key":"11_CR19","doi-asserted-by":"publisher","first-page":"319","DOI":"10.1162\/089120100561728","volume":"26","author":"G.V. Morrill","year":"2000","unstructured":"Morrill, G.V.: Incremental processing and acceptability. Computational Linguistics\u00a026(3), 319\u2013338 (2000)","journal-title":"Computational Linguistics"},{"key":"11_CR20","unstructured":"Muskens, R.: Lambda Grammars and the Syntax-Semantics Interface. In: van Rooy, R., Stokhof, M. (eds.) Proceedings of the Thirteenth Amsterdam Colloquium, Amsterdam, pp. 150\u2013155 (2001)"},{"key":"11_CR21","doi-asserted-by":"crossref","unstructured":"Muskens, R.: Lambdas, Language, and Logic. In: Kruijff, G.J., Oehrle, R. (eds.) Resource Sensitivity in Binding and Anaphora. Studies in Linguistics and Philosophy, pp. 23\u201354. Kluwer (2003)","DOI":"10.1007\/978-94-010-0037-6_2"},{"issue":"3","key":"11_CR22","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1007\/s11168-007-9035-1","volume":"5","author":"R. Muskens","year":"2007","unstructured":"Muskens, R.: Separating syntax and combinatorics in categorial grammar. Research on Language and Computation\u00a05(3), 267\u2013285 (2007)","journal-title":"Research on Language and Computation"},{"key":"11_CR23","unstructured":"Pogodalla, S.: Computing semantic representation: Towards ACG abstract terms as derivation trees. In: Proceedings of the Seventh International Workshop on Tree Adjoining Grammar and Related Formalisms (TAG+7), pp. 64\u201371 (May 2004), http:\/\/www.cs.rutgers.edu\/TAG+7\/papers\/pogodalla.pdf"},{"key":"11_CR24","first-page":"154","volume-title":"Proceedings of the 7th International Workshop on Computational Semantics - IWCS 2007","author":"S. Pogodalla","year":"2007","unstructured":"Pogodalla, S.: Generalizing a proof-theoretic account of scope ambiguity. In: Geertzen, J., Thijsse, E., Bunt, H., Schiffrin, A. (eds.) Proceedings of the 7th International Workshop on Computational Semantics - IWCS 2007, pp. 154\u2013165. Tilburg University, Deparment of Communication and Information Sciences (2007), http:\/\/hal.inria.fr\/inria-00112898"},{"key":"11_CR25","doi-asserted-by":"crossref","unstructured":"Ranta, A.: Type Theoretical Grammar. Oxford University Press (1994)","DOI":"10.1093\/oso\/9780198538578.001.0001"},{"issue":"2","key":"11_CR26","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1007\/s10849-009-9111-z","volume":"19","author":"C. Retor\u00e9","year":"2010","unstructured":"Retor\u00e9, C., Salvati, S.: A faithful representation of non-associative lambek grammars in abstract categorial grammars. Journal of Logic, Language and Information\u00a019(2), 185\u2013200 (2010), http:\/\/www.springerlink.com\/content\/f48544n414594gw4\/","journal-title":"Journal of Logic, Language and Information"},{"key":"11_CR27","unstructured":"Salvati, S.: Probl\u00e8mes de filtrage et probl\u00e8mes d\u2019analyse pour les grammaires cat\u00e9gorielles abstraites. Ph.D. thesis. Institut National Polytechnique de Lorraine (2005)"},{"key":"11_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1007\/978-3-642-21490-5_5","volume-title":"Logic and Grammar","author":"S. Salvati","year":"2011","unstructured":"Salvati, S.: Minimalist Grammars in the Light of Logic. In: Pogodalla, S., Quatrini, M., Retor\u00e9, C. (eds.) Logic and Grammar. LNCS, vol.\u00a06700, pp. 81\u2013117. Springer, Heidelberg (2011)"},{"key":"11_CR29","first-page":"55","volume-title":"Proceedings of the 4th continuations workshop","author":"C.C. Shan","year":"2004","unstructured":"Shan, C.C.: Delimited continuations in natural language: Quantification and polarity sensitivity. In: Thielecke, H. (ed.) Proceedings of the 4th continuations workshop, pp. 55\u201364. School of Computer Science, University of Birmingham (2004)"},{"key":"11_CR30","unstructured":"Shieber, S.M.: Unifying synchronous tree-adjoining grammars and tree transducers via bimorphisms. In: Proceedings of the 11th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2006), Trento, Italy, April 3-7 (2006), http:\/\/www.aclweb.org\/anthology-new\/E\/E06\/E06-1048.pdf"},{"key":"11_CR31","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/BFb0052152","volume-title":"Logical Aspects of Computational Linguistics","author":"E. Stabler","year":"1997","unstructured":"Stabler, E.: Derivational minimalism. In: Retor\u00e9, C. (ed.) LACL 1996. LNCS (LNAI), vol.\u00a01328, pp. 68\u201395. Springer, Heidelberg (1997)"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-32024-8_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,4,26]],"date-time":"2024-04-26T21:06:36Z","timestamp":1714165596000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-32024-8_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642320231","9783642320248"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-32024-8_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}