Publications
Books Edition
Journals
-
Omar Marey, Jamal Bentahar, Rachida Dssouli, and Mohamed Mbarki (2014). "Measuring and Analyzing Agents' Uncertainty
in Argumentation-based Negotiation Dialogue Games". In Expert
Systems with Applications. Volume 41 Number 2, pp. 306-320, Elsevier.
-
Mohamed El-Menshawy
Mohamed, Jamal Bentahar, Warda
El Kholy, and Rachida Dssouli (2013). "Reducing Model Checking
Commitments for Agent Communication to Model Checking ARCTL and GCTL*".
In
Autonomous
Agents and Multi-Agent Systems, Volume 27 Number 3, pp. 375-418,
Springer.
-
Jamal Bentahar, Babak Khosravifar, Mohamed Adel Serhani, and Mahsa Alishahi (2012). "On the Analysis of Reputation for
Agent-based Web Services". In
Expert
Systems with Applications. Volume xx, pp.xx-xx,
Elsevier (Accepted).
-
Mohamed El-Menshawy Mohamed, Jamal Bentahara, Warda El Kholya, and Rachida Dssouli (2012). "Verifying Conformance of Multi-Agent Commitment-based
Protocol". In
Expert
Systems with Applications. Volume xx, pp. xx-xx, Elsevier
(Accepted).
-
Jamal Bentahar,
Mohamed El-Menshawy Mohamed, Hongyang
Qu, and Rachida Dssouli (2012). "Communicative Commitments: Model Checking and Complexity
Analysis". In
Knowledge-Based
Systems, Volume xx, pp. xx-xx, Elsevier. DOI: http://dx.doi.org/10.1016/j.knosys.2012.04.010.
-
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, and Rafiul Alam (2012). "CRM:
An Efficient Trust and Reputation Model for Agent Computing". In
Knowledge-Based
Systems, Volume 30, pp. 1-16, Elsevier. DOI: 10.1016/j.knosys.2011.01.004.
The simulation code is available and can be downloaded from the paper for
further research.
-
Mohamed Amine M'hamdi and Jamal Bentahar (2011)."Scheduling Reputation Maintenance in Agent-based
Communities using Game Theory". In Journal of Software.
(Accepted)
-
Amit K. Chopra, Alexander Artikis, Jamal Bentahar,
Marco Colombetti, Frank Dignum, Nicoletta Fornara, Andrew
J. I. Jones, Munindar P. Singh, and Pinar Yolum (2011). "Research Directions
in Agent Communication". In
ACM Transactions on Intelligent
Systems and Technology. (Accepted).
-
Babak Khosravifar, Jamal Bentahar,
Ahmad Moazin, and Philippe Thiran (2010). "Analyzing Communities of Web Services Using
Incentives". In International Journal
of Web Services Research (IJWSR), Volume 7 Number 3, pp. 30-51, IGI
Global.
-
Jamal Bentahar, Rafiul Alam, Zakaria Maamar, and Nanjangud C. Narendra (2010).
"Using Argumentation to Model and Deploy Agent-based
B2B Applications". In
Knowledge-Based
Systems, Volume 23 Number 7, pp.
677-692, Elsevier.
-
Jamal Bentahar,
Bernard Moulin, and Micheline Bélanger (2010). "A Taxonomy of
Argumentation Models used for Knowledge Representation
". In
Artificial Intelligence Review,
Volume 33 Number 3, pp. 211-259, Springer. (49 pages).
-
Michael Sheng, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar and Khouloud Boukadi (2010). "Separating Operational and Control Behaviors: A New Approach
to Web Services Modeling". In
IEEE Internet Computing, Volume 14
Number 3, May/Jun 2010, pp. 30-39.
-
Mohamed Mbarki, Bernard Moulin,
and Jamal Bentahar (2010).
"Une Approche de Communication entre
Agents Logiciels basée sur la Pertinence". In
Revue
d'Intelligence Artificielle, Volume 24 Number 1, pp. 27-66, Hermes Science Publications.
-
Jamal Bentahar and
Jihad Labban (2009). "An Argumentation-driven Model for Flexible and Efficient
Persuasive Negotiation". In
Group
Decision and Negotiation Journal, Springer. DOI:
10.1007/s10726-009-9163-0
(accepted).
-
Jamal Bentahar,
John-Jules Ch. Meyer, and Wei Wan (2009). "Model
Checking Communicative Agent-based Systems". In
Knowledge-Based
Systems,
Special
Issue on "Intelligent Software Design", Volume 22 Issue 3, pp. 142-159, Elsevier. DOI:
10.1016/j.knosys.2008.11.006.
-
Zakaria Maamar, Sattanathan Subramanian,
Jamal Bentahar, Philippe Thiran, and Djamal Benslimane (2009). "An Approach to Engineer Communities of Web Services:
Concepts, Architecture, Operation, and Deployment". In the International Journal of E-Business
Research, Volume 5 Number 4, pp. 1-21, IGI Global.
-
Jamal Bentahar, Zakaria Maamar, Wei Wan, Djamal Benslimane, Philippe Thiran, and Sattanathan Subramanian
(2008). "Agent-based Communities of Web
Services: An Argumentation-driven Approach". In Service Oriented Computing and
Applications, Volume 2 Number 4, pp. 219-238, Springer.
-
Francesca Toni and Jamal Bentahar (2008). "Computational
Logic-based Agents". In
Autonomous
Agents and Multi-Agent Systems, Volume 16 Number 3, pp. 211-213,
Springer.
-
Jamal Bentahar, Zakaria Maamar, Djamal Benslimane, and Philippe Thiran (2007). "An Argumentation Framework for Communities of Web Services".
In
IEEE
Intelligent Systems, Volume 22 Number 6 (November/December 2007),
pp. 75-83.
-
Jamal Bentahar and John-Jules Ch. Meyer (2007). "A New Quantitative Trust Model for Negotiating Agents using
Argumentation". In the
International Journal of Computer Science and Applications
(IJCSA) (Special Issue on Communications, Interactions and Interoperability in
Information Systems), Volume IV Number II, pp. 1-21. Selected from the First
IEEE International Conference on Research Challenges in Information Science (best
paper).
-
Jamal Bentahar, Francesca Toni, John-Jules Ch. Meyer, and Jihad Labban (2007). "A Security Framework for Agent-based Systems".
In the International Journal of Web Information Systems (IJWIS), Volume 3
Number 4, pp. 341-362,
Emerald
Publisher.
-
Jamal Bentahar, Bernard Moulin, and John-Jules Ch. Meyer (2006). "A Tableau Method for Verifying Dialogue Game Protocols for
Agent Communication". In
M. Baldoni, U.
Endriss,
A.
Omicini,
P. Torroni editors, Declarative Agent Languages
and Technologies. Volume 3904 of Lecture Notes in Artificial
Intelligence, pp. 223-244. Springer.
Book Chapters
1.
Zakaria Maamar, Philippe Thiran, and
Jamal Bentahar (2011). "Web Services Communities: from Intra-Community Coopetition to Inter-Community Competition".
In E-Business
Application for Product Development and Competitive Growth: Emerging
Technologies, In Lee editor, pp. 333-343, IGI Global.
2.
Jamal Bentahar,
John-Jules. Ch. Meyer, and Wei Wan (2010). "Model Checking Agent
Communication". In Specification
and Verification of Multi-Agent Systems, Mehdi
Dastani, Koen V. Hindriks, and John-Jules Ch. Meyer editors, pp. 67-102,
Springer.
3.
Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, and Jamal Bentahar
(2009). "Towards Specifying Reactive Autonomous
Systems with a Categorical Approach: A Case Study". In Software
Engineering Research, Management and Applications. Studies in Computational
Intelligence Series, Volume 253/2009, pp. 119-134, Springer (selected among
outstanding papers from SERA 2009 Conference).
Lecture Notes in Computer Science/Artificial Intelligence
1.
Mohamed El-Menshawy
Mohamed, Jamal Bentahar, and Rachida
Dssouli (2011). "Symbolic Model Checking Commitment Protocols using Reduction".
In A. Omicini, S. Sardina, and W. Vasconcelos editors, Declarative Agent Languages and
Technologies VIII. Volume 6619 of Lecture Notes in Artificial Intelligence, pp. 185-203. Springer.
2.
Mohamed El-Menshawy
Mohamed, Jamal Bentahar, and Rachida
Dssouli (2010). "Verifiable Semantic Model for Agent
Interactions using Social Commitments". In M. Dastani, A. El Fallah Seghrouchni, J. Leite, and P. Torroni editors, LAnguages, methodologies and Development tools
for multi-agent systemS (LADS). Volume
6039 of Lecture Notes in Artificial Intelligence, pp.
128-152, Springer.
3.
Babak Khosravifar, Jamal Bentahar, and Maziar Gomrokchi (2009).
"Declarative and Numerical
Analysis of Edge Creation Process in Trust-based Social Networks".
In M. Baldoni, J. Bentahar, J. Lloyd, and M.B. van Riemsdijk
editors, Declarative Agent Languages and Technologies VII. Volume
5948 of Lecture Notes in Artificial Intelligence, pp.
141-161. Springer.
4.
Jamal Bentahar,
Mohamed Mbarki, John-Jules. Ch. Meyer,
and Bernard Moulin (2009).
"Strategic
Agent Communication: An Argumentation-driven Approach". In M. Baldoni, T.C. Son, M.B. van
Riemsdijk, and M. Winikoff
editors, Declarative Agent Languages and Technologies VI. Volume 5397 of Lecture Notes in Artificial
Intelligence, pp. 233-250. Springer.
5.
Mohamed Mbarki, Jamal Bentahar, and
Bernard Moulin (2007). "Specification
and Complexity of Strategic-based Reasoning using Argumentation".
In N. Maudet, S. Parsons, I. Rahwan
editors, Argumentation in Multi-Agent
Systems. Volume 4766 of Lecture
Notes in Artificial Intelligence, pp. 142-160. Springer.
6.
Jamal Bentahar, Bernard Moulin, John-Jules. Ch. Meyer, and Yves Lespérance (2007).
"A New Logical Semantics for Agent
Communication". In K. Inoue, K. Satoh, F. Toni editors, Computational
Logic in Multi-Agent Systems.Volume
4371 of Lecture Notes in Computer Science,
pp. 151-170. Springer.
7.
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, and Brahim Chaib-draa (2005).
"A Computational Model for Conversation
Policies for Agent Communication". In J. Leite and P. Torroni editors, Computational
Logic in Multi-Agent Systems.
Volume 3487 of Lecture Notes in
Artificial Intelligence, pp. 178-195. Springer.
8.
Jamal Bentahar, Bernard Moulin, John-Jules Ch. Meyer, and Brahim Chaib-draa (2005). "A Modal Semantics for an Argumentation-based Pragmatics for
Agent Communication". In I.
Rahwan, P. Moraitis and C.
Reed editors, Argumentation in Multi-Agent Systems. Volume 3366 of Lecture Notes in Artificial
Intelligence, pp. 44-63. Springer.
9.
Jamal Bentahar, Bernard Moulin, and Brahim
Chaib-draa (2005). "Specifying and Implementing a Persuasion Dialogue Game using
Commitment and Argument Network". In I. Rahwan, P. Moraitis and C. Reed
editors, Argumentation in Multi-Agent Systems. Volume 3366 of Lecture Notes in Artificial
Intelligence, pp. 130-148. Springer.
10.
Karim Bouzouba, Jamal Bentahar and
Bernard Moulin (2005). "Dialogization and Implicit Information in an
Agent Communication Model". In
R. van Eijk, M.P. Huget
and F. Dignum editors, Developments in Agent
Communication. Volume 3396 of Lecture Notes in Artificial Intelligence, pp.
211-226. Springer. Proceedings of AAMAS-04
International Workshop on Agent communication, New York, NY, USA, July 19, 2004.
11.
Jamal Bentahar, Bernard Moulin,
and Brahim Chaib-draa
(2004). "Commitment and Argument Network: A New Formalism for
Agent Communication". In F. Dignum,
editor, Advances in Agent Communication. Volume 2922 of Lecture Notes in
Artificial Intelligence, pp. 146-165. Springer.
12.
Jamal Bentahar, Bernard Moulin,
and Brahim Chaib-draa.
(2004). "Commitment and Argument Network: a Formal Framework for
Representing Conversation Dynamics". In J. Caelen, D. Vanderveken and D. Vernant editors, Logic and Dialogue, the
Netherlands, Dordrecht, Springer (in press).
1.
Babak Khosravifar, Mahsa Alishahi, Ehsan Khosrowshahi Asl, Jamal Bentahar, Rabeb Mizouni, and Hadi Otrak (2012). "Analyzing
Coopetition Strategies of Services within
Communities". In Proceedings of the 10th International Conference on
Service Oriented Computing (ICSOC 2012), pp. xx-xx, Springer, Shanghai China, November
12-16, 2012. [Acceptance rate =27%].
2.
Mohamad Mehdi, Nizar
Bouguila, and Jamal Bentahar
(2012). "Trustworthy Web Service Selection Using Probabilistic
Models". In Proceedings of the 10th
IEEE International Conference on Web Services (ICWS 2012), pp. xx-xx, IEEE Press, Honolulu,
Hawaii, USA, June 24 - 29,
2012. [Acceptance rate =17%].
3.
Erbin Lim, Philippe Thiran, Zakaria Maamar, and Jamal Bentahar. "On the Analysis of Satisfaction for Web
Services Selection". In Proceedings
of the 9th IEEE International Conference on Services Computing (SCC 2012), pp. xx-xx, IEEE Press, Honolulu,
Hawaii, USA, June 24 - 29,
2012. [Acceptance rate =17%]
4.
Sina Honari, Brigitte Jaumard, and Jamal Bentahar
(2012). "Merging Successive Possibility Distributions for Trust Estimation
under Uncertainty in Multi-Agent Systems". In Proceedings of the 4th International Conference on Agents
and Artificial intelligence (ICAART 2012),
pp.
180-189, Vilamoura, Algarve, Portugal, February 6-8, 2012. [Acceptance
rate =14%]
5.
Sina Honari, Brigitte Jaumard, and Jamal Bentahar
(2011). "Under
Uncertainty Trust Estimation through Unknown Agents in a Multi-Valued Trust Environment".
In Proceedings of the 23rd IEEE
International Conference on Tools with Artificial intelligence (ICTAI 2011), pp.
336-343,
Boca Raton, Florida,
USA, November 7-9, 2011.
6.
Babak Khosravifar, Jamal Bentahar, Kathleen Clacens, Christophe Goffart, and
Philippe Thiran (2011). "Game-Theoretic
Analysis of a Web Services Collaborative Mechanism".
In Proceedings of the 9th International
Conference on Service Oriented Computing (ICSOC
2011), pp. 549-556, Springer, Paphos, Cyprus, December 5-8, 2011. [Acceptance
rate =15.6%].
7.
Mohamed Mbarki, Jamal Bentahar, and
Bernard Moulin (2011). "On the Argumentative Agent Types and
Negotiation". In Proceedings
of the 10th International Conference on Software Methodologies, Tools and
Techniques (SoMet
2011), pp. 169-182, IOS Press, Saint Petersburg,
Russia, September 28-30, 2011. [Acceptance rate =30%].
8.
Giti Oghabi, Jamal Bentahar, and Abdelghani Benharref (2011). "Verifiying
Web Services using Probabilistic Model Checking via Markov Chains and
Processes". In Proceedings of the 10th
International Conference on Software Methodologies, Tools and Techniques (SoMet 2011),
pp.
30-37, IOS Press, Saint
Petersburg, Russia, September
28-30, 2011. [Acceptance rate =30%].
9.
Giti Oghabi, Jamal Bentahar, and Abdelghani Benharref (2011). "On
the Verification of Behavioral and Probabilistic Web Services using Transformation".
In Proceedings of the 9th IEEE
International Conference on Web Services (ICWS
2011), Industry Track, pp. 548-555, IEEE Press,
Washington
DC, USA, July 04 - 09, 2011. [Acceptance rate =11%].
10.
Babak Khosravifar, Mahsa Alishahi, Jamal Bentahar, and Philippe Thiran
(2011). "A
Game Theoretic Approach for Analyzing the Efficiency of Web Services in
Collaborative Networks". In Proceedings of the 8th IEEE International Conference on
Services Computing (SCC 2011),
Research Track, pp. 168-175, IEEE
Press, Washington DC, USA, July 04 - 09,
2011. [Acceptance rate =17%].
11.
Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar
(2011). "A New
Approach for Quality Enforcement in Communities of Web Services".
In Proceedings of the 8th IEEE
International Conference on Services Computing (SCC 2011), Applications
and Experiences Track, pp. 472-479, IEEE
Press, Washington DC, USA, July 04 - 09,
2011. [Acceptance rate =26%].
12.
Erbin Lim, Philippe Thiran, Zakaria Maamar, and Jamal Bentahar (2011). "Using
3-Way Satisfaction for Web Service Selection". In Proceedings of the 8th IEEE International Conference on
Services Computing (SCC 2011),
Work in Progress Track, pp. 731-732, IEEE Press,
Washington
DC, USA, July 04 - 09, 2011.
13.
Mohamed El-Menshawy Mohamed,
Jamal Bentahar, and Rachida
Dssouli (2011). "Model
Checking Commitment Protocols". In Proceedings of the 24th International Conference on Industrial, Engineering &
Other Applications of Applied Intelligent Systems (IEA-AIE 2011), Volume 6704 of Lecture Notes in Artificial Intelligence, pp. 37-47, Springer, Syracuse, New York, USA, June 28-July 1, 2011.
14.
Wei Wan, Jamal Bentahar, and Abdessamad Ben Hamza (2011). "Model
Checking Epistemic and Probabilistic Properties of Multi-Agent systems".
In Proceedings of the 24th International Conference on Industrial, Engineering
& Other Applications of Applied Intelligent Systems (IEA-AIE 2011), Volume 6704 of Lecture Notes in Artificial Intelligence, pp. 68-78, Springer, Syracuse, New York, USA, June 28-July 1, 2011.
15.
Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar
(2011). "Online
Monitoring for Sustainable Communities of Web Services".
In Proceedings of the 12th IFIP/IEEE International Symposium on Integrated
Network Management (IM'2011), pp. 702-705. Dublin, Irland, May 23-27, 2011.
16.
Mohamed El-Menshawy Mohamed,
Jamal Bentahar, Hongyang Qu, and Rachida Dssouli (2011). "On
the Verification of Social Commitments and Time". In
Proceedings of the 10th International
Joint Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2011),
pp. 483-490, Taipei, Taiwan, May 2-6, 2011.
[Acceptance
rate =22%].
17.
Heng Kuang, Jamal Bentahar, Olga Ormandjieva,
Nassir Shafieidizaji, and Stan Klasa
(2010). "Formal
Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic
Systems". In Proceedings
of the 9th International Conference on Software Methodologies, Tools and Techniques
(SoMet
2010), pp. 357-380, IOS Press, Yokohama,
Japan, September 29 - October 01, 2010. [Acceptance rate =30%].
18.
Heng Kuang, Olga Ormandjieva,
Stan Klasa, and Jamal Bentahar
(2010). "A Formal
Specification of Fault-Tolerance in Prospecting Asteroid Mission with Reactive
Autonomic Systems Framework". In Proceedings of the 21st IEEE International Conference on
Application-specific Systems, Architectures and Processors (ASAP 2010), pp, 99-106, IEEE Press,
Rennes, France, July 07 - 09, 2010. [Acceptance
rate =27%].
19.
Babak Khosravifar, Jamal Bentahar, and Ahmad Moazin
(2010). "Analyzing
the Relationships between some Parameters of Web Services Reputation".
In Proceedings of the 8th IEEE
International Conference on Web Services (ICWS
2010), Application and Industry Track, pp. 329-336, IEEE Press,
Miami, Florida, USA, July 05 - 10, 2010. [Acceptance
rate =17.5%].
20.
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, Zakaria Maamar and Philippe Thiran (2010). "Analyzing Communities vs. Single Agent-based Web
Services: Trust Perspectives". In Proceedings of the 7th IEEE International Conference on
Services Computing (SCC 2010),
pp. 194-201, IEEE Press,
Miami, Florida, USA,
July 05 - 10, 2010. [Acceptance rate =18%].
21.
Babak Khosravifar, Jamal Bentahar, Ahmad Moazin, and
Philippe Thiran (2010). "On
the Reputation of Agent-based Web Services". In Proceedings of the 24th AAAI Conference on Artificial
Intelligence (AAAI 2010),
pp. 1352-1357, AAAI Press,
Atlanta, Georgia,
USA, July 11 - 15, 2010. [Acceptance rate =26.9%].
22.
Mohamed Mbarki, Jamal Bentahar, Bernard Moulin, and Ahmad Moazin
(2010). "Constraints-based
Negotiation using Argumentation". In 13th
International Workshop on Non-Monotonic Reasoning (NMR 2010),
Toronto, Canada, May 14 - 16, 2010.
23.
Abdelghani Benharref, Mohamed Adel Serhani, Salah Bouktif, and Jamal Bentahar
(2010). "A Managerial
Community of Web Services for Management of Communities of Web Services".
In Proceedings of the 10th International Conference on
New Technologies of Distributed Systems (NOTERE 2010), pp. 97-104,
IEEE Press, Tozeur, Tunisia, May 31 -
Jun 2, 2010.
24.
Mohamed El-Menshawy Mohamed,
Jamal Bentahar, Wei Wan, and Rachida
Dssouli (2010). "Verifying
Conformance of Commitment Protocols via Symbolic Model Checking".
Workshop on Agent Communication, 9th
International Joint Conference on Autonomous Agents and Multiagent
Systems (AC-AAMAS 2010),
pp. 53-72, Toronto, Canada, May 10-14, 2010.
25.
Mohamed El-Menshawy Mohamed,
Jamal Bentahar, and Rachida
Dssouli (2010). "Modeling and
Verifying Business Interactions via Commitments and Dialogue Actions". In Proceedings of 4th International Conference on Agent and Mult-Aagent Systems: Technologies and Applications (KES-AMSTA 2010), Volume 6071 of Lecture Notes in Artificial Intelligence, Springer pp. 11-21,
Gdynia, Poland, June 23 - 25, 2010.
26.
Wei Wan, Jamal Bentahar, and Abdessamad Ben Hamza (2010). "Modeling
and Verifying Agent-based Communities of Web Services".
In Proceedings of the 23rd International
Conference on Industrial, Engineering and Other Applications of Applied
Intelligent Systems (IEA-AIE 2010),
Volume 6097 of Lecture Notes in
Artificial Intelligence, pp. 418-427, Springer, Cordoba, Spain, June 1-4, 2010.
27.
Jamal Bentahar (2010). "An
Agent Communication Protocol for Resolving Conflicts: Extended Abstract".
In Proceedings of the 9th International
Joint Conference on Autonomous Agents and Multiagent
Systems (AAMAS 2010),
pp. 1557-1558, Toronto, Canada, May 10-14, 2010
[Acceptance
rate =26%].
28.
Mohamed Elmenshawy Mohamed, Wei Wan, Jamal Bentahar,
and Rachida Dssouli (2010).
"Symbolic Model Checking for Agent Interactions: Extended
Abstract". In Proceedings
of the 9th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS
2010), pp. 1555-1556, Toronto, Canada, May 10-14, 2010 [Acceptance rate =26%].
29.
Mohamed El-Menshawy Mohamed, Jamal Bentahar,
and Rachida Dssouli (2009).
"Enhancing Engineering Methodology for Communities of Web Services".
In Proceedings of Multi-Agent Logics, Languages, and Organisations: Federated Workshops,
(MALLOW009 - AWESOME), Torino, Italy,
September 7-11, 2009.
30.
Mohamed El-Menshawy Mohamed, Jamal Bentahar,
and Rachida Dssouli (2009).
"An Integrated Semantics of Social Commitments and Associated
Operations". In Proceedings of Multi-Agent Logics, Languages, and Organisations: Federated Workshops,
(MALLOW009 - LADS), Torino, Italy, September
7-11, 2009.
31.
Hamdi Yahyaoui, Zakaria
Maamar, Jamal Bentahar and Khouloud Boukadi (2009). "Web
Services Synchronization in Composition Scenarios". In Proceedings
of Multi-Agent Logics, Languages, and Organisations:
Federated Workshops,
(MALLOW009 - AWESOME), Torino, Italy,
September 7-11, 2009.
32.
Maziar Gomrokchi, Jamal Benathar, and Babak Khosravifar (2009). "Reputation Cascade Model Over
Social Connections in Online Social Networks". In Proceedings of the
IEEE/WIC/ACM International Conference on Intelligent Agent Technology (IAT'09), pp. 523-526, Milano, Italy, September 15-18, 2009. [Acceptance rate
=24%].
33.
Mohamed El-Menshawy Mohamed,
Jamal Bentahar, and Rachida
Dssouli (2009). "A New Semantics of Social Commitments using Branching
Space-Time Logic". In Proceedings of the
IEEE/WIC/ACM International Conference on Intelligent Agent Technology, Logics for Intelligent Agents and Multi-Agent Systems (WLIAMAS-IAT'09),
pp. 492-496, Milano, Italy, September 15-18, 2009. [Acceptance rate =34,7%].
34.
Omar Marey, Jamal Bentahar, Abdeslam En-Nouaary (2009). "On
the Measurement of Negotiation Dialogue Games". In Proceedings
of the 8th International Conference on Software Methodologies, Tools and
Techniques (SoMeT_09), Frontiers
in Artificial Intelligence and Applications, pp. 223-244, IOS Press, Prague,
Czech Republic, September 23-25, 2009. [Acceptance rate =34.6%].
35.
Melissa Kovas, Jamal Bentahar, Zakaria Maamar, Hamdi Yahyaoui
(2009). "Formal
Verification of Conversations in Composite Web Services using NuSMV". In Proceedings of the
8th International Conference on Software Methodologies, Tools and Techniques
(SoMeT_09), Frontiers
in Artificial Intelligence and Applications, pp. 245-261, IOS Press, Prague,
Czech Republic, September 23-25, 2009. [Acceptance rate =34.6%].
36.
Sina Honari, Mojtaba
Ebadi, Amin Foshati, Maziar Gomrokchi, Jamal Bentahar, and Babak Khosravifar (2009). "Experimental
Evaluation of PersianCAT Market Equilibrium".
In The Twenty-first International Joint Conference on Artificial Intelligence -
Trading Agent Design and Analysis (TADA-IJCAI-09), Pasadena,
California, USA, July 13, 2009 (accepted).
37.
Babak Khosravifar, Jamal Bentahar, Philippe Thiran, Ahmad Moazin, and Adrien Guiot (2009). "An Approach to Incentive-based Reputation for Communities
of Web Services". In Proceedings of IEEE
7th International Conference on Web Services (ICWS
2009), pp. 303-310, Los Angeles, USA, July 06-10, 2009. [Acceptance
rate =15.6% out of more than 404 submissions].
38.
Babak Khosravifar, Maziar Gomrokchi, Jamal Bentahar, and Philippe Thiran
(2009). "Maintenance-based
Trust for Multi-Agent Systems". In Proceedings of 8th International Joint Conference on
Autonomous Agents and Multiagent Systems (AAMAS
2009), pp. 1017-1024, Budapest, Hungary, May 10-15, 2009. [Acceptance rate =22% out of more than 590 submissions].
39.
Babak Khosravifar, Maziar Gomrokchi, and Jamal Bentahar (2009). "Microscopic
Analysis of Edge Creation Process in Trust-based Social Networks".
In the 8th International Conference
on Autonomous Agents and Multiagent Systems, Declarative Agent Languages and Technologies (DALT-AAMAS 2009), pp. 66-81, Budapest, Hungary, May 10-15, 2009.
40.
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi and Philippe Thiran
(2009). "Combined On-line
and Off-line Trust Mechanism for Agent Computing". In
Proceedings of the 23rd IEEE
International Conference on Advanced
Information Networking and Applications
(AINA
2009), pp. 146-153, Bradford, UK, May 26-29, 2009. [Acceptance rate
=28%].
41.
Jamal Bentahar, Babak Khosravifar, and Maziar Gomrokchi (2009). "Social
Network-based Trust for Agent-based Services". In
Proceedings of the 23rd IEEE
International Conference on Advanced
Information Networking and Applications, Symposium
on Web and Mobile Information Services
(WAMIS-AINA
2009), pp. 298- 303, Bradford, UK, May 26-29, 2009.
42.
Zakaria Maamar, Michael Sheng, Hamdi Yahyaoui,
Jamal Bentahar, and Khouloud
Boukadi (2009). "A
New Approach to Model Web Services' Behaviors based on Synchronization".
In Proceedings of the 23rd
IEEE International Conference on Advanced
Information Networking and Applications, Symposium on Frontiers of Information
Systems and Network Applications
(FINA-AINA
2009), pp. 43, 49, Bradford, UK, May 26-29, 2009.
43.
Babak Khosravifar, Maziar Gomrokchi, and Jamal Bentahar (2009). "A Multi-Agent-based
Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot". In Proceedings of the 23rd IEEE International Conference on Advanced Information Networking and Applications,
Symposium on Frontiers of Information Systems and Network Applications
(FINA-AINA 2009), pp. 97-102, Bradford, UK,
May 26-29, 2009.
44.
Yossr Jarraya, Mourad
Debbabi, and Jamal Bentahar
(2009). "On the Meaning of SysML
Activity Diagrams". In the Proceedings of the
16th Annual IEEE International Conference and Workshop on the Engineering of
Computer Based Systems (ECBS'09), pp. 95-105, San Francisco,
USA, April 14-16, 2009.
45.
Jamal Bentahar, Nanjangud Narendra, Zakaria Maamar, Rafiul Alam, and Philippe Thiran (2008). "Designing and Implementing B2B Applications Using
Argumentative Agents". In Hamido Fujita and
editors, Proceedings of 7th
International Conference on Software Methodologies, Tools, and Techniques (SoMeT'2008),
Volume 182 of Frontiers in Artificial Intelligence
and Applications, IOS Press, pp. 165-189, 2008.
46.
Jamal Bentahar, Rafiul Alam, Zakaria Maamar
(2008). "An Argumentation-based Protocol for Conflict Resolution".
In Proceedings of KR2008: Knowledge
Representation for Agents and Multi-Agent Systems, pp. 19-35, Sydney, September 16-19, 2008.
47.
Mohamed Mbarki, Jamal Bentahar, John-Jules. Ch. Meyer,
and Bernard Moulin (2008). "A Framework for
Agent Communication based on Goals and Argumentation". In the Seventh International Conference on Autonomous
Agents and Multiagent Systems, Declarative Agent Languages and Technologies V
(DALT-AAMAS 2008), pp. 190-205, Estoril, Portugal, May 12-16, 2008.
48.
Babak Khosravifar and Jamal Bentahar (2008). "An Experience Improving Intrusion Detection Systems False
Alarm Ratio by Using Honeypot".
In Proceedings of the 22nd IEEE
International Conference on Advanced
Information Networking and Applications (AINA
2008), pp. 997-1004, Okinawa, Japan, March 25-28, 2008.
49.
Said Elnaffar, Zakaria Maamar, Hamdi Yahyaoui, Jamal Bentahar, Philippe Thiran (2008).
"Reputation of Communities of Web Services - Preliminary
Investigation". In Proceedings of the 22nd IEEE International Conference on Advanced Information Networking and Applications (AINA 2008), pp. 1603-1608, Okinawa,
Japan, March 25-28, 2008.
50.
Jamal Bentahar and Babak Khosravifar (2008). "Using Trustworthy and Referee Agents to Secure
Multi-Agent Systems". In Proceedings of the 5th International Conference on Information Technology: New Generations, IEEE Press pp. 477-482,
Las
Vegas, USA, April 07-09, 2008.
51.
Khaled Ghoneim and Jamal Bentahar (2008). "An Adaptive Configuration for Agent-Based Supply Network".
In Proceedings of the 5th
International Conference on Information
Technology: New Generations, IEEE
Press pp. 1268-1271,
Las Vegas, USA,
April 07-09, 2008.
52.
Babak Khosravifar, Jamal Bentahar, Maziar Gomrokchi, and Rafy
Alam (2008). "An approach to Comprehensive Trust Management in
Multi-Agent Systems with Credibility". In Proceedings of the 2nd International Conference on Research Challenges in Information Science, IEEE Press pp. 53-64,
Marrakech,
Morocco, June 03-06, 2008.
53.
Mohamed Mbarki, Jamal Bentahar, and Bernard Moulin (2008). "A Formal Framework of Conversational Goals Based on
Strategic Reasoning". In Proceedings of the 21st International Conference on
Industrial, Engineering and Other Applications of Applied Intelligent Systems, Volume 5027 of Lecture Notes in Artificial Intelligence, Springer pp.
835-844,
Wrocław, Poland, June 18-20, 2008.
54.
Hamdi Yahyaoui, Zakaria
Maamar, Jamal Bentahar, Nabil Sahli, Said Elnaffar, and Philippe Thiran
(2008). "On the Reputation of Communities of Web Services".
In Proceedings of the the 8th International Conference on New Technologies in
Distributed Systems (NOTERE 2008),
ACM pp. 9-16,
Lyon, France, June
23-27, 2008.
55.
Jamal Bentahar and John-Jules
Ch. Meyer (2007). "Model Checking Communicative Agent-based Systems".
In Hamido Fujita and Domenico Pisanelli editors, New Trends in Software Methodologies, Tools and
Techniques - Proceedings of the
sixth SoMeT_07. Volume 161 of Frontiers in Artificial Intelligence
and Applications, IOS Press, pp. 239-265, 2007.
56.
Jamal Bentahar and Zakaria Maamar (2007). "Complexity Results for Argumentation-based Agent
Communication". In
Proceedings of the 4th IEEE
International Conference on Innovations
in Information Technology, IEEE pp. 506-510, Dubai, UAE, November 18-20, 2008.
57.
Jamal Bentahar, Jihad Labban, and Bernard Moulin (2007). "An Argumentation-driven
Model for Autonomous and Secure Negotiation". In Proceedings
of the International Conference on Group Decision and Negotiation
(GDN 2007) Volume II, INFORMS, pp.
19-36. Mt. Tremblant (Montreal), May 14-17, 2007.
58.
Jamal Bentahar,
Zakaria Maamar, Djamal Benslimane, and Philippe Thiran (2007). "Using
Argumentative Agents to Manage Communities of Web Services". In
Proceedings of the
IEEE International
Conference on Advanced Information Networking and Applications, Web and Mobile
Information Systems (WAMIS 2007), IEEE Computer Society. pp. 588-593. Niagara,
Ontario, Canada, May 21-23, 2007 (to appear).
59.
Jamal Bentahar and John-Jules
Ch. Meyer (2007). "A New
Quantitative Trust Model for Negotiating Agents". In
Proceedings
of The First IEEE
International Conference on Research Challenges in Information Science, pp. 39-49. Ouarzazate,
Morocco, April 23-26, 2007. (Best Paper Award)
60.
Jamal Bentahar, John-Jules Ch.
Meyer, and Bernard Moulin (2007). "Securing Agent-Oriented Systems: An Argumentation and
Reputation-based Approach". In Proceedings
of the 4th International
Conference on Information Technology : New Generations (ITNG 2007), IEEE Computer Society, pp. 507-515. Las
Vegas, Nevada, USA, April 2-4, 2007.
61.
Jamal Bentahar, Karim Bouzoubaa, and Bernard
Moulin (2006). "A Computational Framework for Human/Agent Communication
Using Argumentation, Implicit Information, and Social Influence". In Proceedings
of the IEEE/WIC/ACM
International Conference on Intelligent Agent Technology, Communication between Human and Artificial Agents, pp. 372-377. Hong Kong, December 18-22, 2006.
62.
Jamal Bentahar, Bernard Moulin,
John-Jules Ch. Meyer, and Yves Lespérance (2006). "A
New Logical Semantics for Agent Communication". In Proceedings
of the AAMAS Seventh International
Workshop on Computational Logic in Multi-Agent Systems (CLIMA VII), pp. 127-143. Hakodate, Japan, May 8-9, 2006.
63.
Jamal Bentahar, Mohamed Mbarki, and Bernard Moulin (2006). "Strategic and Tactic Reasoning for Communicating Agents".
In
Proceedings of the AAMAS Third
International Workshop on Argumentation in Multi-Agent Systems (ArgMAS 2006), pp. 134-150.
Hakodate, Japan, May 8, 2006.
64.
Mohamed Mbarki, Bernard Moulin,
and Jamal Bentahar (2006). "Towards an Efficient Agent Communication using an
Argumentation Relevance Theory". In Proceedings of the International Workshop on Agents
and Multiagent Systems, from Theory to Application
(AMTA’06), Québec, Canada, June 06, 2006.
65.
Jamal Bentahar, Bernard Moulin,
and John-Jules Ch. Meyer (2006). "A New Model Checking Approach for Verifying Agent Communication
Protocols". In Proceedings of the IEEE Canadian
Conference on Electrical and Computer Engineering (CCECE 2006), pp. 96-100.
Ottawa, May 7-10, 2006.
66.
Jamal Bentahar, Bernard Moulin,
John-Jules Ch. Meyer and Brahim Chaib-draa
(2004). "A Computational Model for Conversation Policies for Agent
Communication". In Proceedings of the Fifth International Workshop on
Computational Logic in Multi-Agent Systems (CLIMA V), Lisbon, September 29-30,
2004, pp. 66-81.
67.
Jamal Bentahar,
Bernard Moulin, John-Jules Ch. Meyer and Brahim Chaib-draa (2004). "A Logical Model for Commitment and Argument Network for
Agent Communication (Extended Abstract)". In Proceedings
of 3rd International Joint Conference on Autonomous Agents and Multi Agent
Systems (AAMAS 2004), New York, NY, USA, July 19-23, 2004, pp.
792-799. ACM Press.
68.
Jamal Bentahar, Bernard Moulin
and Brahim Chaib-draa
(2004). "A Persuasion Dialogue Game based on Commitments and
Arguments". In Proceedings of AAMAS-04 1st
International Workshop on Argumentation in Multi-Agent Systems, New York,
NY, July 19, 2004, pp. 148-164.
69.
Jamal Bentahar, Bernard Moulin
and Brahim Chaib-draa
(2003). "Towards a Formal Framework for Conversational Agents".
In Proceedings of AAMAS 2003 International Workshop on Agent Communication
Languages and Conversation Policies, Melbourne, Australia, July 14, 2003.
70.
Jamal Bentahar, Bernard Moulin
and Brahim Chaib-draa (2003).
"Vers une approche pour la modélisation du dialogue basée
sur les engagements et les arguments". In Actes
des Secondes Journées Francophones Modèles Formels de l'Interaction, Lille,
France, May 20-22, 2003, pp. 19-28.
71.
Radouane Mrabet and Jamal Bentahar (2002). "Internationalization of a Distance Exam Web Environment". In Proceedings of The Twenty-first International Unicode Conference,
Dublin, Ireland, May 14-17, 2002.
1.
Jamal Bentahar
and Bernard Moulin (2004). "On the Verification of Dialogue Game
Protocols for Communicating Agents (a Model Checking Approach)".
Technical Report, Department of Computer science and Software Engineering,
Laval University, DIUL-RR-0403.
2.
Jamal Bentahar and Bernard Moulin (2005). "Multi-Agent
Systems and Natural Hazards Risk Management". Internal Report.
3.
Jamal Bentahar and Bernard Moulin (2005). "Representing
Courses of Actions using Argumentation Models". Repport
for RDDC, Valcartier, W7701-043300/B.
Submitted
and in Preparation Papers
1.
Jamal Bentahar,
Bernard Moulin, John-Jules Ch. Meyer, Yves Lespérance
and Brahim Chaib-draa
(2005). "A Logical Model for Commitment and Argument Network for Agent
Communication". Journal of Autonomous Agents and Multi-Agent
Systems, Kluwer (submitted).
2.
Jamal Bentahar,
Bernard Moulin, John-Jules Ch. Meyer and Girish Bhat (2005). "On the Verification of Dialogue Game
Protocols (A Model Checking Approach)". Journal of Annals of
Mathematics and Artificial Intelligence, Kluwer
(in preparation).
3.
Jamal Bentahar,
Bernard Moulin, John-Jules Ch. Meyer and Brahim Chaib-draa (2005). "Specifying and Implementing Persuasion Dialogue Game
protocols". Journal of Computational Intelligence. Blackwell
(in preparation).
4.
Karim Bouzouba, Jamal Bentahar and Bernard Moulin. "Integrating Pragmatic Aspects in an Agent Communication
Model". Journal of Computational Intelligence. Blackwell (Submitted).
A
discovery is said to be an accident meeting a prepared mind.
Albert
von Szent-Gyorgyi (1893 - 1986)