A Team Based Variant of CTL.

Andreas Krebs; Arne Meier; Jonni Virtema

doi:10.1109/TIME.2015.11

Details

Original language	English
Title of host publication	22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015
Pages	140-149
Publication status	Published - 2015

Cite this

A Team Based Variant of CTL. / Krebs, Andreas; Meier, Arne; Virtema, Jonni.
22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. p. 140-149.

Research output: Chapter in book/report/conference proceeding › Conference contribution › Research › peer review

Krebs, A, Meier, A & Virtema, J 2015, A Team Based Variant of CTL. in 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. pp. 140-149. https://doi.org/10.1109/TIME.2015.11

Krebs, A., Meier, A., & Virtema, J. (2015). A Team Based Variant of CTL. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015 (pp. 140-149) https://doi.org/10.1109/TIME.2015.11

Krebs A, Meier A, Virtema J. A Team Based Variant of CTL. In 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. p. 140-149 doi: 10.1109/TIME.2015.11

Krebs, Andreas ; Meier, Arne ; Virtema, Jonni. / A Team Based Variant of CTL. 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015. 2015. pp. 140-149

Download

@inproceedings{18fb4b6ad40e4d588c26dbf3e11569cc,

title = "A Team Based Variant of CTL.",

author = "Andreas Krebs and Arne Meier and Jonni Virtema",

note = "DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.",

year = "2015",

doi = "10.1109/TIME.2015.11",

language = "English",

pages = "140--149",

booktitle = "22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015",

}

Download

TY - GEN

T1 - A Team Based Variant of CTL.

AU - Krebs, Andreas

AU - Meier, Arne

AU - Virtema, Jonni

N1 - DBLP's bibliographic metadata records provided through http://dblp.org/search/publ/api are distributed under a Creative Commons CC0 1.0 Universal Public Domain Dedication. Although the bibliographic metadata records are provided consistent with CC0 1.0 Dedication, the content described by the metadata records is not. Content may be subject to copyright, rights of privacy, rights of publicity and other restrictions.

PY - 2015

Y1 - 2015

U2 - 10.1109/TIME.2015.11

DO - 10.1109/TIME.2015.11

M3 - Conference contribution

SP - 140

EP - 149

BT - 22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015

ER -

Research@Leibniz University

A Team Based Variant of CTL.

Authors

Research Organisations

Details

Cite this

By the same author(s)

Counting Complexity for Reasoning in Abstract Argumentation

Strong Backdoors for Default Logic

Parameterized complexity of weighted team definability

Submodel Enumeration for CTL Is Hard

Quantitative Claim-Centric Reasoning in Logic-Based Argumentation