{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T16:06:02Z","timestamp":1725465962891},"publisher-location":"Berlin, Heidelberg","reference-count":24,"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\/bfb0052159","type":"book-chapter","created":{"date-parts":[[2006,6,7]],"date-time":"2006-06-07T00:43:12Z","timestamp":1149640992000},"page":"208-227","source":"Crossref","is-referenced-by-count":0,"title":["A family of decidable feature logics which support HPSG-style set and list constructions"],"prefix":"10.1007","author":[{"given":"Stephen J.","family":"Hegner","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2006,5,16]]},"reference":[{"key":"12_CR1","unstructured":"B. Carpenter. ALE: The Attribute Logic Engine user's guide. Technical report, Carnegie Mellon University, Laboratory for Computational Linguistics, 1992."},{"key":"12_CR2","doi-asserted-by":"crossref","unstructured":"B. Carpenter. The Logic of Typed Feature Structures. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511530098"},{"key":"12_CR3","unstructured":"B. Carpenter. Set descriptions for logic programming. Paper presented at the 3rd ASL\/LSA Conference on Logic and Language. Also referenced under the title: An attribute-value logic for sets, 1993."},{"key":"12_CR4","unstructured":"B. A. Davey and H. A. Priestly. Introduction to Lattices and Order. Cambridge University Press, 1990."},{"key":"12_CR5","unstructured":"M. Dorna. The CUF user's manual. Technical report, Institut f\u00fcr maschinelle Sprachverarbeitung, Universit\u00e4t Stuttgart, 1994."},{"key":"12_CR6","unstructured":"B. Dreben and W. D. Goldfarb. The Decision Problem: Solvable Classes of Quantificational Formulas. Addison-Wesley, 1979."},{"key":"12_CR7","doi-asserted-by":"crossref","unstructured":"J. E. Fenstad, T. Langholm, and E. Vestre. Representations and interpretations. In M. Rosner and R. Johnson, editors, Computational Linguistics and Formal Semantics, pages 31\u201395. Cambridge University Press, 1992.","DOI":"10.1017\/CBO9780511611803.003"},{"key":"12_CR8","unstructured":"J. H. Gallier. Logic for Computer Science. John Wiley and Sons, 1986."},{"key":"12_CR9","unstructured":"S. J. Hegner. Distributivity in incompletly specified type hierarchies: Theory and computational complexity. In J. D\u00f6rre, editor, Computational Aspects of Constraint-Based Linguistic Description II, DYANA-2, ESPRIT Basic Research Project 6852, Deliverable R1.2B, pages 29\u2013120. DYANA, 1994. Also available as LLI Technical Report No. 4, University of Oslo, Department of Linguistics."},{"key":"12_CR10","first-page":"131","volume":"17","author":"M. Johnson","year":"1991","unstructured":"M. Johnson. Features and formulas. Computational Linguistics, 17:131\u2013151, 1991.","journal-title":"Computational Linguistics"},{"issue":"1","key":"12_CR11","first-page":"1","volume":"20","author":"M. Johnson","year":"1994","unstructured":"M. Johnson. Computing with features as formulas. Computational Linguistics, 20(1):1\u201325, 1994.","journal-title":"Computational Linguistics"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"M. Johnson. Two ways of formalizing grammar. Linguistics and Phil., 17, 1994.","DOI":"10.1007\/BF00985036"},{"key":"12_CR13","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/BF00630516","volume":"13","author":"R. T. Kasper","year":"1990","unstructured":"R. T. Kasper and W. C. Rounds. The logic of unification in grammar. Linguistics and Phil., 13:35\u201358, 1990.","journal-title":"Linguistics and Phil."},{"key":"12_CR14","unstructured":"S. Kepser. A satisfiability algorithm for a typed feature logic. Sonderforschungsberiech 340, Teilprojekt B4, Universities of Stuttgart and T\u00fcbingen, 1993."},{"key":"12_CR15","unstructured":"P. King. A Logical Formalism for Head-Driven Phrase Structure Grammar. PhD thesis, University of Manchester, 1989."},{"key":"12_CR16","unstructured":"H. R. Lewis and C. H. Papadimitriou. Elements of the Theory of Computation. Prentice-Hall, 1981."},{"key":"12_CR17","doi-asserted-by":"crossref","unstructured":"S. Manandhar. An attributive logic of set descriptions and set operations. In Proceedings of the 32nd Annual Meeting of the ACL, pages 255\u2013262, 1994.","DOI":"10.3115\/981732.981767"},{"key":"12_CR18","doi-asserted-by":"crossref","unstructured":"J. D. Monk. Mathematical Logic. Springer-Verlag, 1976.","DOI":"10.1007\/978-1-4684-9452-5"},{"key":"12_CR19","doi-asserted-by":"publisher","first-page":"607","DOI":"10.1007\/BF00985320","volume":"17","author":"M. A. Moshier","year":"1994","unstructured":"M. A. Moshier and C. J. Pollard. The domain of set-valued feature structures. Linguistics and Phil., 17:607\u2013631, 1994.","journal-title":"Linguistics and Phil."},{"key":"12_CR20","doi-asserted-by":"crossref","unstructured":"F. C. N. Pereira and D. H. D. Warren. Parsing as deduction. In Proceedings of the 21st Annual Meeting of the ACL, pages 137\u2013144, 1983.","DOI":"10.3115\/981311.981338"},{"key":"12_CR21","unstructured":"C. Pollard and I. A. Sag. Information-Based Syntax and Semantics, volume 1: Fundamentals of CSLI Lecture Notes No. 13. CSLI, 1987."},{"key":"12_CR22","unstructured":"C. Pollard and I. A. Sag. Head-Driven Phrase Structure Grammar. University of Chicago Press, 1994."},{"key":"12_CR23","unstructured":"S. Sahni. Concepts in Discrete Mathematics. Camelot Publishing, 1985."},{"key":"12_CR24","unstructured":"R. Zajac. Notes on the Typed Feature System, Version 4, January 1991. Technical report, Universit\u00e4t Stuttgart, Institut f\u00fcr Informatik, Project Polygloss, 1991."}],"container-title":["Lecture Notes in Computer Science","Logical Aspects of Computational Linguistics"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0052159","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,10]],"date-time":"2019-02-10T17:58:56Z","timestamp":1549821536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0052159"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540637004","9783540696315"],"references-count":24,"URL":"https:\/\/doi.org\/10.1007\/bfb0052159","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}