Software

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.
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
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.9)	Tokyo Institute of Technology	General Logic Programs	P	?	B-Prolog Version 6.8	Programming In Statistical Modelin, 64bit version available for large-scale computation, faster tabling (twice as fast as PRISM1.8), a new smoothing built_in predicate "hindsight" for DBNs and belief propagation on junction trees	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

Data Sets

People

• Nicos Angelopoulos, Imperial College
• Jack Breese, Decision Theory and Adaptive Systems Group, Microsoft Research
• Bruce D'Ambrosio
• Vítor Santos Costa, COPPE/Sistemas, Universidade Federal do Rio de Janeiro
• James Cussens, University of York
• Luc De Raedt, University of Freiburg
• Pedro Domingos, University of Washington
• Peter Flach, University of Bristol
• Nir Friedman, Hebrew University
• Lise Getoor, University of Maryland
• Peter Haddawy, University of Wisconsin-Milwaukee
• Manfred Jaeger, Max-Planck-Institut fuer Informatik
• David Jensen, University of Massachusetts, Amherst
• Kristian Kersting, University of Freiburg
• Daphne Koller, Standford University
• Nicholas Lachiche, LSIIT-IUT de Strasbourg Sud
• Stephen Muggleton, Imperial College
• Jennifer Neville,University of Massachusetts, Amherst
• David Page,University of Wisconsin, Madison
• Avi Pfeffer, Harvard University
• David Poole, University of British Columbia
• Tapani Raiko, Helsinki University of Technology
• Stuart Russell, University of California, Berkley
• Taisuke Sato, Tokyo Institute of Technology
• Eran Segal, Standford University
• Ben Taskar, Standford University
• Joost Vennekens, Katholieke Unversiteit Leuven