Division of Informatics
Forrest Hill & 80 South Bridge
Documents on: semantics
PP92
1991 Paper in Conference Proceedings
Ross,B
;
Smaill,AD
An Algebraic Semantics of Prolog Program Termination
PP1160
1997 Paper in Conference Proceedings
Knott,A
;
O'Donnell,M
Defeasible Rules in Content Selection and Text Structuring