The Logic of Typed Feature Structures
From MaRDI portal
Publication:4023581
DOI10.1017/CBO9780511530098zbMath0765.68006MaRDI QIDQ4023581
Publication date: 23 January 1993
inheritance; unification; constraints; denotational semantics; data types; feature structures; phrase structure grammars; attribute-value logic
68T27: Logic in artificial intelligence
68Q65: Abstract data types; algebraic specification
68-02: Research exposition (monographs, survey articles) pertaining to computer science
68Q42: Grammars and rewriting systems
68N17: Logic programming
03B80: Other applications of logic
Related Items
A complete and recursive feature theory, Order-sorted logic programming with predicate hierarchy, Finite-tree analysis for constraint logic-based languages, A formal approach to subgrammar extraction for NLP, Parsing schemata and correctness of parsing algorithms, Computing abstract decorations of parse forests using dynamic programming and algebraic power series, A modal perspective on the computational complexity of attribute value grammar, A feature constraint system for logic programming with entailment, Fuzzy types: A framework for handling uncertainty about types of objects, Unification grammars and off-line parsability, Ordering constraints over feature trees expressed in second-order monadic logic.
Uses Software