Abstract
probabilistic resource-bounded ATL.
| Original language | English |
|---|---|
| Title of host publication | International Conference on Autonomous Agents and Multiagent Systems |
| Publisher | IFAAMAS |
| Pages | 2141-2143 |
| Number of pages | 3 |
| ISBN (Electronic) | 978-1-4503-6309-9 |
| Publication status | Published - May 2019 |
| Event | International Conference on Autonomous Agents and Multiagent Systems - Montreal, Canada Duration: 13 May 2019 → 17 May 2019 http://aamas2019.encs.concordia.ca/ |
Conference
| Conference | International Conference on Autonomous Agents and Multiagent Systems |
|---|---|
| Abbreviated title | AAMAS 2019 |
| Country | Canada |
| City | Montreal |
| Period | 13/05/19 → 17/05/19 |
| Internet address |
Fingerprint
Keywords
- Logics for resource-bounded agents
- Probabilistic reasoning
Cite this
Probabilistic resource-bounded alternating-time temporal logic. / Nguyen, Hoang Nga; Rakib, Abdur.
International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 2019. p. 2141-2143.Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding
}
TY - GEN
T1 - Probabilistic resource-bounded alternating-time temporal logic
AU - Nguyen, Hoang Nga
AU - Rakib, Abdur
PY - 2019/5
Y1 - 2019/5
N2 - This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic,probabilistic resource-bounded ATL.
AB - This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic,probabilistic resource-bounded ATL.
KW - Logics for resource-bounded agents
KW - Probabilistic reasoning
M3 - Conference proceeding
SP - 2141
EP - 2143
BT - International Conference on Autonomous Agents and Multiagent Systems
PB - IFAAMAS
ER -