Pages that link to "Item:Q5706852"
From MaRDI portal
The following pages link to Computational Logic in Multi-Agent Systems (Q5706852):
Displaying 7 items.
- A modal type theory for formalizing trusted communications (Q420842) (← links)
- The semantics of untrustworthiness (Q1708483) (← links)
- Trust in event structures (Q2253171) (← links)
- Trust and Norms in the Context of Computer Security: A Logical Formalization (Q3522042) (← links)
- Expressing Belief Flow in Assertion Networks (Q3623831) (← links)
- Trustworthiness by Default (Q3623965) (← links)
- Trusting promises under pressure (Q6172347) (← links)