Pages that link to "Item:Q814504"
From MaRDI portal
The following pages link to Belief, information acquisition, and trust in multi-agent systems -- a modal logic formulation (Q814504):
Displaying 19 items.
- Tableau reductions: towards an optimal decision procedure for the modal necessity (Q313007) (← links)
- An efficient and versatile approach to trust and reputation using hierarchical Bayesian modelling (Q359995) (← links)
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- A simple modal logic for belief revision (Q813420) (← links)
- Generalized modal satisfiability (Q988571) (← links)
- A meta-model of access control in a fibred security language (Q1037612) (← links)
- Formal reasoning in preference-based multiple-source rough set model (Q1671288) (← links)
- A socio-cognitive model of trust using argumentation theory (Q1951301) (← links)
- Modal logic S5 in answer set programming with lazy creation of worlds (Q2694545) (← links)
- Arguing about the Trustworthiness of the Information Sources (Q3011936) (← links)
- Some Thoughts on Using Argumentation to Handle Trust (Q3092289) (← links)
- A Modal Framework for Relating Belief and Signed Information (Q3092293) (← links)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
- Fuzzy Argumentation for Trust (Q3602952) (← links)
- Expressing Belief Flow in Assertion Networks (Q3623831) (← links)
- Belief fusion and revision: an overview based on epistemic logic semantics (Q3647210) (← links)
- A logic of negative trust (Q4995620) (← links)
- Modal Logic S5 Satisfiability in Answer Set Programming (Q5019595) (← links)
- A possible worlds semantics for trustworthy non-deterministic computations (Q6596679) (← links)
