Tools
Keller, Bill (1996) An evaluations semantics for DATR theories. In: Proceedings of the 16th International Conference on Computational Linguistics COLING-96, Stroudsburg, PA, USA.
Full text not available from this repository.
Official URL: http://dx.doi.org/10.3115/993268.993281
Abstract
This paper describes an operational semantics for DATR theories. The semantics is presented as a set of inference rules that axiomatises the evaluation relationship for DATR expressions. The inference rules provide a clear picture of the way in which DATR works, and should lead to a better understanding of the mathematical and computational properties of the language.
Item Type: | Conference or Workshop Item (Paper) |
---|---|
Schools and Departments: | School of Engineering and Informatics > Informatics |
Depositing User: | Bill Keller |
Date Deposited: | 06 Feb 2012 21:19 |
Last Modified: | 14 Jun 2012 10:04 |
URI: | http://sro.sussex.ac.uk/id/eprint/30741 |