Skip header Section
Skip Bibliometrics Section
The logic of typed feature structuresSeptember 1992
- Author:
- Bob Carpenter
Abstract
No abstract available.
Cited By
- Ontañón S (2020). An overview of distance and similarity functions for structured data, Artificial Intelligence Review, 53:7, (5309-5351), Online publication date: 1-Oct-2020.
- Johnston M Multimodal integration for interactive conversational systems The Handbook of Multimodal-Multisensor Interfaces, (21-76)
- Efthimiou E, Fotinea S, Dimou A, Goulas T and Kouremenos D (2016). From grammar-based MT to post-processed SL representations, Universal Access in the Information Society, 15:4, (499-511), Online publication date: 1-Nov-2016.
- Yan S and Wan X (2015). Deep Dependency Substructure-Based Learning for Multidocument Summarization, ACM Transactions on Information Systems, 34:1, (1-24), Online publication date: 1-Oct-2015.
- Löbner S Frame Theory with First-Order Comparators Revised Selected Papers of the 11th International Tbilisi Symposium on Logic, Language, and Computation - Volume 10148, (98-117)
- Fiorelli M, Gambella R, Pazienza M, Stellato A and Turbati A Semi-automatic Knowledge Acquisition through CODA Proceedings, Part II, of the 27th International Conference on Modern Advances in Applied Intelligence - Volume 8482, (78-87)
- Tojo S, Hirata K and Hamanaka M (2013). Computational Reconstruction of Cognitive Music Theory, New Generation Computing, 31:2, (89-113), Online publication date: 1-Jan-2013.
- Ontañón S and Meseguer P Feature Term Subsumption Using Constraint Programming with Basic Variable Symmetry Proceedings of the 18th International Conference on Principles and Practice of Constraint Programming - Volume 7514, (1004-1012)
- Wu X, Matsuzaki T and Tsujii J Akamon Proceedings of the ACL 2012 System Demonstrations, (127-132)
- Tojo S and Hirata K Structural Similarity Based on Time-Span Tree Revised Selected Papers of the 9th International Symposium on From Sounds to Music and Emotions - Volume 7900, (400-421)
- Van Trijp R, Steels L, Beuls K and Wellens P Fluid construction grammar Proceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics, (63-68)
- Zhang Y and Krieger H Large-scale corpus-driven PCFG approximation of an HPSG Proceedings of the 12th International Conference on Parsing Technologies, (198-208)
- Naumann R An outline of a dynamic theory of frames Proceedings of the 9th international conference on Logic, Language, and Computation, (115-137)
- Jensen P and Vikner C On type coercion in compositional and lexical semantics Proceedings of the 12th biennial conference on The mathematics of language, (108-125)
- Ontañón S and Meseguer P Efficient operations in feature terms using constraint programming Proceedings of the 21st international conference on Inductive Logic Programming, (270-285)
- Datta S and Hobbs M A formal model of mixed-initiative interaction in design exploration Proceedings of the 14th international conference on Human-computer interaction: design and development approaches - Volume Part I, (185-193)
- Hirata K, Tojo S and Hamanaka M Melodic morphing algorithm in formalism Proceedings of the Third international conference on Mathematics and computation in music, (338-341)
- Zanzotto F, Dell'Arciprete L and Moschitti A (2011). Efficient Graph Kernels for Textual Entailment Recognition, Fundamenta Informaticae, 107:2-3, (199-222), Online publication date: 1-Apr-2011.
- Tsujii J Computational linguistics and natural language processing Proceedings of the 12th international conference on Computational linguistics and intelligent text processing - Volume Part I, (52-67)
- Bonfante G, Guillaume B, Morey M and Perrier G Modular graph rewriting to compute semantics Proceedings of the Ninth International Conference on Computational Semantics, (65-74)
- Krieger H and Schäfer U DL meet FL Proceedings of the 23rd International Conference on Computational Linguistics: Posters, (588-596)
- Blache P and Prévot L A formal scheme for multimodal grammars Proceedings of the 23rd International Conference on Computational Linguistics: Posters, (63-71)
- Wu X, Matsuzaki T and Tsujii J Fine-grained tree-to-string translation rule extraction Proceedings of the 48th Annual Meeting of the Association for Computational Linguistics, (325-334)
- Mezaris V, Gidaros S, Kasper W, Steffen J, Ordelman R, Huijbregts M, de Jong F, Kompatsiaris I and Strintzis M (2010). A system for the semantic multimodal analysis of news audio-visual content, EURASIP Journal on Advances in Signal Processing, 2010, (1-16), Online publication date: 1-Feb-2010.
- Madsen B and Thomsen H (2009). Terminological concept modelling and conceptual data modelling, International Journal of Metadata, Semantics and Ontologies, 4:4, (239-249), Online publication date: 1-Nov-2009.
- Mykowiecka A, Marciniak M and Kupć A (2009). Rule-based information extraction from patients' clinical data, Journal of Biomedical Informatics, 42:5, (923-936), Online publication date: 1-Oct-2009.
- Zanzotto F and Dell'Arciprete L Efficient kernels for sentence pair classification Proceedings of the 2009 Conference on Empirical Methods in Natural Language Processing: Volume 1 - Volume 1, (91-100)
- Cramer B and Zhang Y Construction of a German HPSG grammar from a detailed treebank Proceedings of the 2009 Workshop on Grammar Engineering Across Frameworks, (37-45)
- D'Andrea A, D'Ulizia A, Ferri F and Grifoni P A multimodal pervasive framework for ambient assisted living Proceedings of the 2nd International Conference on PErvasive Technologies Related to Assistive Environments, (1-8)
- Gómez-Rodríguez C, Vilares J and Alonso M (2009). A compiler for parsing schemata, Software—Practice & Experience, 39:5, (441-470), Online publication date: 1-Apr-2009.
- Ninomiya T, Shimizu N, Matsuzaki T and Nakagawa H Deterministic shift-reduce parsing for unification-based grammars by using default unification Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics, (603-611)
- Gasser M Semitic morphological analysis and generation using finite state transducers with feature structures Proceedings of the 12th Conference of the European Chapter of the Association for Computational Linguistics, (309-317)
- Vilares J, Alonso M and Vilares M (2008). Extraction of complex index terms in non-English IR, Information Processing and Management: an International Journal, 44:4, (1517-1537), Online publication date: 1-Jul-2008.
- Caschera M, Ferri F and Grifoni P Ambiguity detection in multimodal systems Proceedings of the working conference on Advanced visual interfaces, (331-334)
- Walukiewicz I Finding your way in a forest Proceedings of the Theory and practice of software, 11th international conference on Foundations of software science and computational structures, (1-4)
- D'Ulizia A, Ferri F and Grifoni P A hybrid grammar-based approach to multimodal languages specification Proceedings of the 2007 OTM confederated international conference on On the move to meaningful internet systems - Volume Part I, (367-376)
- Sonntag D Interaction design and implementation for multimodal mobile semantic web interfaces Proceedings of the 2007 conference on Human interface: Part II, (645-654)
- KešElj V and Cercone N (2007). A formal approach to subgrammar extraction for NLP, Mathematical and Computer Modelling: An International Journal, 45:3-4, (394-403), Online publication date: 1-Feb-2007.
- Sonntag D, Engel R, Herzog G, Pfalzgraf A, Pfleger N, Romanelli M and Reithinger N SmartWeb handheld Proceedings of the ICMI 2006 and IJCAI 2007 international conference on Artifical intelligence for human computing, (272-295)
- Sun Y, Chen F, Shi Y and Chung V A novel method for multi-sensory data fusion in multimodal human computer interaction Proceedings of the 18th Australia conference on Computer-Human Interaction: Design: Activities, Artefacts and Environments, (401-404)
- Petersen W Type signature induction with FCAType Proceedings of the 4th international conference on Concept lattices and their applications, (276-281)
- Pfleger N and Löckelt M A comprehensive context model for multi-party interactions with virtual characters Proceedings of the 6th international conference on Intelligent Virtual Agents, (157-168)
- Zhang Y, Kordoni V, Villavicencio A and Idiart M Automated multiword expression prediction for grammar engineering Proceedings of the Workshop on Multiword Expressions: Identifying and Exploiting Underlying Properties, (36-44)
- Feinstein D and Wintner S Highly constrained unification grammars Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics, (1089-1096)
- Cohen-Sygal Y and Wintner S Partially specified signatures Proceedings of the 21st International Conference on Computational Linguistics and the 44th annual meeting of the Association for Computational Linguistics, (145-152)
- Søgaard A Embodied construction grammar as layered modal languages Proceedings of the Third Workshop on Scalable Natural Language Understanding, (65-72)
- Sun Y, Chen F and Chung V QuickFusion Proceedings of the 2005 NICTA-HCSNet Multimodal User Interaction Workshop - Volume 57, (51-54)
- Datta S (2006). Modeling dialogue with mixed initiative in design space exploration, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 20:2, (129-142), Online publication date: 1-Apr-2006.
- Penn G (2006). Design space and typed feature logic, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 20:2, (121-128), Online publication date: 1-Apr-2006.
- Woodbury R and Burrow A (2006). Whither design space?, Artificial Intelligence for Engineering Design, Analysis and Manufacturing, 20:2, (63-82), Online publication date: 1-Apr-2006.
- Pu K Modeling, querying and reasoning about OLAP databases Proceedings of the 8th ACM international workshop on Data warehousing and OLAP, (1-8)
- Libkin L Logics for unranked trees Proceedings of the 32nd international conference on Automata, Languages and Programming, (35-50)
- Pustejovsky J, Meyers A, Palmer M and Poesio M Merging PropBank, NomBank, TimeBank, Penn Discourse Treebank and Coreference Proceedings of the Workshop on Frontiers in Corpus Annotations II: Pie in the Sky, (5-12)
- Jaeger E, Francez N and Wintner S (2005). Unification Grammars and Off-Line Parsability, Journal of Logic, Language and Information, 14:2, (199-234), Online publication date: 1-Mar-2005.
- Armengol E, Esteva F, Godo L and Torra V On learning similarity relations in fuzzy case-based reasoning Transactions on Rough Sets II, (14-32)
- Holzapfel H, Nickel K and Stiefelhagen R Implementation and evaluation of a constraint-based multimodal fusion system for speech and 3D pointing gestures Proceedings of the 6th international conference on Multimodal interfaces, (175-182)
- Amtrup J Efficient finite state unification morphology Proceedings of the 20th international conference on Computational Linguistics, (453-es)
- Carson-Berndsen J, Kelly R and Neugebauer M Automatic acquisition of feature-based phonotactic resources Proceedings of the 7th Meeting of the ACL Special Interest Group in Computational Phonology: Current Themes in Computational Phonology and Morphology, (27-34)
- Penn G Balancing clarity and efficiency in typed feature logic through delaying Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, (239-es)
- Munteanu C and Penn G Optimizing typed feature structure grammar parsing through non-statistical indexing Proceedings of the 42nd Annual Meeting on Association for Computational Linguistics, (223-es)
- Ninomiya T, Tsujii J and Miyao Y A persistent feature-object database for intelligent text archive systems Proceedings of the First international joint conference on Natural Language Processing, (197-205)
- Andreasen T, Jensen P, Nilsson J, Paggio P, Pedersen B and Thomsen H (2004). Content-based text querying with ontological descriptors, Data & Knowledge Engineering, 48:2, (199-219), Online publication date: 1-Feb-2004.
- Oepen S and Callmeier U Measure for measure New developments in parsing technology, (373-395)
- Kiefer B and Krieger H A context-free superset approximation of unification-based grammars New developments in parsing technology, (229-250)
- Ciortuz L On two classes of feature paths in large-scale unification grammars New developments in parsing technology, (203-228)
- Gupta A An adaptive approach to collecting multimodal input Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 2, (31-36)
- Krieger H SDL Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8, (83-90)
- Neff M, Byrd R and Boguraev B The talent system Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8, (1-8)
- Penn G AVM description compilation using types as modes Proceedings of the tenth conference on European chapter of the Association for Computational Linguistics - Volume 1, (275-282)
- Gupta A A reference model for multimodal input interpretation CHI '03 Extended Abstracts on Human Factors in Computing Systems, (936-937)
- Kaplan R and Zaenen A Things are not always equal Proceedings of the 4th international conference on Computational linguistics and intelligent text processing, (11-21)
- Holzapfel H and Fuegen C Integrating Emotional Cues into a Framework for Dialogue Management Proceedings of the 4th IEEE International Conference on Multimodal Interfaces
- Ciortuz L LIGHT - A Constraint Language and Compiler System for Typed-Unification Grammars Proceedings of the 25th Annual German Conference on AI: Advances in Artificial Intelligence, (3-17)
- Ciortuz L Learning attribute values in typed-unification grammars proceedings of the 6th conference on Natural language learning - Volume 20, (1-7)
- Denecke M Rapid prototyping for spoken dialogue systems Proceedings of the 19th international conference on Computational linguistics - Volume 1, (1-7)
- Chai J Semantics-based representation for multimodal interpretation in conversational systems Proceedings of the 19th international conference on Computational linguistics - Volume 1, (1-7)
- Ninomiya T, Makino T and Tsujii J An indexing scheme for typed feature structures Proceedings of the 19th international conference on Computational linguistics - Volume 2, (1-5)
- Neuvel S and Fulop S Unsupervised learning of morphology without morphemes Proceedings of the ACL-02 workshop on Morphological and phonological learning - Volume 6, (31-40)
- Cumby C and Roth D Learning with feature description logics Proceedings of the 12th international conference on Inductive logic programming, (32-47)
- Penn G Generalized encoding of description spaces and its application to typed feature structures Proceedings of the 40th Annual Meeting on Association for Computational Linguistics, (64-71)
- Hunter A (2002). Merging structured text using temporal knowledge, Data & Knowledge Engineering, 41:1, (29-66), Online publication date: 1-Apr-2002.
- Oviatt S Multimodal interfaces The human-computer interaction handbook, (286-304)
- Meyers A, Grishman R, Kosaka M and Zhao S Covering Treebanks with GLARF Proceedings of the ACL 2001 Workshop on Sharing Tools and Resources - Volume 15, (51-58)
- Yoshinaga N, Miyao Y, Torisawa K and Tsujii J Resource sharing among HPSG and LTAG communities by a method of grammar conversion from FB-LTAG to HPSG Proceedings of the ACL 2001 Workshop on Sharing Tools and Resources - Volume 15, (39-46)
- Penn G Tractability and structural closures in attribute logic type signatures Proceedings of the 39th Annual Meeting on Association for Computational Linguistics, (418-425)
- Fügen C, Westphal M, Schneider M, Schultz T and Waibel A LingWear Proceedings of the first international conference on Human language technology research, (1-5)
- Melčuk I and Wanner L (2001). Towards a Lexicographic Approach to Lexical Transfer in Machine Translation (Illustrated by the German–Russian Language Pair), Machine Translation, 16:1, (21-87), Online publication date: 1-Mar-2001.
- Calvanese D, De Giacomo G, Nardi D and Lenzerini M Reasoning in expressive description logics Handbook of automated reasoning, (1581-1634)
- McGee D and Cohen P Creating tangible interfaces by augmenting physical objects with multimodal language Proceedings of the 6th international conference on Intelligent user interfaces, (113-119)
- Oviatt S, Cohen P, Wu L, Vergo J, Duncan L, Suhm B, Bers J, Holzman T, Winograd T, Landay J, Larson J and Ferro D (2000). Designing the user interface for multimodal speech and pen-based gesture applications, Human-Computer Interaction, 15:4, (263-322), Online publication date: 1-Dec-2000.
- Popowich F, Mcfetridge P, Turcato D and Toole J (2000). Machine Translation of Closed Captions, Machine Translation, 15:4, (311-341), Online publication date: 1-Dec-2000.
- Armengol E and Plaza E (2000). Bottom-Up Induction of Feature Terms, Machine Language, 41:3, (259-294), Online publication date: 1-Dec-2000.
- Denecke M An integrated development environment for spoken dialogue systems Proceedings of the COLING-2000 Workshop on Using Toolsets and Architectures To Build NLP Systems, (51-60)
- Amtrup J and Zajac R A modular toolkit for machine translation based on layered charts Proceedings of the COLING-2000 Workshop on Using Toolsets and Architectures To Build NLP Systems, (26-33)
- König E and Lezius W A description language for syntactically annotated corpora Proceedings of the 18th conference on Computational linguistics - Volume 2, (1056-1060)
- Amtrup J, Megerdoomian K and Zajac R Rapid development of translation tools Proceedings of the 18th conference on Computational linguistics - Volume 2, (982-986)
- Johnston M and Bangalore S Finite-state multimodal parsing and understanding Proceedings of the 18th conference on Computational linguistics - Volume 1, (369-375)
- Johnston M Deixis and conjunction in multimodal systems Proceedings of the 18th conference on Computational linguistics - Volume 1, (362-368)
- Barg P and Kilbury J Incremental identification of inflectional types Proceedings of the 18th conference on Computational linguistics - Volume 1, (49-54)
- Androutsopoulos I and Dale R Selectional restrictions in HPSG Proceedings of the 18th conference on Computational linguistics - Volume 1, (15-20)
- Oepen S and Carroll J Ambiguity packing in constraint-based parsing Proceedings of the 1st North American chapter of the Association for Computational Linguistics conference, (162-169)
- McGee D, Cohen P and Wu L Something from nothing Proceedings of DARE 2000 on Designing augmented reality environments, (71-80)
- Briscoe T and Copestake A (1999). Lexical rules in constraint-based grammars, Computational Linguistics, 25:4, (487-526), Online publication date: 1-Dec-1999.
- Yang J, Yang W, Denecke M and Waibel A Smart Sight Proceedings of the 3rd IEEE International Symposium on Wearable Computers
- Wintner S Compositional semantics for linguistic formalisms Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics, (96-103)
- Miyao Y Packing of feature structures for efficient unification of disjunctive feature structures Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics, (579-584)
- Minnen G Selective magic HPSG parsing Proceedings of the ninth conference on European chapter of the Association for Computational Linguistics, (165-172)
- Oviatt S Mutual disambiguation of recognition errors in a multimodel architecture Proceedings of the SIGCHI conference on Human Factors in Computing Systems, (576-583)
- Lascarides A and Copestake A (1999). Default representation in constraint-based frameworks, Computational Linguistics, 25:1, (55-105), Online publication date: 1-Mar-1999.
- Wintner S and Francez N (1999). Off-Line Parsability and the Well-Foundedness of Subsumption, Journal of Logic, Language and Information, 8:1, (1-16), Online publication date: 1-Jan-1999.
- Nightingale S (1998). Modern Phrase Structure Grammar, Blackwell Textbooks in Linguistics 11, Machine Translation, 13:2/3, (229-232), Online publication date: 1-Nov-1998.
- Johnston M Unification-based multimodal parsing Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 1, (624-630)
- Penn G Parametric types for typed attribute-value logic Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (1027-1033)
- Takashi N, Kentaro T and Jun'ichi T An efficient Parallel Substrate for Typed Feature Structures on shared memory parallel machines Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (968-974)
- Yutaka M, Kentaro T and Jun'ichi T HPSG-style underspecified Japanese grammar with wide coverage Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (876-880)
- Takaki M, Minoru Y, Kentaro T and Jun'ichi T LiLFeS Proceedings of the 36th Annual Meeting of the Association for Computational Linguistics and 17th International Conference on Computational Linguistics - Volume 2, (807-811)
- van der Vet P and Mars N (1998). Bottom-Up Construction of Ontologies, IEEE Transactions on Knowledge and Data Engineering, 10:4, (513-526), Online publication date: 1-Jul-1998.
- Cohen P, Johnston M, McGee D, Oviatt S, Pittman J, Smith I, Chen L and Clow J QuickSet Proceedings of the fifth ACM international conference on Multimedia, (31-40)
- Denecke M An information-based approach for guiding multi-modal human-computer-interaction Proceedings of the Fifteenth international joint conference on Artifical intelligence - Volume 2, (1036-1041)
- Denecke M A programmable multi-blackboard architecture for dialogue processing systems Interactive Spoken Dialog Systems on Bringing Speech and NLP Together in Real Applications, (98-105)
- Johnston M, Cohen P, McGee D, Oviatt S, Pittman J and Smith I Unification-based multimodal integration Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics, (281-288)
- Götz T and Meurers D Interleaving universal principles and relational constraints over typed feature logic Proceedings of the 35th Annual Meeting of the Association for Computational Linguistics and Eighth Conference of the European Chapter of the Association for Computational Linguistics, (1-8)
- Cohen P, Johnston M, McGee D, Oviatt S, Pittman J, Smith I, Chen L and Clow J QuickSet Proceedings of the fifth conference on Applied natural language processing, (20-24)
- Pulman S (1996). Unification encodings of grammatical notations, Computational Linguistics, 22:3, (295-327), Online publication date: 1-Sep-1996.
- Torisawa K and Tsujii J Computing phrasal-signs in HPSG prior to parsing Proceedings of the 16th conference on Computational linguistics - Volume 2, (949-955)
- Kilbury J Top-down predictive linking and complex-feature-based formalisms Proceedings of the 16th conference on Computational linguistics - Volume 2, (658-663)
- Hinrichs E and Nakazawa T Applying lexical rules under subsumption Proceedings of the 16th conference on Computational linguistics - Volume 1, (543-549)
- Climent S Semantics of portions and partitive nouns for NLP Proceedings of the 16th conference on Computational linguistics - Volume 1, (243-248)
- Rogers J A model-theoretic framework for theories of syntax Proceedings of the 34th annual meeting on Association for Computational Linguistics, (10-16)
- Koenig J (1996). Review of "Head-driven phrase structure grammar" by Carl Pollard and Ivan A. Sag. Center for the Study of Learning and Information and The University of Chicago Press 1994., Computational Linguistics, 22:1, (128-128), Online publication date: 1-Mar-1996.
- Borgida A (1995). Description Logics in Data Management, IEEE Transactions on Knowledge and Data Engineering, 7:5, (671-682), Online publication date: 1-Oct-1995.
- Johnson M and Dörre J Memoization of coroutined constraints Proceedings of the 33rd annual meeting on Association for Computational Linguistics, (100-107)
- Götz T and Meurers W Compiling HPSG type constraints into definite clause programs Proceedings of the 33rd annual meeting on Association for Computational Linguistics, (85-91)
- Erbach G ProFIT Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics, (180-187)
- Manandhar S Deterministic consistency checking of LP constraints Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics, (165-172)
- Brew C Stochastic HPSG Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics, (83-89)
- Bird S and Klein E (1994). Phonological analysis in typed feature systems, Computational Linguistics, 20:3, (455-491), Online publication date: 1-Sep-1994.
- Quantz J An HPSG parser based on Description Logics Proceedings of the 15th conference on Computational linguistics - Volume 1, (412-416)
- Ageno A, Ribas F, Rigau G, Rodríguez H and Samiotou A TGE Proceedings of the 15th conference on Computational linguistics - Volume 1, (324-328)
- Trost H and Matiasek J Morphology with a null-interface Proceedings of the 15th conference on Computational linguistics - Volume 1, (141-147)
- King P Typed feature structures as descriptions Proceedings of the 15th conference on Computational linguistics - Volume 2, (1250-1254)
- Gerdemann D and King P The correct and efficient implementation of appropriateness specifications for typed feature structures Proceedings of the 15th conference on Computational linguistics - Volume 2, (956-960)
- Krieger H and Schäfer U TDL Proceedings of the 15th conference on Computational linguistics - Volume 2, (893-899)
- Strömbäck L Achieving flexibility in unification formalisms Proceedings of the 15th conference on Computational linguistics - Volume 2, (842-846)
- Sanfilippo A, Benkerimi K and Dwehus D Virtual polysemy Proceedings of the 15th conference on Computational linguistics - Volume 2, (696-700)
- Manandhar S An attributive logic of set descriptions and set operations Proceedings of the 32nd annual meeting on Association for Computational Linguistics, (255-262)
- Svenberg S Representing conceptual and linguistic knowledge for multi-lingual generation in a technical domain Proceedings of the Seventh International Workshop on Natural Language Generation, (245-248)
- Viegas E and Bouillon P Semantic lexicons Proceedings of the Seventh International Workshop on Natural Language Generation, (91-98)
- Johnson M (1994). Computing with features as formulae, Computational Linguistics, 20:1, (1-25), Online publication date: 1-Mar-1994.
- Dahl V (1993). Review of "Constraint-based grammar formalisms, Computational Linguistics, 19:3, (560-564), Online publication date: 1-Sep-1993.
- Young M and Rounds B A logical semantics for nonmonotonic sorts Proceedings of the 31st annual meeting on Association for Computational Linguistics, (209-215)
- Backofen R and Smolka G A complete and recursive feature theory Proceedings of the 31st annual meeting on Association for Computational Linguistics, (193-200)
- Krieger H, Pirker H and Nerbonne J Feature-based allomorphy Proceedings of the 31st annual meeting on Association for Computational Linguistics, (140-147)
- Johnson D, Meyers A and Moss L A unification-based parser for relational grammar Proceedings of the 31st annual meeting on Association for Computational Linguistics, (97-104)
- Meseguer J and Qian X (1993). A logical semantics for object-oriented databases, ACM SIGMOD Record, 22:2, (89-98), Online publication date: 1-Jun-1993.
- Meseguer J and Qian X A logical semantics for object-oriented databases Proceedings of the 1993 ACM SIGMOD international conference on Management of data, (89-98)
- Blackburn P and Spaan E Decidability and undecidability in stand-alone feature logics Proceedings of the sixth conference on European chapter of the Association for Computational Linguistics, (30-36)
Index Terms
- The logic of typed feature structures
Please enable JavaScript to view thecomments powered by Disqus.
Recommendations
Appendix: Definitions of typed feature structures
The LinGO grammar consists of a specification of a type system and of various typed feature structures which are well-formed according to the type system. The typed feature structures function as grammar rules, lexical rules and lexical entries. There ...
Logic and feature structures
IJCAI'91: Proceedings of the 12th international joint conference on Artificial intelligence - Volume 2Feature structures play an important role in linguistic knowledge representation in computational linguistics. Given the proliferation of different feature structure formalisms it is useful to have a "common language" to express them in. This paper ...