×

Found 32 Software Packages (Results 1–32)

ProbLog

Software Authors:   Renkens, Joris; Van Den Broeck, Guy; Nijssen, Siegfried
Referenced in: 103 Publications (2007–2022)
Related Software: PRISM; PITA; CP-logic; Church; BLOG; YAP-Prolog; …
Main Fields: Mathematical logic and foundations (03-XX); Statistics (62-XX); Computer science (68-XX)

Aleph

Software Authors:   Srinivasan, A
Referenced in: 52 Publications (2004–2022)
Related Software: GitHub; ProbLog; GOLEM; C4.5; nFOIL; SWI-Prolog; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Daikon

Software Authors:   Ernst, Michael D.; Perkins, Jeff H.; Guo, Philip J.; McCamant, Stephen; Pacheco, Carlos; Tschantz, Matthew S.; Xiao, Chen
Referenced in: 34 Publications (2005–2022)
Related Software: JML; Eiffel; z3; Houdini; Z; JCrasher; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX); Biology and other natural sciences (92-XX)

FORS

Software Authors:   Karalić, Aram; Bratko, Ivan
Referenced in: 13 Publications (1997–2021)
Related Software: UCI-ml; C4.5; GOLEM; Aleph; shap; JDQZ; …
Main Fields: Linear and multilinear algebra; matrix theory (15-XX); Statistics (62-XX); Numerical analysis (65-XX)

CrossMine

Software Authors:   Yin, Xiaoxin; Han, Jiawei; Yang, Jiong; Yu, Philip S.
Referenced in: 9 Publications (2005–2020)
Related Software: FactorBase; PRMLT; FOIL; missForest; OpenML; Scikit; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

kFOIL

Software Authors:   Landwehr, N., Passerini, A., De Raedt, L., Frasconi, P.
Referenced in: 12 Publications (2007–2022)
Related Software: Aleph; nFOIL; C4.5; QuickFOIL; XGBoost; UCI-ml; …
Main Fields: Mathematical logic and foundations (03-XX); Functional analysis (46-XX); Statistics (62-XX)

Metagol

Software Authors:   Cropper, A.; Muggleton, S. H
Referenced in: 11 Publications (2015–2022)
Related Software: GitHub; Metaopt; Aleph; GOLEM; Clingo; SWI-Prolog; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

IDP3

Software Authors:   Bruynooghe, Maurice; Blockeel, Hendrik; Bogaerts, Bart; De Cat, Broes; De Pooter, Stef; Jansen, Joachim; Labarre, Anthony; Ramon, Jan; Denecker, Marc; Verwer, Sicco
Referenced in: 9 Publications (2015–2020)
Related Software: clasp; WASP; DLV; Clingo; Cmodels; DLV2; …
Main Fields: Computer science (68-XX); Operations research, mathematical programming (90-XX)

TopLog

Software Authors:   Muggleton, Stephen H.; Santos, Jos\'e Carlos Almeida; Tamaddoni-Nezhad, Alireza
Referenced in: 8 Publications (2008–2021)
Related Software: Aleph; SOLAR; Louise; Metagol; GitHub; PeerSim; …
Main Fields: Probability theory and stochastic processes (60-XX); Statistics (62-XX); Computer science (68-XX)

Metaopt

Software Authors:   Cropper, Andrew; Muggleton, Stephen H.
Referenced in: 9 Publications (2019–2022)
Related Software: Metagol; GitHub; GOLEM; Aleph; ProbLog; Clingo; …
Main Fields: Computer science (68-XX)

Java+ITP

Software Authors:   Sasse, R., Meseguer, J.
Referenced in: 7 Publications (2007–2013)
Related Software: Maude; JavaFAN; K Prover; ACL2; MMT; Centaur; …
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

DL-learner

Software Authors:   Jens Lehmann
Referenced in: 7 Publications (2009–2020)
Related Software: BayesOWL; swrl; ElemStatLearn
Main Fields: Computer science (68-XX)

kLog

Software Authors:   Frasconi, Paolo; Costa, Fabrizio; De Raedt, Luc; De Grave, Kurt
Referenced in: 6 Publications (2014–2022)
Related Software: ProbLog; PyTorch; Aleph; PRISM; kFOIL; Dyna; …
Main Fields: Statistics (62-XX); Computer science (68-XX)

nFOIL

Software Authors:   Niels Landwehr, Kristian Kersting, Luc De Raedt
Referenced in: 5 Publications (2006–2022)
Related Software: Aleph; kFOIL; C4.5; QuickFOIL; XGBoost; UCI-ml; …
Main Fields: Functional analysis (46-XX); Statistics (62-XX); Computer science (68-XX)

