Parole chiave di "On satisfiability in ATL with strategy contexts"
- Label
- Parole chiave di "On satisfiability in ATL with strategy contexts" (literal)
- Keywords of "On satisfiability in ATL with strategy contexts" (literal)
- Insieme di parole chiave di
- On satisfiability in ATL with strategy contexts (Contributo in atti di convegno) (Prodotto della ricerca)
- Ha membro
- decidability (Parola chiave)
- logic (Parola chiave)
- complexity (Parola chiave)
- agents (Parola chiave)
- temporal logic (Parola chiave)
Incoming links:
- Insieme di parole chiave
- On satisfiability in ATL with strategy contexts (Contributo in atti di convegno) (Prodotto della ricerca)
- Membro di
- logic (Parola chiave)
- temporal logic (Parola chiave)
- complexity (Parola chiave)
- agents (Parola chiave)
- decidability (Parola chiave)
