scientific article; zbMATH DE number 1488208

MaRDI QIDQ4495333zbMATH OpenFDO

Authors Bill Keller

Publication date 10 August 2000

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Grammars and rewriting systems (68Q42) Logic in artificial intelligence (68T27)

Recommendations

• Feature-constraint logics for unification grammars
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• A complete and recursive feature theory
• scientific article; zbMATH DE number 67840

Cited in

(6)

• Polyadic dynamic logics for HPSG parsing
• On the expressivity of feature logics with negation, functional uncertainty, and sort equations
• Feature-constraint logics for unification grammars
• The Logic of Typed Feature Structures
• scientific article; zbMATH DE number 1979744 (Why is no real title available?)
• On the complexity of RSRL

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4495333)