Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
From MaRDI portal
Publication:814504
Recommendations
Cites work
- Defaults in update semantics
- scientific article; zbMATH DE number 1189095 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 1735830 (Why is no real title available?)
- scientific article; zbMATH DE number 1032009 (Why is no real title available?)
- scientific article; zbMATH DE number 1032010 (Why is no real title available?)
- scientific article; zbMATH DE number 2149446 (Why is no real title available?)
- scientific article; zbMATH DE number 2088160 (Why is no real title available?)
- scientific article; zbMATH DE number 762058 (Why is no real title available?)
- scientific article; zbMATH DE number 847982 (Why is no real title available?)
- scientific article; zbMATH DE number 1421195 (Why is no real title available?)
- Knowledge representation and reasoning under uncertainty. Logic at work
- Logic of knowledge and utterance and the liar
- Proof methods for modal and intuitionistic logics
- Propositional knowledge base revision and minimal change
- Reasoning about information change
Cited in
(36)- A meta-model of access control in a fibred security language
- Formal reasoning in preference-based multiple-source rough set model
- A socio-cognitive model of trust using argumentation theory
- Reasoning about belief, evidence and trust in a multi-agent setting
- Public group announcements and trust in doxastic logic
- Modal logic S5 in answer set programming with lazy creation of worlds
- Arguing about the trustworthiness of the information sources
- Some thoughts on using argumentation to handle trust (invited talk)
- Transitivity and propagation of trust in information sources: an analysis in modal logic
- A modal framework for relating belief and signed information
- Tableau reductions: towards an optimal decision procedure for the modal necessity
- Trust and Norms in the Context of Computer Security: A Logical Formalization
- Dynamic agent-oriented reasoning about belief and trust
- An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling
- Fuzzy Argumentation for Trust
- Expressing Belief Flow in Assertion Networks
- Belief fusion and revision: an overview based on epistemic logic semantics
- Believing on trust
- A modal type theory for formalizing trusted communications
- scientific article; zbMATH DE number 1322244 (Why is no real title available?)
- A logic of negative trust
- Modal logic S5 satisfiability in answer set programming
- From belief to trust: A quantitative framework based on modal logic
- Trust-based belief change
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making
- Computational Logic in Multi-Agent Systems
- AI 2005: Advances in Artificial Intelligence
- A probabilistic modal logic for context-aware trust based on evidence
- A possible worlds semantics for trustworthy non-deterministic computations
- A logic of trust-based beliefs
- Expertise and information: an epistemic logic perspective
- A logic for reasoning about (negative) trust under uncertainty
- Checking trustworthiness of probabilistic computations in a typed natural deduction system
- A simple modal logic for belief revision
- A complete fuzzy logical system to deal with trust management systems
- Generalized modal satisfiability
This page was built for publication: Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q814504)
