Computational models for normative multi-agent systems
From MaRDI portal
Recommendations
Cites work
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts
- A computational theory of normative positions
- Answer Set Programming for Representing and Reasoning About Virtual Institutions
- Automatic Conflict Detection on Contracts
- Changing Legal Systems: Abrogation and Annulment Part I: Revision of Defeasible Theories
- Contrary-to-duty obligations
- Defeasible deontic logic
- scientific article; zbMATH DE number 1629884 (Why is no real title available?)
- scientific article; zbMATH DE number 1670571 (Why is no real title available?)
- scientific article; zbMATH DE number 928022 (Why is no real title available?)
- Knowledge Representation, Reasoning and Declarative Problem Solving
- Mathematical modal logic: A view of its evolution
- Normative design using inductive learning
- Normative Multi-agent Programs and Their Logics
- NuSMV: A new symbolic model checker
- On the formal representation of rights relations. Remarks on the work of Stig Kanger and Lars Lindahl
- Programming Multi-Agent Systems in AgentSpeak usingJason
- Programming norm change
- Representation and monitoring of commitments and norms using OWL
- Semantic agent systems. Foundations and applications.
- Specifying norm-governed computational societies
- Substantive and procedural norms in normative multiagent systems
Cited in
(17)- Formal frameworks for verifying normative multi-agent systems
- Normative KGP agents
- Interaction in normative multi-agent systems
- Emotion Models for Situated Normative Systems?
- Multi-agent Systems in Computational Logic: Challenges and Outcomes of the SOCS Project
- Normative Multi-agent Programs and Their Logics
- A logic for normative multi-agent programs
- Normative reasoning and consequence
- Regulated MAS: social perspective
- The uses of norms
- Normative multiagent systems: foundations and history
- Modeling normative conflicts in multiagent systems
- Norm-aware and norm-oriented programming
- Multiagent deontic logic and its challenges from a normative systems perspective
- Handling norms in multiagent systems by means of formal argumentation
- Handbook of normative multiagent systems
- Modeling norm specification and verification in multiagent systems
Describes a project that uses
Uses Software
This page was built for publication: Computational models for normative multi-agent systems
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4993611)
