From Logic Specification to y-calculus: A Method for Designing Multiagent Systems

Publisher： IGI Global_journal

E-ISSN： 1548-3665|3|3|21-40

ISSN： 1548-3657

Source： International Journal of Intelligent Information Technologies (IJIIT), Vol.3, Iss.3, 2007-07, pp. : 21-40

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

Using Specification and Description Language to Formalize Multiagent Systems

By  

Applied Artificial Intelligence, Vol. 28, Iss. 5, 2014-05 ,pp. : 504-531

Taylor & Francis Ltd

Access to resources Recommend Favorite

Specification of real-time and hybrid systems in rewriting logic

By Olveczky P.C.   Meseguer J.  

Theoretical Computer Science, Vol. 285, Iss. 2, 2002-08 ,pp. : 359-405

Elsevier

Access to resources Recommend Favorite

Multiagent Mission Specification and Execution

By MacKenzie D.C.  

Autonomous Robots, Vol. 4, Iss. 1, 1997-03 ,pp. : 29-52

Springer Publishing Company

Access to resources Recommend Favorite

A method to test concurrent systems using architectural specification

By Reza Hassan   Grant Emanuel  

The Journal of Supercomputing, Vol. 39, Iss. 3, 2007-03 ,pp. : 347-357

Springer Publishing Company

Access to resources Recommend Favorite

Hierarchical Design Method for Multi-Agent Systems

By  

International Journal of Agent Technologies and Systems (IJATS), Vol. 7, Iss. 2, 2015-04 ,pp. : 105-134

IGI Global_journal

Access to resources Recommend Favorite