Representations of Time within Normative MAS

Authors:
Clara Smith;Antonino Rotolo;Giovanni Sartor
Affiliations:
Informá/tica, Cs. Jurí/dicas y Sociales UNLP/ and FACET UCALP, Argentina;CIRSFID, University of Bologna, Italy;EUI, Firenze, and CIRSFID, University of Bologna, Italy
Venue:
Proceedings of the 2010 conference on Legal Knowledge and Information Systems: JURIX 2010: The Twenty-Third Annual Conference
Year:
2010

Citing 10
Cited 1

A logic-based calculus of events

New Generation Computing
Temporal reasoning over deontic specifications

Deontic logic in computer science
Deontic logic: a concise overview

Deontic logic in computer science
Social trust: a cognitive approach

Trust and deception in virtual societies
Modal logic

Modal logic
Animated specifications of computational societies

Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 3
Model Checking for Combined Logics with an Application to Mobile Systems

Automated Software Engineering
Time and Defeasibility in FIPA ACL Semantics

WI-IAT '08 Proceedings of the 2008 IEEE/WIC/ACM International Conference on Web Intelligence and Intelligent Agent Technology - Volume 03
Terminating Tableau Calculi for Hybrid Logics Extending K

Electronic Notes in Theoretical Computer Science (ENTCS)
Characterising deadlines in temporal modal defeasible logic

AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence

Combinations of normal and non-normal modal logics for modeling collective trust in normative MAS

AICOL'11 Proceedings of the 25th IVR Congress conference on AI Approaches to the Complexity of Legal Systems: models and ethical challenges for legal systems, legal language and legal ontologies, argumentation and software agents

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.