Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen; Rakib Abdur

Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen
, Rakib Abdur

University of the West of England

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

3 Citations (Scopus)

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	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

Probabilistic resource-bounded alternating-time temporal logic. / Nguyen, Hoang Nga; Abdur, Rakib.
AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada. United States: IFAAMAS, 2019. p. 2141-2143.

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

Nguyen, HN & Abdur, R 2019, Probabilistic resource-bounded alternating-time temporal logic. in AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada. IFAAMAS, United States, pp. 2141-2143, International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada, 13/05/19. <http://www.ifaamas.org/Proceedings/aamas2019/pdfs/p2141.pdf>

@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 Rakib Abdur",

year = "2019",

month = may,

language = "English",

pages = "2141--2143",

booktitle = "AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada",

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 - Abdur, Rakib

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 - AAMAS'19 : proceedings of the 18th International Conference on Autonomous Agents and MultiAgent Systems : May 13-17, 2019, Montreal, Canada

PB - IFAAMAS

CY - United States

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