{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T17:56:25Z","timestamp":1725558985521},"publisher-location":"Berlin, Heidelberg","reference-count":40,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540261650"},{"type":"electronic","value":"9783540319283"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11424574_4","type":"book-chapter","created":{"date-parts":[[2010,7,13]],"date-time":"2010-07-13T14:25:10Z","timestamp":1279031110000},"page":"48-73","source":"Crossref","is-referenced-by-count":3,"title":["The Other Syntax: Approaching Natural Language Semantics Through Logical Form Composition"],"prefix":"10.1007","author":[{"given":"Gerald","family":"Penn","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Richter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-59115-0","volume-title":"Constraint-Programmierung","author":"T. Fr\u00fchwirth","year":"1997","unstructured":"Fr\u00fchwirth, T., Abdennadher, S.: Constraint-Programmierung. Springer, Heidelberg (1997)"},{"key":"4_CR2","unstructured":"May, R.: Logical Form: Its Structure and Derivation. MIT Press, Cambridge (1983) (Linguistic Inquiry Monographs)"},{"key":"4_CR3","doi-asserted-by":"crossref","unstructured":"Alshawi, H., Crouch, D.: Monotonic semantic interpretation. In: Proceedings of 30th Annual Meeting of the Association for Computational Linguistics, pp. 32\u201339 (1992)","DOI":"10.3115\/981967.981972"},{"key":"4_CR4","unstructured":"Cooper, R.: Montague\u2019s Semantic Theory and Transformational Syntax. PhD thesis, University of Massachusetts, Amherst (1975)"},{"key":"4_CR5","unstructured":"Copestake, A., Flickinger, D., Pollard, C., Sag, I.A.: Minimal Recursion Semantics: An introduction. Journal submission (November 2003)"},{"key":"4_CR6","volume-title":"Semantics in Generative Grammar","author":"I. Heim","year":"1997","unstructured":"Heim, I., Kratzer, A.: Semantics in Generative Grammar. Blackwell, Malden (1997)"},{"key":"4_CR7","doi-asserted-by":"crossref","unstructured":"Condoravdi, C., Crouch, D., de Paiva, V., Stolle, R., Bobrow, D.G.: Entailment, intensionality and text understanding. In: Proceedings of the Human Language Technology Conference \/ North American ACL, Workshop on Text Meaning (2003)","DOI":"10.3115\/1119239.1119245"},{"key":"4_CR8","doi-asserted-by":"crossref","unstructured":"Fellbaum, C. (ed.): WordNet: An Electronic Lexical Database. MIT Press, Cambridge (1998), see also http:\/\/www.cogsci.princeton.edu\/~wn","DOI":"10.7551\/mitpress\/7287.001.0001"},{"key":"4_CR9","first-page":"254","volume":"10","author":"S. Harabagiu","year":"1999","unstructured":"Harabagiu, S., Moldovan, D.: A parallel system for textual inference. IEEE Transactions on Parallel and Distributed Systems\u00a010, 254\u2013271 (1999)","journal-title":"IEEE Transactions on Parallel and Distributed Systems"},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Harabagiu, S., Moldovan, D., Pa\u015fca, M., Mihalcea, R., Surdeanu, M., Bunescu, R., Girju, R., Rus, V., Mor\u01cerescu, P.: The role of lexico-semantic feedback in open-domain textual question-answering. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, pp. 274\u2013281 (2001)","DOI":"10.3115\/1073012.1073049"},{"key":"4_CR11","doi-asserted-by":"crossref","unstructured":"Moldovan, D., Rus, V.: Logic form transformation of wordnet and its applicability to question answering. In: Proceedings of the 39th Annual Meeting of the Association for Computational Linguistics, pp. 394\u2013401 (2001)","DOI":"10.3115\/1073012.1073064"},{"key":"4_CR12","first-page":"170","volume-title":"Proceedings of the 18th International Conference on Machine Learning (ICML)","author":"L. Getoor","year":"2001","unstructured":"Getoor, L., Friedman, N., Koller, D., Taskar, B.: Learning probabilistic models of relational structure. In: Proceedings of the 18th International Conference on Machine Learning (ICML), pp. 170\u2013177. Morgan Kaufmann, San Francisco (2001)"},{"key":"4_CR13","volume-title":"Intensional and Higher-Order Modal Logic","author":"D. Gallin","year":"1975","unstructured":"Gallin, D.: Intensional and Higher-Order Modal Logic. North-Holland, Amsterdam (1975)"},{"key":"4_CR14","unstructured":"Herling, S.H.A.: Die Syntax der deutschen Sprache. Band 1: Syntax des einfachen Satzes (1830). Band 2: Grundregeln des deutschen Styls oder der Periodenbau der deutschen Sprache (3. verb. und verm. August 1832). Hermann, Frankfurt (1830)"},{"key":"4_CR15","unstructured":"Erdmann, O.: Grundz\u00fcge der deutschen Syntax nach ihrer geschichtlichen Entwicklung. Erste Abteilung. Verlag der J. G. Cotta\u2019schen Buchhandlung, Stuttgart (1886)"},{"key":"4_CR16","unstructured":"Kathol, A.: Linearization-Based German Syntax. PhD thesis, Ohio State University (1995)"},{"key":"4_CR17","first-page":"149","volume-title":"Slavic in HPSG","author":"G. Penn","year":"1999","unstructured":"Penn, G.: Linearization and WH-Extraction in HPSG: Evidence from Serbo-Croatian. In: Borsley, R.D., Przepi\u00f3rkowski, A. (eds.) Slavic in HPSG, pp. 149\u2013182. CSLI Publications, Stanford (1999)"},{"key":"4_CR18","doi-asserted-by":"crossref","first-page":"56","DOI":"10.1090\/psapm\/012\/9981","volume-title":"Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics","author":"H. Curry","year":"1961","unstructured":"Curry, H.: Some logical aspects of grammatical structure. In: Jacobson (ed.) Structure of Language and its Mathematical Aspects: Proceedings of the Twelfth Symposium in Applied Mathematics, pp. 56\u201368. American Mathematical Society, Providence (1961)"},{"key":"4_CR19","volume-title":"Studies in Contemporary Linguistics","author":"J.M. Sadock","year":"1991","unstructured":"Sadock, J.M.: Autolexical Syntax: A Theory of Parallel Grammatical Representations. In: Studies in Contemporary Linguistics, University of Chicago Press, Chicago (1991)"},{"key":"4_CR20","doi-asserted-by":"crossref","DOI":"10.1093\/acprof:oso\/9780198270126.001.0001","volume-title":"Foundations of Language: Brain, Meaning, Grammar, Evolution","author":"R. Jackendoff","year":"2002","unstructured":"Jackendoff, R.: Foundations of Language: Brain, Meaning, Grammar, Evolution. Oxford University Press, Oxford (2002)"},{"key":"4_CR21","doi-asserted-by":"crossref","unstructured":"Penn, G., Haji-Abdolhosseini, M.: Topological parsing. In: Proceedings of the 10th Conference of the European Chapter of the Association for Computational Linguistics (EACL 2003), pp. 283\u2013290 (2003)","DOI":"10.3115\/1067807.1067845"},{"key":"4_CR22","unstructured":"Ahrenberg, L.: A formal field grammar. Technical Report LiTH-IDA-R-89-4, NLPLAB, Department of Computer and Information Science, Link\u00f6ping University (1989)"},{"key":"4_CR23","unstructured":"Duchier, D.: Lexicalized syntax and topology for non-projective dependency grammar. In: Kruijff, G.J. (ed.) Proceedings of the Joint Formal Grammar Conference \/ Seventh Meeting on the Mathematics of Language (2001)"},{"key":"4_CR24","unstructured":"Reape, M.: Parsing bounded discontinuous constituents: Generalisations of some common algorithms. Technical Report DYANA R1.1.C, University of Edinburgh (1991)"},{"key":"4_CR25","unstructured":"Frey, W.: Syntaktische Bedingungen f\u00fcr die Interpretation. PhD thesis, University of Stuttgart (1989)"},{"key":"4_CR26","doi-asserted-by":"crossref","unstructured":"Davidson, D.: The logical form of action sentences. In: Rescher, N. (ed.) The Logic of Decision and Action. University of Pittsburgh Press (1967)","DOI":"10.2307\/jj.13027259.6"},{"key":"4_CR27","volume-title":"The proper treatment of events","author":"F. Hamm","year":"2004","unstructured":"Hamm, F., van Lambalgen, M.: The proper treatment of events. Blackwell Publishing, Malden (2004)"},{"key":"4_CR28","unstructured":"Sailer, M.: Combinatorial semantics and idiomatic expressions in head-driven phrase structure grammar. Phil. Dissertation (2000). Arbeitspapiere des SFB 340. 161, Eberhard-Karls-Universit\u00e4t T\u00fcbingen (2003)"},{"key":"4_CR29","series-title":"ILLC Dissertation Series 1995-5","volume-title":"Studied Flexibility","author":"H. Hendriks","year":"1993","unstructured":"Hendriks, H.: Studied Flexibility. ILLC Dissertation Series 1995-5. Institute for Logic, Language and Computation, Amsterdam (1993)"},{"key":"4_CR30","unstructured":"Richter, F., Sailer, M.: Basic concepts of Lexical Resource Semantics. In: Beckmann, A., Preining, N. (eds.) European Summer School in Logic, Language and Information 2003 \u2013 Course Material I, Kurt G\u00f6del Society Wien. Collegium Logicum, vol.\u00a05, pp. 87\u2013143 (2003)"},{"key":"4_CR31","unstructured":"Richter, F.: Foundations of Lexical Resource Semantics, Habilitation Thesis. Seminar f\u00fcr Sprachwissenschaft, Universit\u00e4t T\u00fcbingen (2004)"},{"key":"4_CR32","unstructured":"Kup\u015b\u0107, A., Przepi\u00f3rkowski, A.: Morphological aspects of verbal negation in Polish. In: Kosta, P., Frasek, J. (eds.) Current Approaches to Formal Slavic Linguistics, Peter Lang. Linguistik International, vol.\u00a09, pp. 337\u2013346 (1998)"},{"key":"4_CR33","unstructured":"Bos, J.: Predicate logic unplugged. In: Proceedings of the 10th Amsterdam Colloquium, pp. 133\u2013142 (1996)"},{"key":"4_CR34","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1023\/A:1017964622902","volume":"10","author":"M. Egg","year":"2001","unstructured":"Egg, M., Koller, A., Niehren, J.: The Constraint Language for Lambda Structures. Journal of Logic, Language and Information\u00a010, 457\u2013485 (2001)","journal-title":"Journal of Logic, Language and Information"},{"key":"4_CR35","first-page":"162","volume-title":"Proceedings of the 8th International Conference on Head-Driven Phrase Structure Grammar","author":"M. Egg","year":"2002","unstructured":"Egg, M., Erk, K.: A compositional account of VP ellipsis. In: Van Eynde, F., Hellan, L., Beermann, D. (eds.) Proceedings of the 8th International Conference on Head-Driven Phrase Structure Grammar, pp. 162\u2013179. CSLI Publications, Stanford (2002)"},{"key":"4_CR36","doi-asserted-by":"crossref","unstructured":"Penn, G.: Balancing clarity and efficiency in typed feature logic through delaying. In: Proceedings of the 40th Annual Meeting of the Association for Computational Linguistics, pp. 240\u2013247 (2004)","DOI":"10.3115\/1218955.1218986"},{"key":"4_CR37","unstructured":"LinGO: The LinGO grammar and lexicon (1999), Available on-line at http:\/\/lingo.stanford.edu"},{"key":"4_CR38","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R. Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Generation Computing\u00a04, 67\u201395 (1986)","journal-title":"New Generation Computing"},{"key":"4_CR39","volume-title":"Solving the Frame Problem: a mathematical investigation of the common sense law of inertia","author":"M. Shanahan","year":"1997","unstructured":"Shanahan, M.: Solving the Frame Problem: a mathematical investigation of the common sense law of inertia. MIT Press, Cambridge (1997)"},{"key":"4_CR40","unstructured":"McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence, vol.\u00a04, pp. 463\u2013502. Edinburgh University Press (1969)"}],"container-title":["Lecture Notes in Computer Science","Constraint Solving and Language Processing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11424574_4.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,28]],"date-time":"2024-03-28T08:21:44Z","timestamp":1711614104000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11424574_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540261650","9783540319283"],"references-count":40,"URL":"https:\/\/doi.org\/10.1007\/11424574_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}