{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T15:32:42Z","timestamp":1725895962330},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642201684"},{"type":"electronic","value":"9783642201691"}],"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-20169-1_6","type":"book-chapter","created":{"date-parts":[[2011,3,28]],"date-time":"2011-03-28T05:21:04Z","timestamp":1301289664000},"page":"85-101","source":"Crossref","is-referenced-by-count":1,"title":["An Efficient Enumeration Algorithm for Canonical Form Underspecified Semantic Representations"],"prefix":"10.1007","author":[{"given":"Mehdi","family":"Manshadi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"James","family":"Allen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mary","family":"Swift","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1016\/S0196-6774(03)00050-6","volume":"48","author":"E. Althaus","year":"2003","unstructured":"Althaus, E., Duchier, D., Koller, A., Mehlhorn, K., Niehren, J., Thiel, S.: An efficient graph algorithm for dominance constraints. Journal of Algorithms\u00a048, 194\u2013219 (2003)","journal-title":"Journal of Algorithms"},{"key":"6_CR2","unstructured":"Bos, J.: Predicate logic unplugged. In: Proc. 10th Amsterdam Colloquium, pp. 133\u2013143 (1996)"},{"key":"6_CR3","volume-title":"ACM-SIAM Symposium on Discrete Algorithms","author":"M. Bodirsky","year":"2004","unstructured":"Bodirsky, M., Duchier, D., Niehren, J., Miele, S.: An efficient algorithm for weakly normal dominance constraints. In: ACM-SIAM Symposium on Discrete Algorithms. The ACM Press, New York (2004)"},{"key":"6_CR4","unstructured":"Copestake, A., Flickinger, D.: An open-source grammar development environment and broad-coverage English grammar using HPSG. In: Conference on Language Resources and Evaluations (2000)"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Copestake, A., Lascarides, A., Flickinger, D.: An Algebra for Semantic Construction in Constraint-Based Grammars. In: ACL 2001, Toulouse, France (2001)","DOI":"10.3115\/1073012.1073031"},{"issue":"4","key":"6_CR6","doi-asserted-by":"publisher","first-page":"281","DOI":"10.1007\/s11168-006-6327-9","volume":"3","author":"A. Copestake","year":"2005","unstructured":"Copestake, A., Flickinger, D., Pollard, C., Sag, I.: Minimal Recursion Semantics: An Introduction. Research on Language and Computation\u00a03(4), 281\u2013332 (2005)","journal-title":"Research on Language and Computation"},{"key":"6_CR7","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":"6_CR8","doi-asserted-by":"crossref","unstructured":"Fuchss, R., Koller, A., Niehren, J., Thater, S.: Minimal Recursion Semantics as Dominance Constraints: Translation, Evaluation, and Analysis. In: ACL 2004, Barcelona, Spain (2004)","DOI":"10.3115\/1218955.1218987"},{"key":"6_CR9","first-page":"47","volume":"13","author":"J. Hobbs","year":"1987","unstructured":"Hobbs, J., Shieber, S.M.: An Algorithm for Generating Quantifier Scopings. Computational Linguistics\u00a013, 47\u201363 (1987)","journal-title":"Computational Linguistics"},{"key":"6_CR10","unstructured":"Manshadi, M., Allen, J., Swift, M.: Toward a Universal Underspecifed Semantic Representation. In: 13th Conference on Formal Grammar (FG 2008), Hamburg, Germany (2008)"},{"key":"6_CR11","doi-asserted-by":"crossref","unstructured":"Niehren, J., Thater, S.: Bridging the Gap Between Underspecification Formalisms: Minimal Recursion Semantics as Dominance Constraints. In: ACL 2003, Sapporo, Japan (2003)","DOI":"10.3115\/1075096.1075143"},{"key":"6_CR12","unstructured":"Oepen, S., Callahan, E., Flickinger, D., Manning, C.: LinGO Redwoods. A Rich and Dynamic Treebank for HPSG. In: Beyond PARSEVAL, LREC 2002, Las Palmas, Spain (2002)"},{"key":"6_CR13","unstructured":"Thater, S.: Minimal Recursion Semantics as Dominance Constraints: Graph-Theoretic Foundation and Application to Grammar Engineering. PhD Thesis, Universit\u00e4t des SaarlandesWoods (2007)"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/S0065-2458(08)60390-3","volume":"17","author":"W.A. SaarlandesWoods","year":"1978","unstructured":"SaarlandesWoods, W.A.: Semantics and Quantification in Natural Language Questiom Answering. Advances in Computers\u00a017, 1\u201387 (1978)","journal-title":"Advances in Computers"}],"container-title":["Lecture Notes in Computer Science","Formal Grammar"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-20169-1_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,22]],"date-time":"2019-05-22T08:21:48Z","timestamp":1558513308000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-20169-1_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642201684","9783642201691"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-20169-1_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}