Sciweavers

2 search results - page 1 / 1
» Inference in DATR
Sort
View
COLING
1996
15 years 7 days 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
15 years 3 days 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