The University of Edinburgh -
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


[Search These Pages] [DAI Home Page] [Comment]