GAUSS

Software Authors:   Ramakrishnan, N., Rice, J. R., Houstis, E. N.
Referenced in: 4 Publications (2002–2018)
Related Software: PYTHIA; Hyperheuristics; rpart; ReliefF; UCI++; OpenML; …
Main Fields: Combinatorics (05-XX); Statistics (62-XX); Numerical analysis (65-XX)

ProGolem

Software Authors:   Muggleton, Stephen; Santos, José; Tamaddoni-Nezhad, Alireza
Referenced in: 3 Publications (2010–2017)
Related Software: Aleph; GOLEM; DIMACS; YAP-Prolog; Walksat; Subsumer; …
Main Fields: Computer science (68-XX)

April

Software Authors:   Fonseca, N.A., Silva, F., Camacho, R.
Referenced in: 2 Publications (2008–2009)
Related Software: Aleph; GOLEM; FOIL; PolyFARM
Main Fields: Computer science (68-XX)

FOIL-D

Software Authors:   Bockhorst, Joseph; Ong , Irene
Referenced in: 3 Publications (2004–2007)
Related Software: MYDDAS; Aleph; CrossMine
Main Fields: Computer science (68-XX)

GeLog

Software Authors:   K\'okai, Gabriella
Referenced in: 3 Publications (2001–2003)
Related Software:
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

KReator

Software Authors:   Finthammer, Marc; Thimm, Matthias
Referenced in: 3 Publications (2012)
Related Software: Alchemy; ProbLog
Main Fields: Mathematical logic and foundations (03-XX); Computer science (68-XX)

PrASP

Software Authors:   Nickles, Matthias
Referenced in: 3 Publications (2016–2022)
Related Software: PRISM; ProbLog; DeepProbLog; cplint; SCIFF; XSB; …
Main Fields: Computer science (68-XX)

QuickFOIL

Software Authors:   Zeng, Q.; Patel, JM; Page, D.
Referenced in: 3 Publications (2019–2022)
Related Software: XGBoost; Aleph; C4.5; nFOIL; kFOIL; UCI-ml; …
Main Fields: Computer science (68-XX)

Subsumer

Software Authors:   Santos, Jose; Muggleton, Stephen
Referenced in: 2 Publications (2010–2015)
Related Software: Aleph; ProGolem
Main Fields: Computer science (68-XX)

ILPME

Software Authors:   Mitra, Arindam; Baral, Chitta
Referenced in: 2 Publications (2018–2020)
Related Software: AQuA; sCASP; MCTest; SQuAD; StanfordCoreNLP; Penn Treebank
Main Fields: Computer science (68-XX)

Louise

Software Authors:   Patsantzis, S., Muggleton, S.H.
Referenced in: 2 Publications (2021–2022)
Related Software: Metagol; GitHub; Metaopt; Tensor2Tensor; GOLEM; Aleph; …
Main Fields: Computer science (68-XX)

Warmr

Software Authors:   R. D. King, A. Srinivasan, L. Dehaspe
Referenced in: 2 Publications (2005–2012)
Related Software: CrossMine; MrBayes; CloSpan; CloseGraph; RadCon; TreeDT; …
Main Fields: Computer science (68-XX); Biology and other natural sciences (92-XX)

BET

Software Authors:   Kalgi, Srihari; Gosar, Chirag; Gawde, Prasad; Ramakrishnan, Ganesh; Gada, Kekin; Iyer, Chander; Kiran, T.V.S; Srinivasan, Ashwin
Referenced in: 0 Publications
Related Software: Aleph; YAP-Prolog; WEKA; PRISM
Main Fields:

FOLD-R++

Software Authors:   Wang, Huaduo; Gupta, Gopal
Referenced in: 1 Publication (2022)
Related Software: C4.5; QuickFOIL; nFOIL; sCASP; kFOIL; XGBoost; …
Main Fields: Computer science (68-XX)

GENEX

Software Authors:   Morin, Johanne; Matwin, Stan
Referenced in: 1 Publication (2001)
Related Software:
Main Fields: Computer science (68-XX)

GidL

Software Authors:   Wittocx, J., Mariën, M., Denecker, M.
Referenced in: 1 Publication (2017)
Related Software: IDP; aspcud; BEE; iClingo; Clingo; WASP; …
Main Fields: Computer science (68-XX)

LINUS

Software Authors:   Lavrac, Nada; Dzeroski, Saso
Referenced in: 1 Publication (1994)
Related Software:
Main Fields: Computer science (68-XX)

UALib

Software Authors:   William DeMeo
Referenced in: 0 Publications
Related Software: Agda
Main Fields: