Taming the complexity of linear time BDI logics

N Bulling; KV Hindriks

Taming the complexity of linear time BDI logics

Interactive Intelligence

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

1 Citation (Scopus)

Original language	English
Title of host publication	Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1
Editors	K Tumer, P Yolum
Place of Publication	Richland, SC, USA
Publisher	IFAAMAS
Pages	275-282
Number of pages	8
ISBN (Print)	978-0-9826571-5-7
Publication status	Published - 2011
Event	AAMAS 2011: 10th International Conference on Autonomous Agents and Multi-Agent Systems - Taipei, Taiwan Duration: 2 May 2011 → 6 May 2011 Conference number: 10

Publication series

Name
Publisher	IFAAMAS

Conference

Conference	AAMAS 2011
Country/Territory	Taiwan
City	Taipei
Period	2/05/11 → 6/05/11

Keywords

Conf.proc. > 3 pag

Cite this

@inproceedings{0e6a1d1b43b74306a359a839709cd73b,

title = "Taming the complexity of linear time BDI logics",

keywords = "Conf.proc. > 3 pag",

author = "N Bulling and KV Hindriks",

year = "2011",

language = "English",

isbn = "978-0-9826571-5-7",

publisher = "IFAAMAS",

pages = "275--282",

editor = "K Tumer and P Yolum",

booktitle = "Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1",

note = "AAMAS 2011 : 10th International Conference on Autonomous Agents and Multi-Agent Systems ; Conference date: 02-05-2011 Through 06-05-2011",

}

Taming the complexity of linear time BDI logics. / Bulling, N; Hindriks, KV.
Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1. ed. / K Tumer; P Yolum. Richland, SC, USA: IFAAMAS, 2011. p. 275-282.

Research output: Chapter in Book/Conference proceedings/Edited volume › Conference contribution › Scientific › peer-review

TY - GEN

T1 - Taming the complexity of linear time BDI logics

AU - Bulling, N

AU - Hindriks, KV

N1 - Conference code: 10

PY - 2011

Y1 - 2011

KW - Conf.proc. > 3 pag

UR - http://dl.acm.org/citation.cfm?id=2030510

M3 - Conference contribution

SN - 978-0-9826571-5-7

SP - 275

EP - 282

BT - Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

A2 - Tumer, K

A2 - Yolum, P

PB - IFAAMAS

CY - Richland, SC, USA

T2 - AAMAS 2011

Y2 - 2 May 2011 through 6 May 2011

ER -

Taming the complexity of linear time BDI logics

Publication series

Conference

Keywords

Other files and links

Cite this