Publication:4993611

DOI10.4230/DFU.Vol4.12111.71zbMath1482.68234MaRDI QIDQ4993611

Mehdi Dastani, M. De Vos, Andreasa Morris-Martin, Brian Logan, Natasha Alechina, F. Schapachnik, Sergio Mera, Nick Bassiliades

Publication date: 15 June 2021

zbMATH Keywords

computational architectures for normative MAS; norm verification; programming normative systems

Mathematics Subject Classification ID

68T27: Logic in artificial intelligence

68T42: Agent technology and artificial intelligence

Uses Software

• SPIN
• DiVinE
• NuSMV
• Jason
• Moise+
• 2APL
• ISLANDER
• Society Visualiser

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantic agent systems. Foundations and applications.
• Substantive and procedural norms in normative multiagent systems
• On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
• Defeasible deontic logic
• Mathematical modal logic: A view of its evolution
• NuSMV: A new symbolic model checker
• Contrary-to-duty obligations
• Representation and monitoring of commitments and norms using OWL
• Normative design using inductive learning
• Automatic Conflict Detection on Contracts
• Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
• $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
• Normative Multi-agent Programs and Their Logics
• Knowledge Representation, Reasoning and Declarative Problem Solving
• Programming norm change
• Specifying norm-governed computational societies
• Answer Set Programming for Representing and Reasoning About Virtual Institutions
• Programming Multi-Agent Systems in AgentSpeak usingJason
• A computational theory of normative positions