{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,2]],"date-time":"2022-04-02T23:08:04Z","timestamp":1648940884204},"reference-count":13,"publisher":"Cambridge University Press (CUP)","issue":"2","license":[{"start":{"date-parts":[[2006,3,10]],"date-time":"2006-03-10T00:00:00Z","timestamp":1141948800000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/www.cambridge.org\/core\/terms"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["AIEDAM"],"published-print":{"date-parts":[[2006,5]]},"abstract":"<jats:p>The logic of typed feature structures is a sorted description logic that has enjoyed widespread usage in grammar design for the last 20 years. Woodbury and Burrow have faithfully preserved its strengths in adapting it to design space navigation research, although the weaknesses it has exhibited in the context of natural language grammar design are likely to surface here as well.<\/jats:p>","DOI":"10.1017\/s0890060406060112","type":"journal-article","created":{"date-parts":[[2006,3,13]],"date-time":"2006-03-13T09:37:14Z","timestamp":1142242634000},"page":"121-128","source":"Crossref","is-referenced-by-count":1,"title":["Design space and typed feature logic"],"prefix":"10.1017","volume":"20","author":[{"given":"GERALD","family":"PENN","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"56","published-online":{"date-parts":[[2006,3,10]]},"reference":[{"key":"S0890060406060112_ref001","unstructured":"A\u00eft-Ka\u0107i, H. (1984).A Lattice-theoretic approach to computation based on a calculus ofpartially ordered type structures.PhD Thesis,University of Pennsylvania."},{"key":"S0890060406060112_ref008","unstructured":"Penn, G. (2001).Tractability and structural closures in attribute logic typesignatures.Proc. 39th Association for Computational Linguistics,pp.410\u2013417."},{"key":"S0890060406060112_ref009","unstructured":"Penn, G. (2004).Balancing clarity and efficiency in typed feature logic throughdelaying.Proc. 42nd Association for Computational Linguistics,pp.240\u2013247."},{"key":"S0890060406060112_ref006","unstructured":"Howard, W.A. (1980).The formulae-as-types notion of construction. InTo H.B. Curry: Essays on Combinatory Logic, Lambda Calculus andFormalism( Seldin, J.P. & Hindley, J.R. , Eds.), pp.479\u2013490.New York:Academic."},{"key":"S0890060406060112_ref002","doi-asserted-by":"crossref","unstructured":"Burrow, A. & Woodbury, R. (1999).\u03c0-Resolution in design space exploration. InComputers in building: Proc. CAAD Futures'99 Conf.( Augenbroe, G. & Eastman, C. , Eds.), pp.291\u2013308.Dordrecht:Kluwer Academic.","DOI":"10.1007\/978-1-4615-5047-1_19"},{"key":"S0890060406060112_ref005","unstructured":"Davey, B.A. & Priestley, H.A. (1990).Introduction to Lattices and Order.New York:Cambridge University Press."},{"key":"S0890060406060112_ref004","unstructured":"Carpenter, B. & Penn, G. (1996).Compiling typed attribute-value logic grammars. InRecent Advances in Parsing Technologies( Bunt, H. & Tomita, M. , Eds.), pp.145\u2013168.Dordrecht:Kluwer Academic."},{"key":"S0890060406060112_ref011","unstructured":"Pollard, C. & Sag, I. (1994).Head-Driven Phrase Structure Grammar.Chicago:University of Chicago Press."},{"key":"S0890060406060112_ref010","unstructured":"Penn, G. & Hoetmer, K. (2003).In search of epistemic primitives in the English resourcegrammar.Proc. 10th Int. Conf. Head-Driven Phrase StructureGrammar, pp.318\u2013337."},{"key":"S0890060406060112_ref013","doi-asserted-by":"crossref","unstructured":"Woodbury, R. , Burrow, A. , & Datta, S. (2000).Erasure in design space exploration. InArtificial Intelligence in Design( Gero, J.S. , Ed.), pp.521\u2013543.Dordrecht:Kluwer Academic.","DOI":"10.1007\/978-94-011-4154-3_26"},{"key":"S0890060406060112_ref003","doi-asserted-by":"crossref","unstructured":"Carpenter, B. (1992).The Logic of Typed Feature Structures.New York:Cambridge University Press.","DOI":"10.1017\/CBO9780511530098"},{"key":"S0890060406060112_ref007","unstructured":"Penn, G. (2000).The algebraic structure of attributed type signatures.PhD Thesis.Carnegie Mellon University."},{"key":"S0890060406060112_ref012","doi-asserted-by":"crossref","unstructured":"Sag, I.A. (1997).English relative clause constructions.Journal of Linguistics 33(2),431\u2013484.","DOI":"10.1017\/S002222679700652X"}],"container-title":["Artificial Intelligence for Engineering Design, Analysis and Manufacturing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/www.cambridge.org\/core\/services\/aop-cambridge-core\/content\/view\/S0890060406060112","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,4,17]],"date-time":"2019-04-17T04:45:52Z","timestamp":1555476352000},"score":1,"resource":{"primary":{"URL":"https:\/\/www.cambridge.org\/core\/product\/identifier\/S0890060406060112\/type\/journal_article"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,3,10]]},"references-count":13,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2006,5]]}},"alternative-id":["S0890060406060112"],"URL":"https:\/\/doi.org\/10.1017\/s0890060406060112","relation":{},"ISSN":["0890-0604","1469-1760"],"issn-type":[{"value":"0890-0604","type":"print"},{"value":"1469-1760","type":"electronic"}],"subject":[],"published":{"date-parts":[[2006,3,10]]}}}