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 proceeding › Conference contribution
Original language | English |
---|---|
Title of host publication | Computational Logic in Multi-Agent Systems (CLIMA XII) |
Pages | 225-242 |
Number of pages | 18 |
Volume | 6814 |
DOIs | |
Publication status | Published - 2011 |
Name | LNCS |
---|
ID: 8083979