scientific article; zbMATH DE number 7359820

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

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

computational architectures for normative MASnorm verificationprogramming normative systems

Mathematics Subject Classification ID

Logic in artificial intelligence (68T27) Agent technology and artificial intelligence (68T42)

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

This page was built for publication: