Model checking normative agent organisations

DOI10.1007/978-3-642-16867-3_4MaRDI QIDQ3055672zbMATH OpenOpenAlexFDO

Authors Louise A. Dennis, Nick Tinnemeier, John-Jules Meyer

Publication date 9 November 2010

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-16867-3_4

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Agent technology and artificial intelligence (68T42)

Recommendations

• A normative programming language for multi-agent organisations
• Formal frameworks for verifying normative multi-agent systems
• Deontic Logic in Computer Science
• A logic for normative multi-agent programs
• mcmas: A Model Checker for Multi-agent Systems

Cited in

(5)

• scientific article; zbMATH DE number 1952774 (Why is no real title available?)
• \textsc{NorMC}: a norm compliance temporal logic model checker
• A Framework for Model Checking Institutions
• scientific article; zbMATH DE number 2222698 (Why is no real title available?)
• A normative programming language for multi-agent organisations

This page was built for publication: Model checking normative agent organisations

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3055672)