PITA performs uncertain reasoning. It is a package of SWI-Prolog and XSB Prolog that allows various forms of Probabilistic Logic Programming and Possibilistic Logic Programming. It accepts the language of Logic Programs with Annotated Disjunctions (LPADs) and CP-logic programs. Please check this manual for installation and use in SWI-Prolog and volume 2 of XSB manual for installation and use in XSB. You can try it online at http://cplint.eu.
Fabrizio Riguzzi and Terrance Swift. The PITA system: Tabling and answer subsumption for reasoning under uncertainty. Theory and Practice of Logic Programming, 27th International Conference on Logic Programming (ICLP’11) Special Issue, 11(4-5):433-449, © Cambridge University Press, 2011. [ bib | DOI |http | .pdf ]
Fabrizio Riguzzi and Terrance Swift. The PITA system for logical-probabilistic inference. In Inductive Logic Programming, 21th International Conference, ILP 2011, Short papers, London, UK, 31 July-3 August, 2011, 2011. [ bib | .pdf ]
Fabrizio Riguzzi and Terrance Swift. An extended semantics for logic programs with annotated disjunctions and its efficient implementation. In Proceedings of the 25th Italian Conference on Computational Logic (CILC2010), Rende, Italy, July 7-9, 2010., number 598 in CEUR Workshop Proceedings, Aachen, Germany, 2010. © by the authors, Sun SITE Central Europe. [ bib | .pdf ]
Fabrizio Riguzzi and Terrance Swift. Tabling and answer subsumption for reasoning on logic programs with annotated disjunctions. In Proceedings of the 17th RCRA International Workshop on Experimental Evaluation of Algorithms for Solving Problems with Combinatorial Explosion, Bologna, Italy, June 10-11, 2010, 2010. [ bib | http | .pdf ]
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 | DOI | http ]