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 -