{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T21:04:06Z","timestamp":1725483846684},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540439608"},{"type":"electronic","value":"9783540456322"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2002]]},"DOI":"10.1007\/3-540-45632-5_21","type":"book-chapter","created":{"date-parts":[[2007,5,20]],"date-time":"2007-05-20T07:37:27Z","timestamp":1179646647000},"page":"548-566","source":"Crossref","is-referenced-by-count":0,"title":["DCGs: Parsing as Deduction?"],"prefix":"10.1007","author":[{"given":"Chris","family":"Mellish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2002,7,17]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"A\u00eft-Kaci, H. and Podelski, A., \u201cTowards a Meaning of LIFE\u201d, Journal of Logic Programming Vol 16, Nos 3,4, 1993.","DOI":"10.1016\/0743-1066(93)90043-G"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Clark, K. L., \u201cNegation as Failure\u201d in Gallaire, H. and Minker, J. (Eds), Logic and Databases, Plenum Press, 1978.","DOI":"10.1007\/978-1-4684-3384-5_11"},{"key":"21_CR3","doi-asserted-by":"crossref","unstructured":"Emele, M. and Zajac, R., \u201cTyped Unification Grammars\u201d, in Procs of the 13th International COLING, 1990.","DOI":"10.3115\/991146.991198"},{"key":"21_CR4","volume-title":"IMS","author":"M. Emele","year":"1994","unstructured":"Emele, M., \u201cDie TFS Sprache und ihre Implementierung\u201d, IMS, Universit\u00e4t Stuttgart, Germany, 1994."},{"key":"21_CR5","unstructured":"H\u00f6hfeld, M. and Smolka, G., \u201cDefinite Relations over Constraint Languages\u201d, LILOG report 53, IBM Deutschland, 1988."},{"key":"21_CR6","unstructured":"Johnson, M., \u201cTwo Ways of Formalizing Grammars\u201d, Cognitive and Linguistic Sciences, Brown University, 1992."},{"key":"21_CR7","unstructured":"Bresnan, J. and Kaplan, R., \u201cLexical-Functional Grammar: A Formal System for Grammatical Representation\u201d, in Bresnan, J., Ed., The Mental Representation of Grammatical Relations, MIT Press, 1982."},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Colmerauer, A., \u201cMetamorphosis Grammars\u201d, in Bolc, L., Ed., Natural Language Communication with Computers, Springer Verlag, 1978.","DOI":"10.1007\/BFb0031371"},{"key":"21_CR9","doi-asserted-by":"publisher","first-page":"69","DOI":"10.1016\/0004-3702(93)90015-4","volume":"63","author":"J. Hobbs","year":"1993","unstructured":"Hobbs, J., Stickel, M., Appelt, D. and Martin, P., \u201cInterpretation as Abduction\u201d, Artificial Intelligence Vol 63, Nos 1\u20132, pp69\u2013142, 1993.","journal-title":"Artificial Intelligence"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Kasper, R. and Rounds, W., \u201cA Logical Semantics for Feature Structures\u201d, in Proceedings of the 24th Annual Meeting of the ACL, 1986.","DOI":"10.3115\/981131.981166"},{"key":"21_CR11","unstructured":"Kowalski, R., Logic for Problem Solving, North Holland, 1979, Chapter 11."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W. Foundations of Logic Programming, Springer Verlag, Second Edition, 1987.","DOI":"10.1007\/978-3-642-83189-8"},{"key":"21_CR13","unstructured":"Manandhar, S., Relational Extensions to Feature Logic: Applications to Constraint-Based Grammars, PhD thesis, University of Edinburgh, 1993."},{"key":"21_CR14","unstructured":"Manaster-Ramer, A. and Rounds, W., \u201cA Logical Version of Functional Grammar\u201d, in Procs of the 25th Annual Meeting of the ACL, 1987."},{"key":"21_CR15","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0004-3702(80)90003-X","volume":"13","author":"F. Pereira","year":"1980","unstructured":"Pereira, F. and Warren, D., \u201cDefinite Clause Grammars for Language Analysis-a Survey of the Formalism and a Comparison with Augmented Transition Networks\u201d, Artificial Intelligence Vol 13, pp231\u2013278, 1980.","journal-title":"Artificial Intelligence"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"Pereira, F. and Warren, D., \u201cParsing as Deduction\u201d, in Proceedings of the 21st Annual Meeting of the ACL, 1983.","DOI":"10.3115\/981311.981338"},{"key":"21_CR17","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/0004-3702(89)90008-8","volume":"41","author":"R. Reiter","year":"1989","unstructured":"Reiter, R. and Mackworth, A. K., \u201cA Logical Framework for Depiction and Image Interpretation\u201d, Artificial Intelligence Vol 41, pp125\u2013155, 1989\/90.","journal-title":"Artificial Intelligence"},{"key":"21_CR18","unstructured":"Shieber, S., An Introduction to Unification-Based Theories of Grammar, CSLI Lecture Notes Series, University of Chicago Press, 1986."},{"key":"21_CR19","doi-asserted-by":"crossref","unstructured":"Shieber, S., \u201cA uniform architecture for parsing and generation\u201d, Procs of 12th COLING, 1988.","DOI":"10.3115\/991719.991764"},{"issue":"1&2","key":"21_CR20","doi-asserted-by":"publisher","first-page":"51","DOI":"10.1016\/0743-1066(92)90039-6","volume":"12","author":"G. Smolka","year":"1992","unstructured":"Smolka, G., \u201cFeature Constraint Logics for Unification Grammars\u201d, Journal of Logic Programming Vol 12, Nos 1&2, pp51\u201388, 1992.","journal-title":"Journal of Logic Programming"},{"key":"21_CR21","unstructured":"Wedekind, J., (Ed.), \u201cA Survey of Linguistically Motivated Extensions to Unification-Based Formalisms\u201d, Deliverable R3.1.A, ESPRIT Basic Research Action BR3175 (DYANA), 1990."}],"container-title":["Lecture Notes in Computer Science","Computational Logic: Logic Programming and Beyond"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-45632-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,28]],"date-time":"2019-04-28T05:58:40Z","timestamp":1556431120000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-45632-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2002]]},"ISBN":["9783540439608","9783540456322"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-45632-5_21","relation":{},"ISSN":["0302-9743"],"issn-type":[{"type":"print","value":"0302-9743"}],"subject":[],"published":{"date-parts":[[2002]]}}}