{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:52:50Z","timestamp":1725605570384},"publisher-location":"Berlin, Heidelberg","reference-count":48,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642642494"},{"type":"electronic","value":"9783642600852"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1999]]},"DOI":"10.1007\/978-3-642-60085-2_19","type":"book-chapter","created":{"date-parts":[[2011,9,8]],"date-time":"2011-09-08T11:03:26Z","timestamp":1315479806000},"page":"429-456","source":"Crossref","is-referenced-by-count":2,"title":["The Logic of Language"],"prefix":"10.1007","author":[{"given":"Veronica","family":"Dahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"19_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-3640-5","volume-title":"Logic Grammars","author":"H Abramson","year":"1989","unstructured":"H. Abramson and V. Dahl. Logic Grammars. Monograph, Symbolic Computation Al Series. Springer-Verlag, 1989."},{"key":"19_CR2","first-page":"91","volume-title":"Technical report, CSS\/LCCR TR","author":"J Andrews","year":"1991","unstructured":"Jamie Andrews, V. Dahl, and F. Popowich. A Relevance Logic Characterization of Static Discontinuity Grammars. Technical report, CSS\/LCCR TR 91\u201312, Simon Fraser University, 1991."},{"key":"19_CR3","first-page":"1","volume-title":"Proc. International Conference on Computational Linguistics","author":"S Balari","year":"1990","unstructured":"S. Balari and G. B. Varile. CLG(n): Constraint Logic Grammars. In Proc. International Conference on Computational Linguistics, pages 1\u20136, 1990."},{"key":"19_CR4","unstructured":"J. Bresnan. The Mental Representation of Grammatical Relations. MIT Press, 1982."},{"key":"19_CR5","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511530098","volume-title":"The Logic of Typed Feature Structures\u2014with Applications to Unification Grammars","author":"B Carpenter","year":"1992","unstructured":"B. Carpenter. The Logic of Typed Feature Structures\u2014with Applications to Unification Grammars, Logic Programs and Constraint Resolution. Cambridge University Press, 1992."},{"key":"19_CR6","unstructured":"N. Chomsky. Lectures on Government and Binding. Foris Publications, 1981."},{"key":"19_CR7","doi-asserted-by":"crossref","unstructured":"A. Colmerauer. Metamorphosis Grammars, volume 63, pages 133\u2013189. Springer-Verlag, 1978.","DOI":"10.1007\/BFb0031371"},{"key":"19_CR8","doi-asserted-by":"crossref","unstructured":"E. A. Cowper. A Concise Introduction to Syntactic Theory. University of Chicago Press, 1992.","DOI":"10.7208\/chicago\/9780226160221.001.0001"},{"issue":"4","key":"19_CR9","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1111\/j.1467-8640.1989.tb00326.x","volume":"5","author":"V Dahl","year":"1989","unstructured":"V. Dahl. Discontinuous Grammars. Computational Intelligence, 5(4):161\u2013179, 1989.","journal-title":"Discontinuous Grammars. Computational Intelligence"},{"issue":"1","key":"19_CR10","doi-asserted-by":"publisher","first-page":"681","DOI":"10.1016\/0743-1066(94)90036-1","volume":"12","author":"V Dahl","year":"1994","unstructured":"V. Dahl. Natural Language Processing and Logic Programming. Journal of Logic Programming, 12(1):681\u2013714, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"3","key":"19_CR11","doi-asserted-by":"publisher","first-page":"245","DOI":"10.1007\/BF03037519","volume":"8","author":"V Dahl","year":"1990","unstructured":"V. Dahl and F. Popowich. Parsing and Generation with Static Discontinuity Grammars. New Generation Computing, 8(3):245\u2013274, 1990.","journal-title":"New Generation Computing"},{"key":"19_CR12","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/BF00985271","volume":"16","author":"V Dahl","year":"1993","unstructured":"V. Dahl, F. Popowich, and M. Rochemont. A Principled Characterization of Dislocated Phrases: Capturing Barriers with Static Discontinuity Grammars. Linguistics and Philosophy, 16:331\u2013352, 1993.","journal-title":"Linguistics and Philosophy"},{"key":"19_CR13","volume-title":"Proc. EPIA 1989, Lecture Notes in Artificial Intelligence 390","author":"L Damas","year":"1989","unstructured":"L. Damas and G. B. Varile. CLG: A Grammar Formalism Based on Constraint Resolution. In Morgado, E. M. and Martins, J. P., editors, Proc. EPIA 1989, Lecture Notes in Artificial Intelligence 390, Springer-Verlag, 1989."},{"key":"19_CR14","unstructured":"A. Eisele and J Dorre. A Comprehensive Unification Formalism. DYANA inter-nal memo, Institut fur Maschinelle Sprachverarbeitung, University of Stuttgart, 1990."},{"issue":"4","key":"19_CR15","doi-asserted-by":"publisher","first-page":"l","DOI":"10.1111\/0824-7935.00076","volume":"14","author":"A Fall","year":"1998","unstructured":"A. Fall. The Foundations of Taxonomic Encoding. Computational Intelligence, 14(4):l\u201345, 1998.","journal-title":"Computational Intelligence"},{"key":"19_CR16","volume-title":"Generalized Phrase Structure Grammar","author":"G Gazdar","year":"1985","unstructured":"G. Gazdar, E. Klein, G.L. Pullum, and I Sag. Generalized Phrase Structure Grammar. Harvard University Press, Cambridge, MA., 1985"},{"key":"19_CR17","unstructured":"G. Gazdar and C. Mellish. Natural Language Processing in Prolog\u2014An Introduction to Computational Linguistics. Addison-Wesley, 1989."},{"key":"19_CR18","first-page":"622","volume-title":"Logic Programming Proceedings of the Joint International Conference and Symposium on Logic programming","author":"J Hodas","year":"1992","unstructured":"J. Hodas. Specifying Filler-Gap Dependency Parsers in a Linear-Logic Programming Language. In Krzysztof Apt, editor, Logic Programming Proceedings of the Joint International Conference and Symposium on Logic programming, pages 622\u2013636, MIT Press, 1992."},{"key":"19_CR19","first-page":"111","volume-title":"Proc. 14th ACM Symposium on Principles of Programming Languages","author":"J Jaffar","year":"1987","unstructured":"J. Jaffar and J.-L Lassez. Constraint Logic Programming. In Proc. 14th ACM Symposium on Principles of Programming Languages, pages 111\u2013119, 1987."},{"key":"19_CR20","first-page":"241","volume-title":"In Proc. 1988 Conference of the Association for Computational Linguistics","author":"M Johnson","year":"1988","unstructured":"M Johnson. Deductive Parsing with Multiple Levels of Representation. In Proc. 1988 Conference of the Association for Computational Linguistics, pages 241\u2013248, 1988."},{"key":"19_CR21","doi-asserted-by":"crossref","unstructured":"M Johnson. Deductive Parsing: The Use of Knowledge of Language, pages 39\u201364. Kluwer Academic Publishers, 1991.","DOI":"10.1007\/978-94-011-3474-3_2"},{"key":"19_CR22","first-page":"992","volume-title":"Proc. Twelfth International Joint Conference on Artificial Intelligence","author":"M Johnson","year":"1991","unstructured":"M Johnson. Logic and Feature Structures. In Proc. Twelfth International Joint Conference on Artificial Intelligence, pages 992\u2013992, 1991."},{"key":"19_CR23","unstructured":"R.A. Kowalski. Logic for Problem Solving. North-Holland, 1979."},{"key":"19_CR24","doi-asserted-by":"publisher","first-page":"154","DOI":"10.2307\/2310058","volume":"65","author":"J Lambek","year":"1958","unstructured":"J Lambek. The Mathematics of Sentence Structure. American Mathematical Monthly, 65:154\u2013169, 1958.","journal-title":"American Mathematical Monthly"},{"key":"19_CR25","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1090\/conm\/092\/1003201","volume":"92","author":"J Lambek","year":"1987","unstructured":"J Lambek. Multicategories Revisited. Categories in Computer Science, Contemporary Mathematics, 92:217\u2013239, 1987.","journal-title":"Contemporary Mathematics"},{"key":"19_CR26","first-page":"1904","volume-title":"Proceedings 1995 International Conference on Systems, Man and Cybernetics","author":"MC Thomas","year":"1995","unstructured":"Thomas M.C., Dahl V., and Fall A. Logic Planning in Robotics. In Proceedings 1995 International Conference on Systems, Man and Cybernetics, pages 1904\u20131908, 1995."},{"key":"19_CR27","doi-asserted-by":"publisher","first-page":"247","DOI":"10.3115\/981131.981165","volume-title":"Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics","author":"DA Miller","year":"1986","unstructured":"D.A. Miller and G Nadathur. Some Uses of Higher-order Logic in Computational Linguistics. In Proceedings of the 24th Annual Meeting of the Association for Computational Linguistics, pages 247\u2013255, 1986."},{"key":"19_CR28","doi-asserted-by":"crossref","unstructured":"M. Moens, J. Calder, E. Klein, M. Reape, and H Zeevat. Expressing Generalizations in Unification-based Grammar Formalisms, pages 174\u2013181. European Association for Computational Linguistics 89, 1989.","DOI":"10.3115\/976815.976839"},{"key":"19_CR29","doi-asserted-by":"crossref","unstructured":"M. Moortgat. Categorial Investigations: Logical and Linguistic Aspects of the Lambek Calculus. PhD thesis, University of Amsterdam, Amsterdam, The Netherlands, October 1988.","DOI":"10.1515\/9783112329580"},{"key":"19_CR30","doi-asserted-by":"crossref","DOI":"10.1007\/978-94-015-6878-4","volume-title":"Categorial Grammars and Natural Language Structure","author":"RT Oehrle","year":"1988","unstructured":"R. T. Oehrle, E. Bach, and D. Wheeler, editors. Categorial Grammars and Natural Language Structure. Reidel, 1988."},{"key":"19_CR31","first-page":"373","volume-title":"International Conference in Logic Programming","author":"R Pareschi","year":"1990","unstructured":"R. Pareschi and D Miller. Extending Definite Clause Grammars with Scoping Constructs, pages 373\u2013389. Warren, David H. D. and Szeredi, P., editors, International Conference in Logic Programming, MIT Press, 1990."},{"key":"19_CR32","first-page":"78","volume-title":"Logics in Al, Proc. European Workshop JELIA \u201990","author":"FCN Pereira","year":"1991","unstructured":"F. C. N Pereira. Semantic Interpretation as Higher-order Deduction. In J. van Eijck, editor, Logics in Al, Proc. European Workshop JELIA \u201990, pages 78\u201396, Springer-Verlag, 1991."},{"key":"19_CR33","unstructured":"C.J Pollard and I.A. Sag. Information-based Syntax and Semantics. Technical Report CSLI Notes 13, Center for the Study of Language and Information, Stanford, 1987."},{"issue":"1","key":"19_CR34","doi-asserted-by":"publisher","first-page":"105","DOI":"10.1016\/0743-1066(90)90035-4","volume":"9","author":"EP Stabler","year":"1990","unstructured":"E. P. Stabler. Representing Knowledge with Theories about Theories. Journal of Logic Programming, 9(1):105\u2013138, 1990.","journal-title":"Journal of Logic Programming"},{"key":"19_CR35","unstructured":"E.P. Jr. Stabler. Restricting Logic Grammars with Government-binding Th\u00acory. Journal of Computational Linguistics, 1987."},{"key":"19_CR36","doi-asserted-by":"publisher","first-page":"523","DOI":"10.2307\/414385","volume":"61","author":"M Steedman","year":"1985","unstructured":"M. Steedman. Dependency and Coordination in the Grammar of Dutch and English. Language, 61:523\u2013568, 1985.","journal-title":"Language"},{"key":"19_CR37","doi-asserted-by":"crossref","unstructured":"Paul Tarau, Veronica Dahl, and Andrew Fall. Backtrackable State with Linear Affine Implication and Assumption Grammars. In Joxan Jaffar and Roland H.C. Yap, editors, Concurrency and Parallelism, Programming, Networking, and Security, Lecture Notes in Computer Science 1179, pages 53\u201364, Springer-Verlag, 1996.","DOI":"10.1007\/BFb0027779"},{"key":"19_CR38","unstructured":"Paul Tarau, Koen De Boschere, Veronica Dahl, and Stephen Rochefort. Logi-MOO: an Extensible Multi-User Virtual World with Natural Language Control, accepted for publication in Journal of Logic Programming."},{"key":"19_CR39","doi-asserted-by":"publisher","first-page":"95","DOI":"10.3115\/976815.976828","volume-title":"Proceedings of the European Chapter of the Association for Computational Linguistics","author":"H Tuda","year":"1989","unstructured":"H. Tuda, Hasida K., and Sirai H. JPSG Parser on Constraint Logic Programming. In Proceedings of the European Chapter of the Association for Computational Linguistics, pages 95\u2013102, 1989."},{"key":"19_CR40","first-page":"187","volume-title":"Proceedings International Conference on Computational Linguistics 86","author":"H Uszkoreit","year":"1986","unstructured":"H. Uszkoreit. Categorial Unification Grammars. In Proceedings International Conference on Computational Linguistics 86, pages 187\u2013194, 1986."},{"key":"19_CR41","doi-asserted-by":"crossref","unstructured":"Dahl V., Fall A., and M. C. Thomas. Driving Robots through Natural Language. In Proceedings 1995 International Conference on Systems, Man and Cybernetics, 1995.","DOI":"10.1109\/ICSMC.1995.538054"},{"key":"19_CR42","first-page":"256","volume-title":"Proceedings International Conference on Logic Programming\u201997","author":"V Dahl","year":"1997","unstructured":"Dahl V., Tarau P., and Li R. Assumption Grammars for Processing Natural Language In Lee Naish, editor, Proceedings International Conference on Logic Programming\u201997, pages 256\u2013270, MIT Press, 1997."},{"key":"19_CR43","volume-title":"Categorial Grammars and Natural Language Structure","author":"J Benthem van","year":"1988","unstructured":"J. van Benthem. The Lambek Calculus. In R. T. Oehrle, E. Bach, and D. Wheeler, editors, Categorial Grammars and Natural Language Structure, Dordrecht, The Netherlands, 1988."},{"key":"19_CR44","unstructured":"J. van Benthem. Language in Action\u2014Categories, Lambdas and Dynamic Logic, volume 130 of Studies in Logic and the Foundations of Mathematics. North-Holland, 1991."},{"key":"19_CR45","unstructured":"Henk van Riemsdijk and Edwin Williams. Introduction to the Theory of Grammar. MIT Press, 1986."},{"key":"19_CR46","unstructured":"E. Villemonte de la Clergerie. Automates \u00e0 Piles et Programmation Dynamique. DyALog: Une application \u00e0 la Programmation en Logique. PhD thesis, INRIA, Paris, 1993."},{"key":"19_CR47","unstructured":"Osmar Zaiane, Andrew Fall, Rochefort Stephen, Dahl Veronica, and Paul Tarau. On-line Resource Discovery Using Natural Language. In Proceedings of RIAO\u201997, pages 336\u2013355, McGill University, Montreal, June 1997."},{"key":"19_CR48","first-page":"499","volume":"4","author":"H Zeevat","year":"1991","unstructured":"H. Zeevat, E. Klein, and J. Calder. Unification Categorial Grammar. In Lingua e Stile, volume 4, pages 499\u2013527. Editrice il Mulino, 1991.","journal-title":"In Lingua e Stile"}],"container-title":["Artificial Intelligence","The Logic Programming Paradigm"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-60085-2_19.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,3]],"date-time":"2021-12-03T22:30:49Z","timestamp":1638570649000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-60085-2_19"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1999]]},"ISBN":["9783642642494","9783642600852"],"references-count":48,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-60085-2_19","relation":{},"ISSN":["1431-0066"],"issn-type":[{"type":"print","value":"1431-0066"}],"subject":[],"published":{"date-parts":[[1999]]}}}