Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen; Abdur Rakib

Probabilistic resource-bounded alternating-time temporal logic

Research output: Chapter in Book/Report/Conference proceeding › Conference proceeding › peer-review

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	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/Territory	Canada
City	Montreal
Period	13/05/19 → 17/05/19
Internet address	http://aamas2019.encs.concordia.ca/

Keywords

Logics for resource-bounded agents
Probabilistic reasoning

Access to Document

http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p2141.pdf

Cite this

@inproceedings{a35a2b95c9c14dbdaf7e25d2c35bad0a,

title = "Probabilistic resource-bounded alternating-time temporal logic",

abstract = "This paper extends resource-bounded ATL with probabilistic reasoning and provides the syntax and semantics of the resulting logic,probabilistic resource-bounded ATL.",

keywords = "Logics for resource-bounded agents, Probabilistic reasoning",

author = "Nguyen, {Hoang Nga} and Abdur Rakib",

year = "2019",

month = may,

language = "English",

pages = "2141--2143",

booktitle = "International Conference on Autonomous Agents and Multiagent Systems",

publisher = "IFAAMAS",

address = "Unknown",

note = "International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2019 ; Conference date: 13-05-2019 Through 17-05-2019",

url = "http://aamas2019.encs.concordia.ca/",

}

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

T2 - International Conference on Autonomous Agents and Multiagent Systems

Y2 - 13 May 2019 through 17 May 2019

ER -

Probabilistic resource-bounded alternating-time temporal logic

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this