Sage Journals: Discover world-class research

Retricted access

Research article

First published 2020-2

Petri net and rewriting logic based formal analysis of multi-agent based safety-critical systems

Ammar Boucherit, Laura M. Castro, Abdallah Khababa [...]

Multiagent and Grid Systems

Retricted access

Research article

First published 2008-11

Tools for analyzing intelligent agent systems

Tibor Bosse, Dung N. Lam, K. Suzanne Barber

Web Intelligence

Retricted access

Research article

First published 2022-9-20

Dependable learning-enabled multiagent systems

Xiaowei Huang, Bei Peng, Xingyu Zhao

The European Journal on Artificial Intelligence

Retricted access

Research article

First published 2010-01

Identifying Multi-Level Emergent Behaviors in Agent-Directed Simulations using Complex Event Type Specifications

Chih-Chun Chen, Christopher D. Clack, Sylvia B. Nagl

SIMULATION

Retricted access

Research article

First published 2004-5

Towards an abstract recursive agent

Adriana Giret, Vicente Botti

Integrated Computer-Aided Engineering

Retricted access

Research article

First published 2019-8

Context-aware multi-agent planning in intelligent environments

Houda Haiouni, Ramdane Maamri

Multiagent and Grid Systems

Retricted access

Research article

First published 2018-11

Automatic generating algorithm of rewriting logic specification for multi-agent system models based on Petri nets

Ammar Boucherit, Abdallah Khababa, Laura M. Castro

Multiagent and Grid Systems

Free access

Research article

First published 2017-8

From Process Models to Concurrent Systems in Alvis Language

Marcin Szpyrka, Grzegorz J. Nalepa, Krzysztof Kluza

Informatica: An International Journal of Computing and Informatics

Retricted access

Research article

First published 2016

Stochastic Petri net-based modeling and formal analysis of fault tolerant Contract Net Protocol

Djamila Boukredera, Ramdane Maamri, Samir Aknine

Web Intelligence

Retricted access

Research article

First published 2004-08

Agent architecture for smart adaptive systems

Lenka Lhotska, Olga Stepankova

Transactions of the Institute of Measurement and Control

Search results