A computationally grounded, weighted doxastic logic
From MaRDI portal
(Redirected from Publication:310087)
Recommendations
- Doxastic logic: a new approach
- Logics of belief over weighted structures
- Weighted versus Probabilistic Logics
- Decidability and expressiveness of recursive weighted logic
- Advances in weighted logics for artificial intelligence
- Weighted logics for artificial intelligence. II.
- Computational Logic in Multi-Agent Systems
- Typology of axioms for a weighted modal logic
- On decidability of recursive weighted logics
- Complete proof systems for weighted modal logic
Cites work
- scientific article; zbMATH DE number 3560492 (Why is no real title available?)
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- Automatic verification of competitive stochastic systems
- Computer Aided Verification
- From statistical knowledge bases to degrees of belief
- Markov Chains
- Markov logic networks
- Matrix iterative analysis
- PRISM-games: a model checker for stochastic multi-player games
- Plausibility measures and default reasoning
- Specifying and reasoning about uncertain agents
- The dining cryptographers problem: Unconditional sender and recipient untraceability
Cited in
(5)- Computing Utility from Weighted Description Logic Preference Formulas
- A Weighted-Logic Representation of C-Revising Ordinal Conditional Functions
- Modelling accuracy and trustworthiness of explaining agents
- Dynamic doxastic differential dynamic logic for belief-aware cyber-physical systems
- Advances in weighted logics for artificial intelligence
This page was built for publication: A computationally grounded, weighted doxastic logic
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q310087)
