Efficient implementation of lattice operations
ACM Transactions on Programming Languages and Systems (TOPLAS)
The logic of typed feature structures
The logic of typed feature structures
Inheritance and constraint-based grammar formalisms
Computational Linguistics - Special issue on inheritance: I
Techniques for automatic memoization with applications to context-free parsing
Computational Linguistics
A logical version of functional grammar
ACL '87 Proceedings of the 25th annual meeting on Association for Computational Linguistics
Strategies for adding control information to declarative grammars
ACL '91 Proceedings of the 29th annual meeting on Association for Computational Linguistics
DISCO: an HPSG-based NLP system and its application for appointment scheduling
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Introduction to this Special Issue
Natural Language Engineering
On building a more efficient grammar by exploiting types
Natural Language Engineering
A compact architecture for dialogue management based on scripts and meta-outputs
ANLC '00 Proceedings of the sixth conference on Applied natural language processing
An information extraction core system for real world German text processing
ANLC '97 Proceedings of the fifth conference on Applied natural language processing
ProFIT: prolog with features, inheritance and templates
EACL '95 Proceedings of the seventh conference on European chapter of the Association for Computational Linguistics
Applying explanation-based learning to control and speeding-up natural language generation
ACL '98 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
DISCO: an HPSG-based NLP system and its application for appointment scheduling
COLING '94 Proceedings of the 15th conference on Computational linguistics - Volume 1
Modularizing codescriptive grammars for efficient parsing
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 2
A bag of useful techniques for efficient and robust parsing
ACL '99 Proceedings of the 37th annual meeting of the Association for Computational Linguistics on Computational Linguistics
Integrating information extraction and automatic hyperlinking
ACL '03 Proceedings of the 41st Annual Meeting on Association for Computational Linguistics - Volume 2
The automatic generation of formal annotations in a multimedia indexing and searching environment
HLTKM '01 Proceedings of the workshop on Human Language Technology and Knowledge Management - Volume 2001
WHAT: an XSLT-based infrastructure for the integration of natural language processing components
SEALTS '03 Proceedings of the HLT-NAACL 2003 workshop on Software engineering and architecture of language technology systems - Volume 8
Measure for measure: towards increased component comparability and exchange
New developments in parsing technology
COLING-ACL '06 Proceedings of the COLING/ACL on Main conference poster sessions
From ubgs to cfgs a practical corpus-driven approach
Natural Language Engineering
Ontology-based information extraction and integration from heterogeneous data sources
International Journal of Human-Computer Studies
LXGram in the shared task "comparing semantic representations" of STEP 2008
STEP '08 Proceedings of the 2008 Conference on Semantics in Text Processing
Efficient parameterizable type expansion for typed feature formalisms
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 2
IWIC'07 Proceedings of the 1st international conference on Intercultural collaboration
Testing a grammar customization system with Sahaptin
HLT '10 Human Language Technologies: The 2010 Annual Conference of the North American Chapter of the Association for Computational Linguistics
DL meet FL: a bidirectional mapping between ontologies and linguistic knowledge
COLING '10 Proceedings of the 23rd International Conference on Computational Linguistics: Posters
Research on Language and Computation
A multilingual/multimedia lexicon model for ontologies
ESWC'06 Proceedings of the 3rd European conference on The Semantic Web: research and applications
Fluid construction grammar: the new kid on the block
EACL '12 Proceedings of the Demonstrations at the 13th Conference of the European Chapter of the Association for Computational Linguistics
Hi-index | 0.00 |
This paper presents TDL, a typed feature-based representation language and inference system. Type definitions in TDL consist of type and feature constraints over the boolean counectives. TDL supports open-and closed-world reasoning over types and allows for partitions and incompatible types. Working with partially as well as with fully expanded types is possible. Efficient reasoning in TDL is accomplished through specialized modules.