ACL RD-TEC 1.0 Summarization of E93-1005
Paper Title:
DECIDABILITY AND UNDECIDABILITY IN STAND-ALONE FEATURE LOGICS
DECIDABILITY AND UNDECIDABILITY IN STAND-ALONE FEATURE LOGICS
Authors: Patrick Blackburn and Edith Spaan
Primarily assigned technology terms:
Other assigned terms:
- case
- computational complexity
- concepts
- constituent structure
- decidability
- decidable satisfiability
- decidable satisfiability problem
- disjunction
- fact
- feature
- feature convention
- feature structure
- feature structures
- finite set
- formal language
- formal language theory
- formalism
- formalisms
- grammar
- grammars
- grammatical theory
- grid
- hpsg
- inheritance
- language theory
- lemma
- linguistic
- linguistic structure
- linguistic theories
- linguistic theorising
- linguistics
- linguistics literature
- logic
- logical representation
- mechanisms
- method
- modality
- natural language
- natural language sentence
- natural languages
- negation
- phrasal node
- phrase
- phrase structure
- process
- relation
- satisfiability problem
- semantic
- sentence
- sentences
- symbol
- symbols
- technique
- terms
- theoretical computer science
- theories
- theory
- transformation
- trees
- typed feature
- typed feature structures
