Date: 2010
Type: Contribution to book
Representation of time within normative MAS
Radboud G. F. WINKELS (ed.), Proceedings of JURIX 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Amsterdam, IOS, 2010, Frontiers in Artificial Intelligence and Applications, Volume 223: Legal Knowledge and Information Systems, pp. 107-116
SMITH, Clara, ROTOLO, Antonino, SARTOR, Giovanni, Representation of time within normative MAS, in Radboud G. F. WINKELS (ed.), Proceedings of JURIX 2010: The Twenty-Third Annual Conference on Legal Knowledge and Information Systems, Amsterdam, IOS, 2010, Frontiers in Artificial Intelligence and Applications, Volume 223: Legal Knowledge and Information Systems, pp. 107-116
- https://hdl.handle.net/1814/30404
Retrieved from Cadmus, EUI Research Repository
We address some forms of temporal reasoning within normative MAS, focusing on the combination of temporal logics with multi-modal multi-agent logics. We suggest perspectives on how these combinations can be used for modelling aspects of time within lawful provisions, obligations, and legal principles. The main contributions are the new variant of deontic tense logic using hybrid logic, and the combination of time and obligations.
Cadmus permanent link: https://hdl.handle.net/1814/30404
ISBN: 9781607506812; 9781607506829
Files associated with this item
| Files | Size | Format | View |
|---|---|---|---|
|
There are no files associated with this item. |
|||