Sage Journals: Discover world-class research

Retricted access

Research article

First published 2008-5

Automated formal analysis of human multi-issue negotiation processes

Tibor Bosse, Catholijn M. Jonker, Lourens van der Meij [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2003-5

TRANSACTION-ORIENTED ENGINEERING DESIGN AND FORMAL SPECIFICATION: A MULTI-AGENT APPROACH

Muhammad Younas, Kuo-Ming Chao, Rachid Anane [...]

Journal of Integrated Design and Process Science

Retricted access

Research article

First published 2017-11

A formal framework for organization- centered multi-agent system specification: A rewriting logic based approach

Mohamed Amin Laouadi, Farid Mokhati, Hassina Seridi-Bouchelaghem

Multiagent and Grid Systems

Retricted access

Research article

First published 2007-07

A Formal Description Specification for Multi-Resolution Modeling Based on DEVS Formalism and its Applications

Liu Baohong

The Journal of Defense Modeling and Simulation: Applications,Methodology,Technology

Retricted access

Research article

First published

An outline of the use of transition systems to formalize JADE agents and multi-agent systems

Federico Bergenti, Eleonora Iotti, Agostino Poggi

Intelligenza Artificiale

Retricted access

Research article

First published 2004-12

A Formal Model for Situated Multi-Agent Systems

Danny Weyns, Tom Holvoet

Fundamenta Informaticae

Retricted access

Other

First published 2004-09

A Formal Analysis and Taxonomy of Task Allocation in Multi-Robot Systems

Brian P. Gerkey, Maja J. Matarić

The International Journal of Robotics Research

Retricted access

Research article

First published 2020-10-07

The construction of multi-granularity concept lattices

Qian Hu, Ke-Yun Qin

Journal of Intelligent & Fuzzy Systems: Applications in Engineering and Technology

Retricted access

Research article

First published 2020-9-28

A formal and automated approach to exploiting multi-stage attacks of web applications

Federico De Meo, Luca Viganò

Journal of Computer Security

Retricted access

Research article

First published 2000-8

Nested Petri Nets — a Formalism for Specification and Verification of Multi-Agent Distributed Systems

Irina A. Lomazova

Fundamenta Informaticae

Search results