Towards a logical belief function theory

DOI10.1016/j.jal.2014.12.002zbMath1378.03013OpenAlexW1972603077MaRDI QIDQ901078

Laurence Cholvy

Publication date: 23 December 2015

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jal.2014.12.002

zbMATH Keywords

propositional logicuncertainty modelingbelief function theory

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Reasoning under uncertainty in the context of artificial intelligence (68T37)

Related Items (2)

Uncertain logic processing: logic-based inference and reasoning using Dempster-Shafer models ⋮ An elementary belief function logic

Cites Work

• Non-exclusive hypotheses in Dempster-Shafer theory
• Perspectives on the theory and practice of belief functions
• A logic-based analysis of Dempster-Shafer theory
• Shared Ordered Binary Decision Diagrams for Dempster-Shafer Theory
• The complexity of theorem-proving procedures
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Towards a logical belief function theory