Jamal Bentahar

Available identifiers

zbMath Open bentahar.jamalMaRDI QIDQ2999246

List of research outcomes

Publication	Date of Publication	Type
SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication	2017-12-05	Paper
Symbolic Model Checking Commitment Protocols Using Reduction	2011-05-11	Paper
Formal specification of substitutability property for fault-tolerance in reactive autonomic systems	2011-04-11	Paper
Declarative and numerical analysis of edge creation process in trust-based social networks	2010-02-02	Paper
Strategic Agent Communication: An Argumentation-Driven Approach	2009-02-12	Paper
A New Logical Semantics for Agent Communication	2009-01-20	Paper
Computational Logic in Multi-Agent Systems	2005-11-23	Paper
Argumentation in Multi-Agent Systems	2005-09-14	Paper
Argumentation in Multi-Agent Systems	2005-09-14	Paper

Research outcomes over time

This page was built for person: Jamal Bentahar