A logic for normative multi-agent programs

By Dastani Mehdi   Meyer John-Jules Ch.   Grossi Davide  

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

Oxford University Press

Access to resources Recommend Favorite

Extended normal form theorems for logical proofs from axioms

By Arai T.   Mints G.  

Theoretical Computer Science, Vol. 232, Iss. 1, 2000-02 ,pp. : 121-132

Elsevier

Access to resources Recommend Favorite

From a Conceptual Framework for Agents and Objects to a Multi‐Agent System Modeling Language

By Da Silva Viviane Torres  

Autonomous Agents and Multi-Agent Systems, Vol. 9, Iss. 1-2, 2004-07 ,pp. : 145-189

Springer Publishing Company

Access to resources Recommend Favorite

Developing multi-agent system product lines: from requirements to code

By Nunes Ingrid  

International Journal of Agent-Oriented Software Engineering, Vol. 4, Iss. 4, 2011-11 ,pp. : 353-389

Inderscience Publishers

Access to resources Recommend Favorite

"Go to the ant": Engineering principles from natural multi-agent systems

By van Dyke Parunak H.  

Annals of Operations Research, Vol. 75, Iss. 1, 1997-01 ,pp. : 69-101

Springer Publishing Company

Access to resources Recommend Favorite