A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

J.M. Broersen

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

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

Original language	Undefined/Unknown
Title of host publication	Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers
Editors	M. Baldoni, T. Cao Son, M.B. van Riemsdijk, M. Winikoff
Pages	47-59
Number of pages	13
Publication status	Published - 2009

Cite this

@inproceedings{94ace4827b0a438daba2aff480e73170,

title = "A Complete STIT Logic for Knowledge and Action, and Some of Its Applications",

author = "J.M. Broersen",

note = "BroersenDALT2008",

year = "2009",

language = "Undefined/Unknown",

pages = "47--59",

editor = "M. Baldoni and {Cao Son}, T. and {van Riemsdijk}, M.B. and M. Winikoff",

booktitle = "Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers",

}

A Complete STIT Logic for Knowledge and Action, and Some of Its Applications. / Broersen, J.M.
Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers. ed. / M. Baldoni; T. Cao Son; M.B. van Riemsdijk; M. Winikoff. 2009. p. 47-59.

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

TY - GEN

T1 - A Complete STIT Logic for Knowledge and Action, and Some of Its Applications

AU - Broersen, J.M.

N1 - BroersenDALT2008

PY - 2009

Y1 - 2009

M3 - Conference contribution

SP - 47

EP - 59

BT - Declarative Agent Languages and Technologies VI, 6th International Workshop, DALT 2008, Estoril, Portugal, May 12, 2008, Revised Selected and Invited Papers

A2 - Baldoni, M.

A2 - Cao Son, T.

A2 - van Riemsdijk, M.B.

A2 - Winikoff, M.

ER -