Name | Authors | "Logic" | Learning? | GUI | Platforms | Comments | Contact/Link |
1BC | University of Bristol | Prolog | P | ? | Prolog | First-Order Bayesian Classifier | Peter Flach |
Alchemy | University of Washington | First-Order Logic | P,S | ? | C++ | Markov Logic Networks | Pedro Domingos |
Blog | UC Berkeley | First-Order Logic | Not yet implemented | No | Java | Easy 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 Columbia | Prolog | --- | --- | SWI-Prolog | A logic programming language with probabilities and logical explanation and debugging faculities | David Poole |
CLP(BN) | Universidade Federal do Rio de Janeiro,University of Wisconsins (Madison), University of York | Prolog,CLP | ? | ? | YAP-Prolog | Integrating Bayesian Networks with constraint logic programming | Vítor Santos Costa, David Page, and James Cussens. |
cplint | University of Ferrara | LPs with Annotated Disjunctions | no | no | YAP-Prolog, Linux | interpreter for LPADs and CP-logic programs | Fabrizio Riguzzi. |
Profile toolbox | University of Freiburg | Range-Restricted Horn clauses, iterative clauses, Prolog (depending on the system) | P,S | Yes/no depending on the system | Linux | Bayesian Logic Programs, Logical Hidden Markov Models, nFOIL, TildeCRF etc. | Kristian Kersting |
FOPI | Univ. of Illinois at Urbana-Champaign | First Order Predicate Logic | --- | --- | Java | Lifted First-Order Probabilistic Inference | Dan Roth |
LPAD | Katholieke Unversiteit Leuvenk | Logic Programs with Annotated Disjunctions | --- | --- | Prolog | Transforms LPADs into David Poole's ICL | Joost Vennekens |
LLPAD | Universita de Ferrara | Learning LPADs | P,S | ? | Prolog | Learning LPADs | Fabrizio Riguzzi |
PRMs | Stanford University | Entity-Relationship Models | P,S | ? | ? | Probabilistic Relational Models | - |
PRISM (v1.11) | Tokyo Institute of Technology | General Logic Programs | P | ? | 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 |
Primula | Aalborg Universitet | Relational | ? | Yes (Java) | Java | Relational Bayesian Networks | Manfred Jaeger |
Proximity | University of Massachusetts Amherst | Relational | P/S | Yes | Java (Python) | Relational Bayesian classifiers (RBCs), Relational probability trees (RPTs) | David Jensen, Dan Corkill, Matt Cornell |
RMMs | University of Washington | Relational | P,(S) | ? | ? | Relational Markov Models | Pedro Domingos |
SamIam | University of California, Los Angeles | see Primula | P | Yes | Java | Modeling and reasoning with Bayesian networks wtih Primula built-in | Adnan Darwiche |
SLPs | University of York | Definite Clause Programs | P | ? | Yap and SICStus Prolog | FAM algotihm for parameter estimation of stochastic logic programs (SLPs); MCMC for structure learning (of e.g. BNs/Decision trees) based on SLPs | James Cussens, Nicos Angelopoulos |
Category | Name | Task | Contact/Link | Complexity | Format |
Molecular Biology | Proteins | Protein Secondary Structure | Kristian Kersting | ca. 3000 Sequences | Prolog |