Pages that link to "Item:Q4935597"
From MaRDI portal
The following pages link to Formal specification of beliefs in multi-agent systems (Q4935597):
Displaying 7 items.
- Multi-agent systems specification and certification: a situation and state calculus approach (Q596479) (← links)
- Formal semantics for mutual belief (Q685541) (← links)
- Logical formalism for specification of real-time multiagent systems (Q945994) (← links)
- Distributed first order logic (Q1686336) (← links)
- Modeling the beliefs of other agents. Achieving mutuality (Q2734946) (← links)
- (Q4422194) (← links)
- (Q5715829) (← links)