Sciweavers

2 search results - page 1 / 1
» Inference in DATR
Sort
View
COLING
1996
15 years 29 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
83
Voted
EACL
1989
ACL Anthology
15 years 24 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