{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:05:52Z","timestamp":1725465952156},"publisher-location":"Berlin, Heidelberg","reference-count":35,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540637004"},{"type":"electronic","value":"9783540696315"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0052169","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T04:43:12Z","timestamp":1149655392000},"page":"406-425","source":"Crossref","is-referenced-by-count":1,"title":["Constraint logic programming for computational linguistics"],"prefix":"10.1007","author":[{"given":"Frieder","family":"Stolzenburg","sequence":"first","affiliation":[]},{"given":"Stephan","family":"H\u00f6hne","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Koch","sequence":"additional","affiliation":[]},{"given":"Martin","family":"Volk","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"issue":"1","key":"22_CR1","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1145\/59287.59293","volume":"11","author":"H. A\u00cft-Kaci","year":"1989","unstructured":"Hassan A\u00cft-Kaci, Robert Boyer, Patrick Lincoln, and Robert Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115\u2013146, 1989.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"22_CR2","first-page":"397","volume-title":"LNCS 982","author":"P. Arenas-Sanchez","year":"1995","unstructured":"Puri Arenas-Sanchez and Agostino Dovier. Minimal set unification. In Manuel Hermenegildo and S. Doaitse Swierstra, editors, Proceedings of the 7th International Symposium on Programming Language Implementation and Logic Programming, pages 397\u2013414. Springer, Berlin, Heidelberg, New York, 1995. In LNCS 982."},{"key":"22_CR3","first-page":"380","volume-title":"LNCS 976","author":"F. Baader","year":"1995","unstructured":"Franz Baader and Klaus U. Schulz. On the combination of symbolic constraints, solution domains, and constraint solvers. In Ugo Montanari and Francesca Rossi, editors, Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming, Cassis, France, pages 380\u2013397. Springer, Berlin, Heidelberg, New York, 1995. In LNCS 976."},{"key":"22_CR4","first-page":"201","volume-title":"LNAI 918","author":"P. Baumgartner","year":"1995","unstructured":"Peter Baumgartner and Frieder Stolzenburg. Constraint model elimination and a PTTP-implementation. In Peter Baumgartner, Reiner H\u00e4hnle, and Joachim Posegga, editors, Proceedings of the 4th Workshop on Theorem Proving with Analytic Tableaux and Related Methods, pages 201\u2013216. Springer, Berlin, Heidelberg, New York, 1995. In LNAI 918."},{"key":"22_CR5","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530098","volume-title":"The Logic of Typed Feature Structures. With Applications to Unification Grammars, Logic Programs and Constraint Resolution","author":"B. Carpenter","year":"1992","unstructured":"Bob Carpenter. The Logic of Typed Feature Structures. With Applications to Unification Grammars, Logic Programs and Constraint Resolution. Cambridge University Press, Cambridge, New York, Melbourne, 1992."},{"key":"22_CR6","first-page":"45","volume-title":"LNCS 862","author":"L. Ciortuz","year":"1994","unstructured":"Liviu-Virgil Ciortuz. Object-oriented inferences in a logical framework for feature grammars. In Rafael C. Carrasco and Jose Oncina, editors, Proceedings of the 2nd International Colloquium on Grammatical Inference and Applications, pages 45\u201356. Springer, Berlin, Heidelberg, New York, 1994. In LNCS 862."},{"key":"22_CR7","unstructured":"Liviu-Virgil Ciortuz. DF constraint system. Technical Report IT-95-280, Universit\u00e9 de Lille I, 1995."},{"key":"22_CR8","first-page":"3","volume-title":"Logic programming and its applications","author":"A. Colmerauer","year":"1986","unstructured":"Alain Colmerauer. Theoretical model of Prolog II. In Michel van Canegham and David H. D. Warren, editors, Logic programming and its applications, pages 3\u201331. Ablex Publishing Corporation, Norwood, NJ, 1986."},{"key":"22_CR9","unstructured":"ECRC GmbH, M\u00fcnchen. ECLiPSe 3.5: User Manual \u2014 Extensions User Manual, 1995."},{"key":"22_CR10","series-title":"LNCS 910","doi-asserted-by":"crossref","first-page":"90","DOI":"10.1007\/3-540-59155-9_6","volume-title":"Constraints: Basics and Trends","author":"T. Fr\u00fchwirth","year":"1995","unstructured":"Thorn Fr\u00fchwirth. Constraint handling rules. In Andreas Podelski, editor, Constraints: Basics and Trends, pages 90\u2013107. Springer, Berlin, Heidelberg, New York, 1995. In LNCS 910."},{"key":"22_CR11","volume-title":"IWBS Report 223","author":"P. Gerstl","year":"1992","unstructured":"Peter Gerstl. Mengenkonzepte in Unifikationsgrammatiken. IWBS Report 223, IBM Deutschland, Stuttgart, 1992."},{"key":"22_CR12","volume-title":"Wortstellung bei deutschen Infinitiven: Konzeption eines Parsers auf der Basis typisierter Merkmalstrukturen und HPSG und Implementierung in einer constraint-basierten logischen Programmiersprache","author":"S. H\u00f6hne","year":"1996","unstructured":"Stephan H\u00f6hne. Wortstellung bei deutschen Infinitiven: Konzeption eines Parsers auf der Basis typisierter Merkmalstrukturen und HPSG und Implementierung in einer constraint-basierten logischen Programmiersprache. Diplomarbeit, Johann-Wolfgang-Goethe-Universit\u00e4t, Frankfurt, 1996."},{"issue":"20","key":"22_CR13","doi-asserted-by":"publisher","first-page":"503","DOI":"10.1016\/0743-1066(94)90033-7","volume":"19","author":"J. Jaffar","year":"1994","unstructured":"Joxan Jaffar and Michael J. M\u00e4her. Constraint logic programming: a survey. Journal of Logic Programming, 19,20:503\u2013581, 1994.","journal-title":"Journal of Logic Programming"},{"issue":"2","key":"22_CR14","first-page":"131","volume":"17","author":"M. Johnson","year":"1991","unstructured":"Mark Johnson. Features and formulae. Computational Linguistics, 17(2):131\u2013151, 1991.","journal-title":"Computational Linguistics"},{"issue":"1","key":"22_CR15","first-page":"1","volume":"20","author":"M. Johnson","year":"1994","unstructured":"Mark Johnson. Computing with features as formulae. Computational Linguistics, 20(1):1\u201325, 1994.","journal-title":"Computational Linguistics"},{"key":"22_CR16","first-page":"173","volume-title":"The Mental Representation of Grammatical Relations","author":"R. Kaplan","year":"1982","unstructured":"Ronald Kaplan and Joan Bresnan. Lexical functional grammar: A formal system for grammatical representation. In Joan Bresnan, editor, The Mental Representation of Grammatical Relations, pages 173\u2013281. MIT Press, Cambridge, MA, London, England, 1982."},{"key":"22_CR17","unstructured":"Ulrich Koch. Deutsche Relativs\u00e4tze in HPSG. Studienarbeit S 437, Universit\u00e4t Koblenz, 1996."},{"key":"22_CR18","unstructured":"Christoph Lehner. Grammatikentwicklung mit Constraint-Logikprogrammierung. DISKI 29. infix, Sankt Augustin, 1993."},{"key":"22_CR19","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"John Wylie Lloyd. Foundations of Logic Programming. Springer, Berlin, Heidelberg, New York, 1987."},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Suresh Manandhar. An attributive logic of set descriptions and set operations. In Proceedings of the 32nd Annual Meeting of the Association for Computational Linguistics, 1994.","DOI":"10.3115\/981732.981767"},{"key":"22_CR21","first-page":"415","volume-title":"LNCS 310","author":"R. Manthey","year":"1988","unstructured":"Rainer Manthey and Fran\u00e7ois Bry. SATCHMO: a theorem prover implemented in Prolog. In Ewing Lusk and Ross Overbeek, editors, Proceedings of the 9th International Conference on Automated Deduction, Argonne, Illinois, USA, 1988, pages 415\u2013434. Springer, Berlin, Heidelberg, New York, 1988. In LNCS 310."},{"issue":"1","key":"22_CR22","first-page":"40","volume":"14","author":"C. S. Mellish","year":"1988","unstructured":"Chris S. Mellish. Implementing systemic classification by unification. Computational Linguistics, 14(1):40\u201351, 1988.","journal-title":"Computational Linguistics"},{"key":"22_CR23","doi-asserted-by":"crossref","unstructured":"Chris S. Mellish. Term-encodable description spaces. In D. R. Brough, editor, Logic Programming, New Frontiers, pages 189\u2013207. Intellect Books, 1992. Proceedings of the Conference in Bristol, UK, 1990.","DOI":"10.1007\/978-94-011-2562-8_9"},{"key":"22_CR24","first-page":"285","volume-title":"Information, Language, and Cognition","author":"C. J. Pollard","year":"1990","unstructured":"Carl J. Pollard and M. Drew Moshier. Unifying partial description of sets. In Philip Hanson, editor, Information, Language, and Cognition, pages 285\u2013322. University of British Columbia Press, Vancouver, BC, 1990."},{"key":"22_CR25","unstructured":"Carl J. Pollard and Ivan A. Sag. Information-Based Syntax and Semantics. Volume 1: Fundamentals. CSLI, Leland Stanford Junior University, 1987. CSLI Lecture Notes 13."},{"key":"22_CR26","volume-title":"Head-Driven Phrase Structure Grammar","author":"C. J. Pollard","year":"1994","unstructured":"Carl J. Pollard and Ivan A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press, Chicago, London, 1994. CSLI publication."},{"key":"22_CR27","unstructured":"Mike Reape. Domain union and word order variation in German. In John Nerbonne, Klaus Netter, and Carl Pollard, editors, German in Head-Driven Phrase Structure Grammar, chapter 5, pages 151\u2013197. CSLI, Leland Stanford Junior University, 1994. CSLI Lecture Notes 46."},{"key":"22_CR28","doi-asserted-by":"crossref","unstructured":"Ivan A. Sag. English relative clause constructions. Journal of Linguistics, 1997. To appear.","DOI":"10.1017\/S002222679700652X"},{"key":"22_CR29","volume-title":"Advanced Logic Programming for Language Processing","author":"P. Saint-Dizier","year":"1994","unstructured":"Patrick Saint-Dizier. Advanced Logic Programming for Language Processing. Academic Press, London, 1994."},{"key":"22_CR30","series-title":"LNAI 418","first-page":"49","volume-title":"Sorts and Types in Artificial Intelligence","author":"P. H. Schmitt","year":"1989","unstructured":"Peter H. Schmitt and Wolfgang Wernecke. Tableau calculus for order-sorted logic. In Karl Haus Bl\u00e4sius, Ulrich Hedtst\u00fcck, and Claus-Rainer Rollinger, editors, Sorts and Types in Artificial Intelligence, pages 49\u201360, Berlin, Heidelberg, New York, 1989. Workshop, Eringerfeld, Springer. In LNAI 418."},{"key":"22_CR31","doi-asserted-by":"publisher","first-page":"229","DOI":"10.1016\/0743-1066(94)90044-2","volume":"18","author":"G. Smolka","year":"1994","unstructured":"Gert Smolka and Ralf Treinen. Records for logic programming. Journal of Logic Programming, 18:229\u2013258, 1994.","journal-title":"Journal of Logic Programming"},{"key":"22_CR32","unstructured":"Frieder Stolzenburg. Typisierte Merkmalstrukturen und HPSG. Eine Erweiterung von UBS in SEPIA. Diplomarbeit D 192, Universit\u00e4t Koblenz, 1992."},{"key":"22_CR33","doi-asserted-by":"crossref","first-page":"285","DOI":"10.1007\/978-94-009-0349-4_15","volume-title":"Frontiers in Combining Systems","author":"F. Stolzenburg","year":"1996","unstructured":"Frieder Stolzenburg. Membership-constraints and complexity in logic programming with sets. In Franz Baader and Klaus U. Schulz, editors, Frontiers in Combining Systems, pages 285\u2013302. Kluwer Academic, Dordrecht, The Netherlands, 1996."},{"issue":"1","key":"22_CR34","first-page":"10","volume":"9","author":"F. Stolzenburg","year":"1992","unstructured":"Frieder Stolzenburg and Martin Volk. UBS \u2014 Eine unifikationsbasierte Sprache zur Implementation von HPSG. LDV-Forum, 9(1):10\u201313, 1992.","journal-title":"LDV-Forum"},{"key":"22_CR35","volume-title":"Constraint Satisfaction in Logic Programming","author":"P. Hentenryck Van","year":"1989","unstructured":"Pascal Van Hentenryck. Constraint Satisfaction in Logic Programming. MIT Press, Cambridge, MA, London, England, 1989."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052169","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T22:12:45Z","timestamp":1549836765000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052169"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":35,"URL":"https:\/\/doi.org\/10.1007\/bfb0052169","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}