Items where Author is "Bentahar, Jamal"
Bakalis, Georgios, Valipour, Maryam, Bentahar, Jamal, Kadem, Lyes, Teng, Honghui and Ng, Hoi Dick ORCID: https://orcid.org/0000-0002-8459-5990 (2023) Detonation Cell Size Prediction based on Artificial Neural Networks with Chemical Kinetics and Thermodynamic Parameters. Fuel Communications, 14 (100084).
Drawel, Nagat, Qu, Hongyang, Bentahar, Jamal and Shakshuki, Elhadi (2018) Specification and automatic verification of trust-based multi-agent systems. Future Generation Computer Systems . ISSN 0167739X (In Press)
Menshawy, Mohamed El, Bentahar, Jamal, Kholy, Warda El and Laarej, Amine (2018) Model Checking Real-Time Conditional Commitment Logic using Transformation. Journal of Systems and Software . ISSN 01641212 (In Press)
El Menshawy, Mohamed, Bentahar, Jamal, El Kholy, Warda and Dssouli, Rachida (2013) Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*. Autonomous Agents and Multi-Agent Systems, 27 (3). pp. 375-418. ISSN 1387-2532
Bentahar, Jamal and Labban, Jihad (2011) An Argumentation-Driven Model for Flexible and Efficient Persuasive Negotiation. Group Decision and Negotiation, 20 (4). pp. 411-435. ISSN 0926-2644