Dear all, I would like to announce two web sites for performing inference for probabilistic logics. The first http://cplint.lamping.unife.it allows to perform inference with probabilistic logic programs under the distribution semantics, such as ProbLog, Logic Programs with Annotated Disjunctions and CP-Logic. Under the Examples menu you can find several examples of programs and queries. Inference is performed using a version of the PITA system:
Fabrizio Riguzzi and Terrance Swift. Tabling and Answer Subsumption for Reasoning on Logic Programs with Annotated Disjunctions. In M. Hermenegildo and T. Schaub, editors, *Technical Communications of the 26th Int'l. Conference on Logic Programming (ICLP'10)*, volume 7 of *Leibniz International Proceedings in Informatics (LIPIcs)*, pages 162-171, Dagstuhl, Germany, July 2010. License Creative Commons Attribution-Noncommercial-No Derivative Works 3.0, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik. [ bib <http://ds.ing.unife.it/~friguzzi/conferences_bib.html#RigSwi10-ICLP10-IC> | DOI <http://dx.doi.org/10.4230/LIPIcs.ICLP.2010.162> | http <http://drops.dagstuhl.de/opus/volltexte/2010/2594/> ] The second http://trill.lamping.unife.it allows to perform inference with probabilistic description logics under the distribution semantics: Fabrizio Riguzzi, Elena Bellodi, Evelina Lamma, and Riccardo Zese. Probabilistic description logics under the distribution semantics. *Semantic Web - Interoperability, Usability, Applicability*, (To appear), 2015. [ bib <http://ds.ing.unife.it/~friguzzi/journals_bib.html#RigBelLamZes15-SW-IJ> | DOI <http://dx.doi.org/10.3233/SW-140154> | .pdf <http://ds.ing.unife.it/~friguzzi/Papers/RigBelLamZes-SW14.pdf> ] Again under the Examples menu you can find several examples of knowledge bases and queries. Inference is performed using the TRILL system: Riccardo Zese, Elena Bellodi, Evelina Lamma, Fabrizio Riguzzi, and Fabiano Aguiari. Semantics and inference for probabilistic description logics. In Fernando Bobillo, Rommel N. Carvalho, Paulo C.G. Costa, Claudia d'Amato, Nicola Fanizzi, Kathryn B. Laskey, Kenneth J. Laskey, Thomas Lukasiewicz, Matthias Nickles, and Michael Pool, editors, *Uncertainty Reasoning for the Semantic Web III*, Lecture Notes in Computer Science, pages 79-99. Springer International Publishing, © Springer International Publishing, 2014. The original publication is available at http://www.springerlink.com. [ bib <http://ds.ing.unife.it/~friguzzi/bookchapters_bib.html#RigBel14-URSWb-BC> | DOI <http://dx.doi.org/10.1007/978-3-319-13413-0_5> | .pdf <http://ds.ing.unife.it/~friguzzi/Papers/RigBel14-URSWb-BC.pdf> ] If you have any comments please write me. Best Fabrizio Riguzzi http://ds.ing.unife.it/~friguzzi/
_______________________________________________ uai mailing list uai@ENGR.ORST.EDU https://secure.engr.oregonstate.edu/mailman/listinfo/uai
