Axioms for obligation and robustness with temporal logic

Research output: Chapter in Book/Conference paper › Conference paper

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Place of Publication	USA
Publisher	Springer
Pages	66 - 83
Volume	6181
ISBN (Print)	0302743
Publication status	Published - 2010
Event	Axioms for obligation and robustness with temporal logic - Fiesole, Italy Duration: 1 Jan 2010 → …

Conference	Axioms for obligation and robustness with temporal logic
Period	1/01/10 → …

Cite this

@inproceedings{801032298ac04d0e9e28919892daad51,

title = "Axioms for obligation and robustness with temporal logic",

author = "Tim French and John Mccabe-Dansted and Mark Reynolds",

year = "2010",

language = "English",

isbn = "0302743",

volume = "6181",

pages = "66 -- 83",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer",

address = "Netherlands",

note = "Axioms for obligation and robustness with temporal logic ; Conference date: 01-01-2010",

}

TY - GEN

T1 - Axioms for obligation and robustness with temporal logic

AU - French, Tim

AU - Mccabe-Dansted, John

AU - Reynolds, Mark

PY - 2010

Y1 - 2010

M3 - Conference paper

SN - 0302743

VL - 6181

SP - 66

EP - 83

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer

CY - USA

T2 - Axioms for obligation and robustness with temporal logic

Y2 - 1 January 2010

ER -