×

Aleph

swMATH ID: 12108
Software Authors: Srinivasan, A
Description: 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 ftp://ftp.cs.york.ac.uk/pub/ML_GROUP/Papers/lpj.ps.gz. 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 ftp://ftp.cs.york.ac.uk/pub/ML_GROUP/Papers/InvEnt.ps.gz. 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.
Homepage: http://www.cs.ox.ac.uk/activities/machinelearning/Aleph/aleph.html
Related Software: GitHub; ProbLog; GOLEM; C4.5; nFOIL; SWI-Prolog; Metagol; YAP-Prolog; XGBoost; UCI-ml; kFOIL; TopLog; QuickFOIL; Adam; Metaopt; shap; Walksat; PyTorch; kLog; Clingo
Referenced in: 52 Publications
all top 5

Referenced by 102 Authors

10 Srinivasan, Ashwin
8 Muggleton, Stephen H.
5 Tamaddoni-Nezhad, Alireza
4 Cropper, Andrew
4 Law, Mark M.
3 Broda, Krysia B.
3 Camacho, Rui
3 Fonseca, Nuno A.
3 Gupta, Gopal K.
3 Lavrač, Nada
3 Russo, Alessandra M.
3 Santos, José Carlos Almeida
3 Shakerin, Farhad
3 Vig, Lovekesh
2 Bain, Michael E.
2 Santos Costa, Vítor
2 Dash, Tirtharaj
2 Joshi, Sachindra
2 Kersting, Kristian
2 Khot, Tushar
2 Kralj, Jan
2 Morel, Rolf
2 Natarajan, Sriraam
2 Paes, Aline
2 Riguzzi, Fabrizio
2 Robnik-Šikonja, Marko
2 Rocha, Ricardo
2 Shavlik, Jude W.
2 Wang, Huaduo
2 Zaverucha, Gerson
1 Abdallah, Samer A.
1 Adhikari, Prem Raj
1 Angelopoulos, Nicos
1 Artikis, Alexander
1 Barták, Roman
1 Bekker, Jessa
1 Besold, Tarek R.
1 Blockeel, Hendrik
1 Calejo, Miguel
1 Černoch, Radomír
1 Costa, Fabrizio
1 Davis, Jesse
1 De Grave, Kurt
1 De Raedt, Luc
1 Duboc, Ana Luísa
1 Dumančić, Sebastijan
1 Dutta, Haimonti
1 Džeroski, Sašo
1 Faruquie, Tanveer A.
1 Fatemi, Bahare
1 Ferreira, Michel
1 Frasconi, Paolo
1 Furelos-Blanco, Daniel
1 Gebser, Martin
1 Getoor, Lise
1 Giamas, Georgios
1 Goadrich, Mark
1 Gutmann, Bernd
1 Hollmén, Jaakko
1 Jonsson, Anders
1 Kazemi, Seyed Mehran
1 Kimmig, Angelika
1 King, Ross D.
1 Könik, Tolga
1 Kowalski, Robert A.
1 Kunapuli, Gautam
1 Kuželka, Ondřej
1 Lager, Torbjörn
1 Laird, John E.
1 Lin, Dianhuan
1 Maloberti, Jérôme
1 Michelioudakis, Evangelos
1 Mihalkova, Lilyana
1 Moitra, Abha
1 Nguembang Fadja, Arnaud
1 Nunes, Maria das Graças Volpe
1 Oliphant, Louis
1 Page, David L.
1 Paliouras, Georgios
1 Poole, David L.
1 Prade, Henri M.
1 Ramakrishnan, Ganesh
1 Ramanan, Nandini
1 Ray, Oliver
1 Sadri, Fariba
1 Schekotihin, Konstantin
1 Schmid, Ute
1 Sebag, Michèle
1 Serrurier, Mathieu
1 Shbita, Basel
1 Shroff, Gautam M.
1 Silva, Fernando
1 Škrlj, Blaž
1 Soares, Tiago
1 Specia, Lucia
1 Tarzariol, Alice
1 Van Assche, Anneleen
1 Vavpetič, Anže
1 Vens, Celine
1 Wielemaker, Jan
...and 2 more Authors

Referencing Publications by Year