A Team Based Variant of CTL.

Andreas Krebs; Arne Meier; Jonni Virtema

doi:10.1109/TIME.2015.11

Details

Originalsprache	Englisch
Titel des Sammelwerks	22nd International Symposium on Temporal Representation and Reasoning, TIME 2015, Kassel, Germany, September 23-25, 2015
Seiten	140-149
Publikationsstatus	Veröffentlicht - 2015

Zitieren

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. S. 140-149.

Publikation: Beitrag in Buch/Bericht/Sammelwerk/Konferenzband › Aufsatz in Konferenzband › Forschung › 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. S. 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 (S. 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. S. 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. S. 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.

Autoren

Organisationseinheiten

Details

Zitieren

Von denselben Autoren

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