Paper: An Evaluation Semantics For DATR Theories

ACL ID C96-2109
Title An Evaluation Semantics For DATR Theories
Venue International Conference on Computational Linguistics
Session Main Conference
Year 1996
Authors

This paper describes an operational se- mantics for DATR theories. The seman- tics is presented as a set of inference rules that axiomatises the evaluation relation- ship for DATR expressions. The infer- ence rules provide a clear picture of the way in which DATR works, and should lead to a better understanding of the mathematical and computational prop- erties of the language.