Software

,
NameAuthors"Logic"Learning?GUIPlatformsComments Contact/Link
1BC University of BristolPrologP?PrologFirst-Order Bayesian ClassifierPeter Flach
Alchemy University of WashingtonFirst-Order LogicP,S?C++Markov Logic Networks Pedro Domingos
Blog UC BerkeleyFirst-Order LogicNot yet implementedNoJavaEasy to model uncertainty about the number of underlying objects and the mapping between objects and observations. Brian Milch
CILog/ICL Department of Computer Science, University of British ColumbiaProlog------SWI-PrologA logic programming language with probabilities and logical explanation and debugging faculitiesDavid Poole
CLP(BN) Universidade Federal do Rio de Janeiro,University of Wisconsins (Madison), University of YorkProlog,CLP??YAP-PrologIntegrating Bayesian Networks with constraint logic programmingVítor Santos Costa, David Page, and James Cussens.
cplint University of FerraraLPs with Annotated DisjunctionsnonoYAP-Prolog, Linuxinterpreter for LPADs and CP-logic programsFabrizio Riguzzi.
Profile toolbox University of FreiburgRange-Restricted Horn clauses, iterative clauses, Prolog (depending on the system)P,SYes/no depending on the systemLinuxBayesian Logic Programs,
Logical Hidden Markov Models,
nFOIL,
TildeCRF etc.
Kristian Kersting
FOPIUniv. of Illinois at Urbana-ChampaignFirst Order Predicate Logic------JavaLifted First-Order Probabilistic Inference Dan Roth
LPADKatholieke Unversiteit LeuvenkLogic Programs with Annotated Disjunctions------PrologTransforms LPADs into David Poole's ICL Joost Vennekens
LLPADUniversita de FerraraLearning LPADsP,S?PrologLearning LPADs Fabrizio Riguzzi
PRMs Stanford UniversityEntity-Relationship ModelsP,S??Probabilistic Relational Models-

PRISM (v1.11)
Tokyo Institute of TechnologyGeneral Logic ProgramsP?B-Prolog Version 7.0 Programming In Statistical Modelin,
New features are (1) variational Bayes, (2) parallel EM, (3) doubled learning speed (compared to previous version, and (4) less table memory consumption
Taisuke Sato
PrimulaAalborg UniversitetRelational?Yes (Java)JavaRelational Bayesian NetworksManfred Jaeger
Proximity University of Massachusetts AmherstRelationalP/SYesJava (Python)Relational Bayesian classifiers (RBCs), Relational probability trees (RPTs)David Jensen, Dan Corkill, Matt Cornell
RMMsUniversity of WashingtonRelationalP,(S)??Relational Markov ModelsPedro Domingos
SamIamUniversity of California, Los Angelessee PrimulaPYesJava Modeling and reasoning with Bayesian networks wtih Primula built-inAdnan Darwiche
SLPsUniversity of YorkDefinite Clause ProgramsP?Yap and SICStus PrologFAM algotihm for parameter estimation of stochastic logic programs (SLPs); MCMC for structure learning (of e.g. BNs/Decision trees) based on SLPsJames Cussens,
Nicos Angelopoulos

Data Sets

CategoryNameTaskContact/LinkComplexity Format
Molecular BiologyProteinsProtein Secondary StructureKristian Kerstingca. 3000 SequencesProlog

People