Abstract
This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL.
| Original language | English |
|---|---|
| Title of host publication | AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada |
| Place of Publication | United States |
| 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/Territory | Canada |
| City | Montreal |
| Period | 13/05/19 → 17/05/19 |
| Internet address |
Keywords
- Logics for resource-bounded agents
- Probabilistic reasoning