Artificial Intelligence - Special issue on Robocop: the first step
Representation results for defeasible logic
ACM Transactions on Computational Logic (TOCL)
Fulfilling or Violating Obligations in Normative Multiagent Systems
IAT '04 Proceedings of the IEEE/WIC/ACM International Conference on Intelligent Agent Technology
A Multiagent System for the Reliable Execution of Automatically Composed Ad-hoc Processes
Autonomous Agents and Multi-Agent Systems
Compliance checking between business processes and business contracts
EDOC '06 Proceedings of the 10th IEEE International Enterprise Distributed Object Computing Conference
Embedding defeasible logic into logic programming
Theory and Practice of Logic Programming
Introduction to the special issue on normative multiagent systems
Autonomous Agents and Multi-Agent Systems
Primary and secondary diagnosis of multi-agent plan execution
Autonomous Agents and Multi-Agent Systems
An Algorithm for Business Process Compliance
Proceedings of the 2008 conference on Legal Knowledge and Information Systems: JURIX 2008: The Twenty-First Annual Conference
Characterising deadlines in temporal modal defeasible logic
AI'07 Proceedings of the 20th Australian joint conference on Advances in artificial intelligence
Rules, agents and norms: guidelines for rule-based normative multi-agent systems
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Rule-based agents, compliance, and intention reconsideration in defeasible logic
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Annals of Mathematics and Artificial Intelligence
Acting on norm constrained plans
CLIMA'11 Proceedings of the 12th international conference on Computational logic in multi-agent systems
Norm compliance of rule-based cognitive agents
IJCAI'11 Proceedings of the Twenty-Second international joint conference on Artificial Intelligence - Volume Volume Three
The semantics of norms mining in multi-agent systems
ICCCI'12 Proceedings of the 4th international conference on Computational Collective Intelligence: technologies and applications - Volume Part I
| Hi-index | 0.00 |
The import of the notion of institution in the design of MASs requires to develop formal and efficient methods for modeling the interaction between agents' behaviour and normative systems. This paper discusses how to check whether agents' behaviour complies with the rules regulating them. The key point of our approach is that compliance is a relationship between two sets of specifications: the specifications for executing a process and the specifications regulating it. We propose a formalism for describing both the semantics of normative specifications and the semantics of compliance checking procedures.