Probabilistic resource-bounded alternating-time temporal logic

Hoang Nga Nguyen, Abdur Rakib

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

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 languageEnglish
Title of host publicationInternational Conference on Autonomous Agents and Multiagent Systems
PublisherIFAAMAS
Pages2141-2143
Number of pages3
ISBN (Electronic)978-1-4503-6309-9
Publication statusPublished - May 2019
EventInternational Conference on Autonomous Agents and Multiagent Systems - Montreal, Canada
Duration: 13 May 201917 May 2019
http://aamas2019.encs.concordia.ca/

Conference

ConferenceInternational Conference on Autonomous Agents and Multiagent Systems
Abbreviated titleAAMAS 2019
CountryCanada
CityMontreal
Period13/05/1917/05/19
Internet address

Fingerprint

Probabilistic logics
Temporal logic
Semantics

Keywords

  • Logics for resource-bounded agents
  • Probabilistic reasoning

Cite this

Nguyen, H. N., & Rakib, A. (2019). Probabilistic resource-bounded alternating-time temporal logic. In International Conference on Autonomous Agents and Multiagent Systems (pp. 2141-2143). IFAAMAS.

Probabilistic resource-bounded alternating-time temporal logic. / Nguyen, Hoang Nga; Rakib, Abdur.

International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 2019. p. 2141-2143.

Research output: Chapter in Book/Report/Conference proceedingConference proceeding

Nguyen, HN & Rakib, A 2019, Probabilistic resource-bounded alternating-time temporal logic. in International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, pp. 2141-2143, International Conference on Autonomous Agents and Multiagent Systems, Montreal, Canada, 13/05/19.
Nguyen HN, Rakib A. Probabilistic resource-bounded alternating-time temporal logic. In International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS. 2019. p. 2141-2143
Nguyen, Hoang Nga ; Rakib, Abdur. / Probabilistic resource-bounded alternating-time temporal logic. International Conference on Autonomous Agents and Multiagent Systems. IFAAMAS, 2019. pp. 2141-2143
@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 = "5",
language = "English",
pages = "2141--2143",
booktitle = "International Conference on Autonomous Agents and Multiagent Systems",
publisher = "IFAAMAS",

}

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

ER -