Hoang Nga Nguyen
Probabilistic resource-bounded alternating-time temporal logic
Nguyen, Hoang Nga; Rakib, Abdur
Abstract
This paper extends resource-bounded ATL (RB-ATL)
with probabilistic reasoning and provides the syntax and semantics of the resulting logic, probabilistic resource-bounded ATL (pRB-ATL).
Citation
Nguyen, H. N., & Rakib, A. (2019, May). Probabilistic resource-bounded alternating-time temporal logic. Poster presented at International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada
Presentation Conference Type | Poster |
---|---|
Conference Name | International Conference on Autonomous Agents and Multiagent Systems |
Conference Location | Montreal, Canada |
Start Date | May 13, 2019 |
End Date | May 17, 2019 |
Acceptance Date | Jan 23, 2019 |
Deposit Date | Mar 14, 2019 |
Peer Reviewed | Peer Reviewed |
Keywords | logics for resource-bounded agents, probabilistic reasoning |
Public URL | https://uwe-repository.worktribe.com/output/853456 |
Publisher URL | http://www.ifaamas.org/ |
Additional Information | Title of Conference or Conference Proceedings : Proceedings of the 18th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2019) |
You might also like
A resource-aware preference model for context-aware systems
(2018)
Journal Article
A framework for implementing formally verified resource-bounded smart space systems
(2017)
Journal Article
Modelling and reasoning about context-aware agents over heterogeneous knowledge sources
(2017)
Journal Article