Tableaux-based Proof Techniques for Verifying Multi-Agent Systems

Ji Ma; Mehmet A. Orgun

Tableaux-based Proof Techniques for Verifying Multi-Agent Systems

School of Computing

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

Original language	English
Title of host publication	DHMS 2008 - Distributed Human-Machine Systems 2008
Editors	Vladimir Maak, Jeffrey M. Bradshaw, Joachim Meyer, William A. Gruver, Petr Benda
Place of Publication	Prague
Publisher	Czech Technical University
Pages	146-151
Number of pages	6
ISBN (Print)	9788001040270
Publication status	Published - 2008
Event	Distributed Human-Machine Systems, Conference - Athens, Greece Duration: 9 Mar 2008 → 12 Mar 2008

Conference

Conference	Distributed Human-Machine Systems, Conference
City	Athens, Greece
Period	9/03/08 → 12/03/08

Keywords

agents
multi-agent systems
temporal belief logic
agent beliefs
verification
tableaux

Cite this

@inproceedings{8b20f3e213c741f49d394788a3d86dae,

title = "Tableaux-based Proof Techniques for Verifying Multi-Agent Systems",

keywords = "agents, multi-agent systems, temporal belief logic, agent beliefs, verification, tableaux",

author = "Ji Ma and Orgun, {Mehmet A.}",

year = "2008",

language = "English",

isbn = "9788001040270",

pages = "146--151",

editor = "Vladimir Maak and Bradshaw, {Jeffrey M.} and Joachim Meyer and Gruver, {William A.} and Petr Benda",

booktitle = "DHMS 2008 - Distributed Human-Machine Systems 2008",

publisher = "Czech Technical University",

address = "Czech Republic",

note = "Distributed Human-Machine Systems, Conference ; Conference date: 09-03-2008 Through 12-03-2008",

}

Tableaux-based Proof Techniques for Verifying Multi-Agent Systems. / Ma, Ji; Orgun, Mehmet A.
DHMS 2008 - Distributed Human-Machine Systems 2008. ed. / Vladimir Maak; Jeffrey M. Bradshaw; Joachim Meyer; William A. Gruver; Petr Benda. Prague: Czech Technical University, 2008. p. 146-151.

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

TY - GEN

T1 - Tableaux-based Proof Techniques for Verifying Multi-Agent Systems

AU - Ma, Ji

AU - Orgun, Mehmet A.

PY - 2008

Y1 - 2008

KW - agents

KW - multi-agent systems

KW - temporal belief logic

KW - agent beliefs

KW - verification

KW - tableaux

M3 - Conference proceeding contribution

SN - 9788001040270

SP - 146

EP - 151

BT - DHMS 2008 - Distributed Human-Machine Systems 2008

A2 - Maak, Vladimir

A2 - Bradshaw, Jeffrey M.

A2 - Meyer, Joachim

A2 - Gruver, William A.

A2 - Benda, Petr

PB - Czech Technical University

CY - Prague

T2 - Distributed Human-Machine Systems, Conference

Y2 - 9 March 2008 through 12 March 2008

ER -