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
Presentation Conference Type | Poster |
---|---|
Conference Name | International Conference on Autonomous Agents and Multiagent Systems |
Start Date | May 13, 2019 |
End Date | May 17, 2019 |
Acceptance Date | Jan 23, 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 probabilistic logic for resource-bounded multi-agent systems
(2019)
Presentation / Conference
Model checking ontology-driven reasoning agents using strategy and abstraction
(2019)
Journal Article
Smart space system interoperability
(2019)
Conference Proceeding
An Efficient Rule-Based Distributed Reasoning Framework for Resource-bounded Systems
(2018)
Journal Article
A resource-aware preference model for context-aware systems
(2018)
Journal Article