Sciweavers

2 search results - page 1 / 1
» Inference in DATR
Sort
View
COLING
1996
13 years 6 months ago
An Evaluation Semantics for DATR Theories
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 expre...
Bill Keller
EACL
1989
ACL Anthology
13 years 6 months ago
Inference in DATR
DATR is a declarative language for representing a restricted class of inheritance networks, permitting both multiple and default inheritance. The principal intended area of applic...
Roger Evans, Gerald Gazdar