A logic for normative multi-agent programs

Author： Dastani Mehdi   Meyer John-Jules Ch.   Grossi Davide  

Publisher： Oxford University Press

ISSN： 1465-363X

Source： Journal of Logic and Computation, Vol.23, Iss.2, 2013-04, pp. : 335-354

Disclaimer: Any content in publications that violate the sovereignty, the constitution or regulations of the PRC is not accepted or approved by CNPIEC.

Previous Menu Next

Abstract

Related content

Verifying Multi-agent Programs by Model Checking

By Bordini Rafael  

Autonomous Agents and Multi-Agent Systems, Vol. 12, Iss. 2, 2006-03 ,pp. : 239-256

Springer Publishing Company

Access to resources Recommend Favorite

THOMAS: An agent platform for supporting normative multi-agent systems

By Criado Natalia   Argente Estefania   Botti Vicente  

Journal of Logic and Computation, Vol. 23, Iss. 2, 2013-04 ,pp. : 309-333

Oxford University Press

Access to resources Recommend Favorite

Dynamic assignment of roles, rights and responsibilities in normative multi-agent systems

By Derakhshan Farnaz   Bench-Capon Trevor   McBurney Peter  

Journal of Logic and Computation, Vol. 23, Iss. 2, 2013-04 ,pp. : 355-372

Oxford University Press

Access to resources Recommend Favorite

Reconstruction of non-logical axioms from the propositions of multi-agent doxastic logic

By Adamatzky Andrew I  

Kybernetes: The International Journal of Systems & Cybernetics, Vol. 27, Iss. 8, 1998-08 ,pp. : 952-958

Emerald Group Publishing Ltd

Access to resources Recommend Favorite

A hybrid approach with fuzzy logic in a multi-agent system for controlling autonomous mobile robots in known environments

By Solano-Aragon Cinthya  

International Journal of Intelligent Engineering Informatics, Vol. 1, Iss. 1, 2010-06 ,pp. : 21-37

Inderscience Publishers

Access to resources Recommend Favorite