Regular path expressions in feature logic

DOI10.1006/jsco.1994.1028zbMath0813.68152OpenAlexW2043577042MaRDI QIDQ1333157

Rolf Backofen

Publication date: 13 September 1994

Published in: Journal of Symbolic Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4580a35cbebd5aaf8579c4f25854143e35ee45ee

zbMATH Keywords

knowledge representationacyclicitydecidabilityfeature descriptionsfeature logic

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Logic in artificial intelligence (68T27) Knowledge representation (68T30) Natural language processing (68T50)

Related Items

How to win a game with features ⋮ Ordering constraints over feature trees expressed in second-order monadic logic.