Dear all, I would like to announce new versions of two web sites for reasoning with probabilistic logics.
With the first site http://cplint.lamping.unife.it you can reason with probabilistic logic programs under the distribution semantics, such as ProbLog, Logic Programs with Annotated Disjunctions and CP-Logic. The new version now includes Monte Carlo inference (including argument sampling), parameter and structure learning, together with many new inference and learning examples and the possibility of writing notebooks. You can test learned programs and compute the areas under the PR and ROC curve. A standalone online AUC calculator is also available at http://cplint.lamping.unife.it/example/exauc.pl You can download the PR and ROC curves as SVG. A tutorial is available at http://cplint.lamping.unife.it/tutorial/tutorial.swinb Please use the Google group cpl...@googlegroups.com to send questions, suggestions, comments and bug reports. With the second site http://trill.lamping.unife.it you can perform inference with probabilistic description logics under a possible worlds semantics. The new version now includes new examples and the possibility of writing notebooks. Both sites are based on SWISH: SWI-Prolog for Sharing, a web application for Prolog programming, developed by Jan Wielemaker and Torbjörn Lager. Please use the Google group trill-sys...@googlegroups.com to send questions, suggestions, comments and bug reports. Best Fabrizio Riguzzi http://ds.ing.unife.it/~friguzzi/
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
