A computationally grounded, weighted doxastic logic

DOI10.1007/s11225-015-9621-4zbMath1367.03052OpenAlexW806899496MaRDI QIDQ310087

Taolue Chen, Franco Raimondi, Neha Rungta, Giuseppe Primiero

Publication date: 7 September 2016

Published in: Studia Logica (Search for Journal in Brave)

Full work available at URL: https://eprints.mdx.ac.uk/19203/1/preprint.pdf

zbMATH Keywords

model checkingmulti-agent systemsdoxastic logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic in artificial intelligence (68T27) Logics of knowledge and belief (including belief change) (03B42) Logic in computer science (03B70)

Related Items (1)

Modelling accuracy and trustworthiness of explaining agents

Uses Software

• PRISM
• MCMAS
• PRISM-games
• GitHub
• mccogwed

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• The dining cryptographers problem: Unconditional sender and recipient untraceability
• Automatic verification of competitive stochastic systems
• Specifying and reasoning about uncertain agents
• Markov logic networks
• From statistical knowledge bases to degrees of belief
• Markov Chains
• Computer Aided Verification
• PRISM-games: A Model Checker for Stochastic Multi-Player Games
• Plausibility measures and default reasoning
• Matrix Iterative Analysis

This page was built for publication: A computationally grounded, weighted doxastic logic