{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T03:49:43Z","timestamp":1725594583176},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642214899"},{"type":"electronic","value":"9783642214905"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-21490-5_6","type":"book-chapter","created":{"date-parts":[[2011,7,1]],"date-time":"2011-07-01T05:53:16Z","timestamp":1309499596000},"page":"118-137","source":"Crossref","is-referenced-by-count":0,"title":["Good Types Are Useful for Learning"],"prefix":"10.1007","author":[{"given":"Isabelle","family":"Tellier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"Dudau-Sofronie","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0019-9958(80)90285-5","volume":"45","author":"D. Angluin","year":"1980","unstructured":"Angluin, D.: Inductive inference of formal languages from positive data. Information and Control\u00a045, 117\u2013135 (1980)","journal-title":"Information and Control"},{"key":"6_CR2","unstructured":"Bar Hillel, Y., Gaifman, C., Shamir, E.: On Categorial and Phrase Structure Grammars. Bulletin of the Research Council of Israel\u00a09F (1960)"},{"key":"6_CR3","unstructured":"B\u00e9chet, D., Bonato, R., Dikovsky, A., Foret, A., Le Nir, Y., Moreau, E., Retor\u00e9, C., Tellier, I.: Mod\u00e9les algorithmiques de l\u2019acquisition de la syntaxe; concepts et m\u00e9thodes, r\u00e9sultats et problemes, Revue Linguistique de Vincennes, pp. 123\u2013152 (2007)"},{"key":"6_CR4","unstructured":"B\u00e9chet, D., Foret, A.: Apprentissage des grammaires de Lambek rigides et d\u2019arit\u00e9 born\u00e9e pour le traitement automatique des langues. In: CAP 2003, pp. 155\u2013168 (2003)"},{"key":"6_CR5","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/s11225-007-9085-2","volume":"87","author":"D. B\u00e9chet","year":"2007","unstructured":"B\u00e9chet, D., Foret, A., Tellier, I.: Learnability of Pregroup Grammars. Studia Logica\u00a087, 225\u2013252 (2007)","journal-title":"Studia Logica"},{"key":"6_CR6","unstructured":"Bonato, R., Retor\u00e9, C.: Learning rigid Lambek grammars and minimalist grammars from structured sentences. In: Proceedings of Learning Language in Logic Workshop (LLL), pp. 23\u201334 (2001)"},{"key":"6_CR7","doi-asserted-by":"crossref","unstructured":"Buszkowki, W., Penn, G.: Categorial grammars determined from linguistic data by unification. Studia Logica, 431\u2013454 (1990)","DOI":"10.1007\/BF00370157"},{"key":"6_CR8","unstructured":"Dudau-Sofronie, D.: Apprentissage de grammaires cat\u00e9gorielles pour simuler l\u2019acquisition du langage naturel \u00e0 l\u2019aide d\u2019informations s\u00e9mantiques, PhD thesis, Universit\u00e9 de Lille (2004)"},{"key":"6_CR9","unstructured":"Dupont, F.: Apprentissage de grammaires de Lambek \u00e0 partir de types. In: M\u00e9moire DEA d\u2019informatique de Lille1 (2003)"},{"key":"6_CR10","unstructured":"Dudau-Sofronie, D., Tellier, I., Tommasi, M.: From logic to grammars via types. In: Proceedings of Learning Language in Logic Workshop (LLL), pp. 35\u201346 (2001)"},{"key":"6_CR11","unstructured":"Dudau-Sofronie, D., Tellier, I., Tommasi, M.: A learnable class of Classical Categorial Grammars from typed examples. In: Proceedings of the 8th Conference on Formal Grammar, pp. 77\u201388 (2003)"},{"key":"6_CR12","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/3-540-45790-9_9","volume-title":"Grammatical Inference: Algorithms and Applications","author":"A. Foret","year":"2002","unstructured":"Foret, A., Le Nir, Y.: On Limit Points for Some Variants of Rigid Lambek Grammars. In: Adriaans, P.W., Fernau, H., van Zaanen, M. (eds.) ICGI 2002. LNCS (LNAI), vol.\u00a02484, pp. 106\u2013119. Springer, Heidelberg (2002)"},{"key":"6_CR13","volume-title":"On the Logic and Learning of Language","author":"S. Fulop","year":"2004","unstructured":"Fulop, S.: On the Logic and Learning of Language. Trafford Inc., Canada (2004)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"447","DOI":"10.1016\/S0019-9958(67)91165-5","volume":"10","author":"E.M. Gold","year":"1967","unstructured":"Gold, E.M.: Language identification in the limit. Information and Control\u00a010, 447\u2013474 (1967)","journal-title":"Information and Control"},{"key":"6_CR15","volume-title":"Rationnalit\u00e9, d\u00e9veloppement et inhibition","author":"O. Houd\u00e9","year":"1998","unstructured":"Houd\u00e9, O.: Rationnalit\u00e9, d\u00e9veloppement et inhibition. Presses Universitaires de, France (1998)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Janssen, T.M.V.: Compositionality. In: Handbook of Logic and Language, pp. 417\u2013473. MIT Press, Cambridge (1997)","DOI":"10.1016\/B978-044481714-3\/50011-4"},{"key":"6_CR17","unstructured":"Kanazawa, M.: Learnable Classes of Categorial Grammars. CSLI Publications, Stanford (1998)"},{"key":"6_CR18","doi-asserted-by":"crossref","unstructured":"Lambek, J.: The mathematics of sentence structure, vol.\u00a0(65), pp. 154\u2013170 (1958)","DOI":"10.1080\/00029890.1958.11989160"},{"key":"6_CR19","unstructured":"Montague, R.: Formal Philosophy; Selected papers of Richard Montague (1974)"},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Moortgat, M.: Categorial type logics. In: Handbook of Logic and Language. MIT Press, Cambridge (1997)","DOI":"10.1016\/B978-044481714-3\/50005-9"},{"key":"6_CR21","doi-asserted-by":"crossref","unstructured":"Oehrle, R.T., Bach, E., Wheeler, D.: Categorial grammars and natural language structures. Reidel, Dordrechtz (1988)","DOI":"10.1007\/978-94-015-6878-4"},{"key":"6_CR22","unstructured":"Partee, B.: Mathematical methods in Linguistics, vol. (30) (1990)"},{"key":"6_CR23","unstructured":"Pentus, M.: Lambek calculus is np-complete, Draft (2003)"},{"key":"6_CR24","unstructured":"Pinker, S.: Language Acquisition. In: An Invitation to Cognitive Science, pp. 135\u2013182. MIT Press, Cambridge (2005)"},{"key":"6_CR25","unstructured":"Retor\u00e9, C.: The logic of categorial grammars. In: ACL 2001 and Rapport Inria 5703 (2003)"},{"key":"6_CR26","unstructured":"Tellier, I.: Mod\u00e9liser l\u2019acquisition de la syntaxe via l\u2019hypoth\u00e9se de la primaut\u00e9 du sens, Habilitation thesis, university of Lille3 (2005)"},{"key":"6_CR27","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"200","DOI":"10.1007\/978-3-540-88009-7_16","volume-title":"Grammatical Inference: Algorithms and Applications","author":"I. Tellier","year":"2008","unstructured":"Tellier, I.: How to Split Recursive Automata. In: Clark, A., Coste, F., Miclet, L. (eds.) ICGI 2008. LNCS (LNAI), vol.\u00a05278, pp. 200\u2013212. Springer, Heidelberg (2008)"},{"key":"6_CR28","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-94-015-6878-4_3","volume-title":"Categorial Grammars and Natural Language Structures","author":"J. Benthem van","year":"1988","unstructured":"van Benthem, J.: The Lambek Calculus. In: Categorial Grammars and Natural Language Structures, pp. 35\u201368. Reidel, Dordrecht (1988)"}],"container-title":["Lecture Notes in Computer Science","Logic and Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-21490-5_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,12]],"date-time":"2019-06-12T12:28:52Z","timestamp":1560342532000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-21490-5_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642214899","9783642214905"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-21490-5_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}