Pages that link to "Item:Q1633064"
From MaRDI portal
The following pages link to A complete coalition logic of temporal knowledge for multi-agent systems (Q1633064):
Displaying 5 items.
- A first-order coalition logic for BDI-agents (Q1712430) (← links)
- Reasoning about knowledge, belief and certainty in hierarchical multi-agent systems (Q1712550) (← links)
- Multi-Agents’ Temporal Logic using Operations of Static Agents’ Knowledge (Q5068380) (← links)
- Coalition logic with individual, distributed and common knowledge1 (Q5215820) (← links)
- Representing and Verifying Temporal Epistemic Properties in Multi-Agent Systems (Q5302000) (← links)