The Aleph Manual. This document provides reference information on A Learning Engine for Proposing Hypotheses (Aleph). Aleph is an Inductive Logic Programming (ILP) system. This manual is not intended to be a tutorial on ILP. A good introduction to the theory, implementation and applications of ILP can be found in S.H. Muggleton and L. De Raedt (1994), Inductive Logic Programming: Theory and Methods, Jnl. Logic Programming, 19,20:629--679, available at Aleph is intended to be a prototype for exploring ideas. Earlier incarnations (under the name P-Progol) originated in 1993 as part of a fun project undertaken by Ashwin Srinivasan and Rui Camacho at Oxford University. The main purpose was to understand ideas of inverse entailment which eventually appeared in Stephen Muggleton’s 1995 paper: Inverse Entailment and Progol, New Gen. Comput., 13:245-286, available at Since then, the implementation has evolved to emulate some of the functionality of several other ILP systems. Some of these of relevance to Aleph are: CProgol, FOIL, FORS, Indlog, MIDOS, SRT, Tilde, and WARMR. See section Related versions and programs for more details on obtaining some of these programs.

References in zbMATH (referenced in 27 articles )

Showing results 1 to 20 of 27.
Sorted by year (citations)

1 2 next

  1. Kaalia, Rama; Srinivasan, Ashwin; Kumar, Amit; Ghosh, Indira: ILP-assisted de novo drug design (2016)
  2. Kimmig, Angelika; Mihalkova, Lilyana; Getoor, Lise: Lifted graphical models: a survey (2015)
  3. Muggleton, Stephen H.; Lin, Dianhuan; Tamaddoni-Nezhad, Alireza: Meta-interpretive learning of higher-order dyadic Datalog: predicate invention revisited (2015)
  4. Farid, Reza; Sammut, Claude: Plane-based object categorisation using relational learning (2014)
  5. Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt: kLog: a language for logical and relational learning with kernels (2014)
  6. Barták, Roman; Černoch, Radomír; Kuželka, Ondřej; Železný, Filip: Formulating the template ILP consistency problem as a constraint satisfaction problem (2013)
  7. Natarajan, Sriraam; Khot, Tushar; Kersting, Kristian; Gutmann, Bernd; Shavlik, Jude: Gradient-based boosting for statistical relational learning: the relational dependency network case (2012)
  8. Srinivasan, Ashwin; Faruquie, Tanveer A.; Joshi, Sachindra: Data and task parallelism in ILP using mapreduce (2012)
  9. Kalgi, Srihari; Gosar, Chirag; Gawde, Prasad; Ramakrishnan, Ganesh; Gada, Kekin; Iyer, Chander; Kiran, T.V.S.; Srinivasan, Ashwin: BET: An inductive logic programming workbench (2011)
  10. Muggleton, Stephen; Santos, José; Tamaddoni-Nezhad, Alireza: ProGolem: a system based on relative minimal generalisation (2010)
  11. Santos, Jose; Muggleton, Stephen: Subsumer: a Prolog $\theta$-subsumption engine (2010)
  12. Duboc, Ana Luísa; Paes, Aline; Zaverucha, Gerson: Using the bottom clause and mode declarations in FOL theory revision from examples (2009)
  13. Ray, Oliver: Nonmonotonic abductive inductive learning (2009)
  14. Specia, Lucia; Srinivasan, Ashwin; Joshi, Sachindra; Ramakrishnan, Ganesh; Nunes, Maria Das Graças Volpe: An investigation into feature construction to assist word sense disambiguation (2009)
  15. Tamaddoni-Nezhad, Alireza; Muggleton, Stephen: The lattice structure and refinement operators for the hypothesis space bounded by a bottom clause (2009)
  16. Fonseca, Nuno A.; Srinivasan, Ashwin; Silva, Fernando; Camacho, Rui: Parallel ILP for distributed-memory architectures (2008)
  17. Ferreira, Michel; Fonseca, Nuno A.; Rocha, Ricardo; Soares, Tiago: Efficient and scalable induction of logic programs using a deductive database system (2007)
  18. Serrurier, Mathieu; Prade, Henri: Introducing possibilistic logic in ILP for dealing with exceptions (2007)
  19. Goadrich, Mark; Oliphant, Louis; Shavlik, Jude: Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves (2006)
  20. Goadrich, Mark; Oliphant, Louis; Shavlik, Jude: Gleaner: Creating ensembles of first-order clauses to improve recall-precision curves (2006)

1 2 next