All Outputs (2)

Transforming general program proofs: a meta interpreter which expands negative literals (1997)
Presentation / Conference
West, M., Bryant, C., & McCluskey, T. (1997, July). Transforming general program proofs: a meta interpreter which expands negative literals. Presented at 7th International Workshop on Logic Program Synthesis and Transformation, Leuven, Belgium

This paper provides a method for generating a proof tree from an instance and a general logic program viz one which includes negative literals. The method differs from previous work in the field in that negative literals are first unfolded and then... Read More about Transforming general program proofs: a meta interpreter which expands negative literals.

Data mining via ILP: The application of progol to a (1997)
Book Chapter
Bryant, C. (1997). Data mining via ILP: The application of progol to a. In N. Lavrac, & S. Dzeroski (Eds.), Inductive logic programming (85-92). Berlin / Heidelberg, Germany: Springer. https://doi.org/10.1007/3540635149_37

As far as this author is aware, this is the first paper to describe the application of Progol to enantioseparations. A scheme is proposed for data mining a relational database of published enantioseparations using Progol. The application of the schem... Read More about Data mining via ILP: The application of progol to a.