Negative probabilities in probabilistic logic programs

DOI10.1016/j.ijar.2016.10.001zbMath1404.68034MaRDI QIDQ518605

Yong-Cai Geng, Sumit K. Garg

Publication date: 29 March 2017

Published in: International Journal of Approximate Reasoning (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ijar.2016.10.001

zbMATH Keywords

representation; negation; canonical; negative probability; cyclic logic programs

Mathematics Subject Classification ID

68N19: Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

68N17: Logic programming

68Q87: Probability in computer science (algorithm analysis, random structures, phase transitions, etc.)

Uses Software

• ProbLog
• CP-logic
• PRISM