{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:21:31Z","timestamp":1725664891113},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540606086"},{"type":"electronic","value":"9783540484608"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60608-4_50","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T20:45:43Z","timestamp":1330289143000},"page":"363-377","source":"Crossref","is-referenced-by-count":1,"title":["Montague grammars as deductive databases"],"prefix":"10.1007","author":[{"given":"G\u00fcnther","family":"Specht","sequence":"first","affiliation":[]},{"given":"Stefan","family":"Seeberger","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"20_CR1","unstructured":"Chen W., Kiefer M., Warren D. S.: HiLog: A First-Order Semantics of Higher-Order Logic Programming Constructs, Proc. of North American Conf. on Logic Programming, 1989, pp. 1090\u20131114"},{"key":"20_CR2","volume-title":"Introduction to Montague Semantics","author":"D. Dowty","year":"1981","unstructured":"Dowty D., Wall R., Peters S.: Introduction to Montague Semantics, Reindel Publishing, Dodrecht, 1981"},{"key":"20_CR3","unstructured":"Freitag B., Sch\u00fctz H., Specht G.: LOLA \u2014 A Logic Language for Deductive Databases and its Implementation, Proc. 2nd Intl. Symp. on Database Systems for Advanced Applications (DASFAA '91), Tokyo, 1991, pp. 216\u2013225"},{"key":"20_CR4","doi-asserted-by":"crossref","unstructured":"Freitag B., Sch\u00fctz H., Specht G., Bayer R., G\u00fcntzer U.: LOLA \u2014 a deductive database system with integrated SQL-database access, technical report, Technische Universit\u00e4t M\u00fcnchen, 1993","DOI":"10.1007\/978-3-642-77873-5_1"},{"key":"20_CR5","volume-title":"Foundations and Applications of Montague Grammar: philosophy, framework, computer science","author":"T. Janssen","year":"1986","unstructured":"Janssen T.: Foundations and Applications of Montague Grammar: philosophy, framework, computer science, Centrum voor Wiskunde en Informatica, Tracte 19 (Part I) and 28 (Part II), Amsterdam, 1986"},{"key":"20_CR6","unstructured":"Montague R.: The Proper Treatment of Quantification in Ordinary English (PTQ)., in Montague R.: Formal Philosophy: Selected Papers of Richard Montague. Edited and with an Introduction by R.H. Thomason, New Haven, London, 1974"},{"key":"20_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft A., O'Keefe R.A.: A Polymorphic Type System for Prolog, Artificial Intelligence, Vol. 23, 1984, pp. 295\u2013307","journal-title":"Artificial Intelligence"},{"key":"20_CR8","volume-title":"CSLI Lecture Notes: Number 10","author":"F. Pereira","year":"1987","unstructured":"Pereira F., Shieber S.: Prolog and Natural-Language Analysis, CSLI Lecture Notes: Number 10, Center for the Study of Language and Information, Stanford, 1987"},{"key":"20_CR9","volume-title":"DISKI 42","author":"G. Specht","year":"1993","unstructured":"Specht G.: Source-to-Source Transformationen zur Erkl\u00e4rung des Programmverhaltens bei deduktiven Datenbanken, DISKI 42, infix-Verlag, St. Augustin, 1993"},{"key":"20_CR10","volume-title":"Wissensbasierte Analyse althebr\u00e4ischer Morphosyntax; Das Expertensystem AMOS","author":"G. Specht","year":"1990","unstructured":"Specht G.: Wissensbasierte Analyse althebr\u00e4ischer Morphosyntax; Das Expertensystem AMOS, EOS-Verlag, St. Ottilien, 1990"},{"key":"20_CR11","unstructured":"Specht G., Freitag B.: AMOS: A Natural Language Parser Implemented as a Deductive Database in LOLA in Ramakrishnan R.: Applications of Logic Databases, Kluwer Academic, 1995, pp. 197\u2013215"},{"volume-title":"From Modal Logic to Deductive Databases","year":"1989","key":"20_CR12","unstructured":"Thayse A. (ed): From Modal Logic to Deductive Databases, Wiley, Chichester, 1989"},{"key":"20_CR13","doi-asserted-by":"crossref","unstructured":"Warren D. S.: Programming the PTQ Grammar in XSB, in Ramakrishnan R.: Applications of Logic Databases, Kluwer Academic, 1995, pp. 217\u2013234","DOI":"10.1007\/978-1-4615-2207-2_10"}],"container-title":["Lecture Notes in Computer Science","Deductive and Object-Oriented Databases"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60608-4_50.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:00:31Z","timestamp":1605646831000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60608-4_50"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540606086","9783540484608"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/3-540-60608-4_50","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]}}}