Edinburgh Research Explorer

Proving properties of logic programs: A Progress Report

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Related Edinburgh Organisations

Open Access permissions



Original languageEnglish
Title of host publication1988 Alvey Conference
Number of pages9
VolumeUK IT88
Publication statusPublished - 1988


We outline the progress we have made in connection with the Alvey Grant "Proving Properties of Logic Programs" (SERC GR/D/44270 and Alvey IKBS 137). This grant runs for three years from 1st November 1985. The grant holders are Professor Alan Bundy and Dr Don Sannella and it employs or has employed Dr Fausto Giunchiglia, Frank van Harmelen, Jane Hesketh, Dr Alan Smaill and Dr Lincoln Wallen as Research Associates. Pete Madden and Andrew Stevens are attached Ph.D. students.

Download statistics

No data available

ID: 24687869