Update of Probabilistic Beliefs: Implementation and Parametric Verification

DOI10.3233/FI-2010-295zbMath1216.68256OpenAlexW1615448708MaRDI QIDQ3008105

Katarzyna Budzyńska, M. Kacprzak, Paweł Rembelski

Publication date: 14 June 2011

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2010-295

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42)

Uses Software

• Perseus

This page was built for publication: Update of Probabilistic Beliefs: Implementation and Parametric Verification