Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

Standard

Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. / Goranko, Valentin; Shkatov, Dmitry.

Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

Harvard

Goranko, V & Shkatov, D 2009, 'Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time'. in M Baldoni (ed.), Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. RWTH Aachen University, pp. 25. CEUR Workshop Proceedings, no. vol. 494

APA

Goranko, V., & Shkatov, D. (2009). Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. In M. Baldoni (Ed.), Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. (pp. 25). RWTH Aachen University. (CEUR Workshop Proceedings; No. vol. 494).

CBE

Goranko V, Shkatov D. 2009. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. Baldoni M, editor. In Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. RWTH Aachen University. pp. 25. (CEUR Workshop Proceedings; No. vol. 494).

MLA

Goranko, Valentin and Dmitry Shkatov "Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time". Baldoni, Matteo (editors). Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. RWTH Aachen University. 2009. 25. (CEUR Workshop Proceedings; Journal number vol. 494).

Vancouver

Goranko V, Shkatov D. Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time. In Baldoni M, editor, Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. RWTH Aachen University. 2009. p. 25. (CEUR Workshop Proceedings; No. vol. 494).

Author

Goranko, Valentin; Shkatov, Dmitry / Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time.

Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations. ed. / Matteo Baldoni. RWTH Aachen University, 2009. p. 25 (CEUR Workshop Proceedings; No. vol. 494).

Publication: Research - peer-reviewArticle in proceedings – Annual report year: 2009

Bibtex

@inbook{a6460646b96544b88fa2c16e4de06199,
title = "Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time",
publisher = "RWTH Aachen University",
author = "Valentin Goranko and Dmitry Shkatov",
year = "2009",
editor = "Matteo Baldoni",
series = "CEUR Workshop Proceedings",
pages = "25",
booktitle = "Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations",

}

RIS

TY - GEN

T1 - Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of branching time

A1 - Goranko,Valentin

A1 - Shkatov,Dmitry

AU - Goranko,Valentin

AU - Shkatov,Dmitry

PB - RWTH Aachen University

PY - 2009

Y1 - 2009

UR - http://ftp.informatik.rwth-aachen.de/Publications/CEUR-WS/Vol-494/

BT - Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations

T2 - Proceedings of the 2nd Federated Workshops on Multi-Agent Logics, Languages, and Organisations

A2 - Baldoni,Matteo

ED - Baldoni,Matteo

T3 - CEUR Workshop Proceedings

T3 - en_GB

SP - 25

ER -