Reasoning About Exceptions to Contracts. / Kafali, Ozgur; Toni, Francesca; Torroni, Paolo.

Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814 2011. p. 225-242 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Published

Standard

Reasoning About Exceptions to Contracts. / Kafali, Ozgur; Toni, Francesca; Torroni, Paolo.

Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814 2011. p. 225-242 (LNCS).

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Harvard

Kafali, O, Toni, F & Torroni, P 2011, Reasoning About Exceptions to Contracts. in Computational Logic in Multi-Agent Systems (CLIMA XII). vol. 6814, LNCS, pp. 225-242. https://doi.org/10.1007/978-3-642-22359-4_16

APA

Kafali, O., Toni, F., & Torroni, P. (2011). Reasoning About Exceptions to Contracts. In Computational Logic in Multi-Agent Systems (CLIMA XII) (Vol. 6814, pp. 225-242). (LNCS). https://doi.org/10.1007/978-3-642-22359-4_16

Vancouver

Kafali O, Toni F, Torroni P. Reasoning About Exceptions to Contracts. In Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814. 2011. p. 225-242. (LNCS). https://doi.org/10.1007/978-3-642-22359-4_16

Author

Kafali, Ozgur ; Toni, Francesca ; Torroni, Paolo. / Reasoning About Exceptions to Contracts. Computational Logic in Multi-Agent Systems (CLIMA XII). Vol. 6814 2011. pp. 225-242 (LNCS).

BibTeX

@inproceedings{bcb97875829848ee82e9954f2d01eaa0,
title = "Reasoning About Exceptions to Contracts",
author = "Ozgur Kafali and Francesca Toni and Paolo Torroni",
year = "2011",
doi = "10.1007/978-3-642-22359-4_16",
language = "English",
volume = "6814",
series = "LNCS",
pages = "225--242",
booktitle = "Computational Logic in Multi-Agent Systems (CLIMA XII)",

}

RIS

TY - GEN

T1 - Reasoning About Exceptions to Contracts

AU - Kafali, Ozgur

AU - Toni, Francesca

AU - Torroni, Paolo

PY - 2011

Y1 - 2011

U2 - 10.1007/978-3-642-22359-4_16

DO - 10.1007/978-3-642-22359-4_16

M3 - Conference contribution

VL - 6814

T3 - LNCS

SP - 225

EP - 242

BT - Computational Logic in Multi-Agent Systems (CLIMA XII)

ER -