2009 |
31 | EE | Yosr Jarraya,
Mourad Debbabi,
Jamal Bentahar:
On the Meaning of SysML Activity Diagrams.
ECBS 2009: 95-105 |
30 | EE | Jamal Bentahar,
John-Jules Ch. Meyer,
Wei Wan:
Model checking communicative agent-based systems.
Knowl.-Based Syst. 22(3): 142-159 (2009) |
2008 |
29 | EE | Babak Khosravifar,
Jamal Bentahar:
An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot.
AINA 2008: 997-1004 |
28 | EE | Said Elnaffar,
Zakaria Maamar,
Hamdi Yahyaoui,
Jamal Bentahar,
Philippe Thiran:
Reputation of Communities of Web Services - Preliminary Investigation.
AINA Workshops 2008: 1603-1608 |
27 | EE | Jamal Bentahar,
Mohamed Mbarki,
John-Jules Ch. Meyer,
Bernard Moulin:
Strategic Agent Communication: An Argumentation-Driven Approach.
DALT 2008: 233-250 |
26 | EE | Mohamed Mbarki,
Jamal Bentahar,
Bernard Moulin:
A Formal Framework of Conversational Goals Based on Strategic Reasoning.
IEA/AIE 2008: 835-844 |
25 | EE | Khaled Ghoneim,
Jamal Bentahar:
An Adaptive Configuration for Agent-Based Supply Network.
ITNG 2008: 1268-1271 |
24 | EE | Jamal Bentahar,
Babak Khosravifar:
Using Trustworthy and Referee Agents to Secure Multi-Agent Systems.
ITNG 2008: 477-482 |
23 | EE | Babak Khosravifar,
Jamal Bentahar,
Maziar Gomrokchi,
Rafy Alam:
An approach to comprehensive trust management in multi-agent systems with credibility.
RCIS 2008: 53-64 |
22 | | Jamal Bentahar,
Nanjagud Narenda,
Zakaria Maamar,
Rafiul Alam,
Philippe Thiran:
Designing and Implementing B2B Applications Using Argumentative Agents.
SoMeT 2008: 165-189 |
21 | EE | Sina Honari,
Maziar Gomrokchi,
Mojtaba Ebadi,
Amin Fos-hati,
Jamal Bentahar:
Simulating new markets by introducing new accepting policies for the conventional continuous double auction.
SpringSim 2008: 89-97 |
20 | EE | Francesca Toni,
Jamal Bentahar:
Computational logic-based agents.
Autonomous Agents and Multi-Agent Systems 16(3): 211-213 (2008) |
19 | EE | Jamal Bentahar,
Zakaria Maamar,
Wei Wan,
Djamal Benslimane,
Philippe Thiran,
Sattanathan Subramanian:
Agent-based communities of web services: an argumentation-driven approach.
Service Oriented Computing and Applications 2(4): 219-238 (2008) |
2007 |
18 | EE | Jamal Bentahar,
Zakaria Maamar,
Djamal Benslimane,
Philippe Thiran:
Using Argumentative Agents to Manage Communities of Web Services.
AINA Workshops (2) 2007: 588-593 |
17 | EE | Jamal Bentahar,
John-Jules Ch. Meyer,
Bernard Moulin:
Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.
ITNG 2007: 507-515 |
16 | | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents.
RCIS 2007: 39-50 |
15 | | Jamal Bentahar,
John-Jules Ch. Meyer:
Model Checking Communicative Agent-Based Systems.
SoMeT 2007: 239-265 |
14 | EE | Jamal Bentahar,
Zakaria Maamar,
Djamal Benslimane,
Philippe Thiran:
An Argumentation Framework for Communities of Web Services.
IEEE Intelligent Systems 22(6): 75-83 (2007) |
13 | EE | Jamal Bentahar,
John-Jules Ch. Meyer:
A New Quantitative Trust Model for Negotiating Agents using Argumentation.
IJCSA 4(2): 1-21 (2007) |
12 | EE | Jamal Bentahar,
Francesca Toni,
John-Jules Ch. Meyer,
Jihad Labban:
A security framework for agent-based systems.
IJWIS 3(4): 341-362 (2007) |
2006 |
11 | EE | Mohamed Mbarki,
Jamal Bentahar,
Bernard Moulin:
Specification and Complexity of Strategic-Based Reasoning Using Argumentation.
ArgMAS 2006: 142-160 |
10 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A New Model Checking Approach for Verifying Agent Communication Protocols.
CCECE 2006: 1586-1590 |
9 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Yves Lespérance:
A New Logical Semantics for Agent Communication.
CLIMA VII 2006: 151-170 |
8 | EE | Jamal Bentahar,
Karim Bouzouba,
Bernard Moulin:
A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence.
IAT Workshops 2006: 372-377 |
2005 |
7 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer:
A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.
DALT 2005: 223-244 |
2004 |
6 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Logical Model for Commitment and Argument Network for Agent Communication.
AAMAS 2004: 792-799 |
5 | EE | Karim Bouzouba,
Jamal Bentahar,
Bernard Moulin:
Dialogization and Implicit Information in an Agent Communicational Model.
AC 2004: 193-208 |
4 | EE | Jamal Bentahar,
Bernard Moulin,
Brahim Chaib-draa:
Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments.
ArgMAS 2004: 130-148 |
3 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.
ArgMAS 2004: 44-63 |
2 | EE | Jamal Bentahar,
Bernard Moulin,
John-Jules Ch. Meyer,
Brahim Chaib-draa:
A Computational Model for Conversation Policies for Agent Communication.
CLIMA V 2004: 178-195 |
2003 |
1 | EE | Jamal Bentahar,
Bernard Moulin,
Brahim Chaib-draa:
Commitment and Argument Network: A New Formalism for Agent Communication.
Workshop on Agent Communication Languages 2003: 146-165 |