Jamal Bentahar

Proceedings of the 15th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2018) / The 13th International Conference on Future Networks and Communications (FNC-2018) / Affiliated Workshops, 2018

Multi-Objective Self-Adaptive Composite SaaS Using Feature Model.

[BibT_eX]

[DOI]

Afaf Mousa

Omar Alam

Proceedings of the 6th IEEE International Conference on Future Internet of Things and Cloud, 2018

Verifying Temporal Trust Logic using CTL Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 20th International Trust Workshop co-located with AAMAS/IJCAI/ECAI/ICML 2018, 2018

2017

Refined game-theoretic approach to improve authenticity of outsourced databases.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2017

SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2017

Specifying and verifying contract-driven service compositions using commitments and model checking.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2017

Chapter Three - Testing the Control-Flow, Data-Flow, and Time Aspects of Communication Systems: A Survey.

[BibT_eX]

[DOI]

Adv. Comput., 2017

Verifiable outsourced database in the cloud using game theory.

[BibT_eX]

[DOI]

Faryed Eltayesh

Proceedings of the Symposium on Applied Computing, 2017

I Know You Are Watching Me: Stackelberg-Based Adaptive Intrusion Detection Strategy for Insider Attacks in the Cloud.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

On the Effects of User Ratings on the Profitability of Cloud Services.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE International Conference on Web Services, 2017

Cloud Task Scheduling Based on Swarm Intelligence and Machine Learning.

[BibT_eX]

[DOI]

Gaith Rjoub

Proceedings of the 5th IEEE International Conference on Future Internet of Things and Cloud, 2017

Reasoning about Trust and Time in a System of Agents.

[BibT_eX]

[DOI]

Nagat Drawel

Elhadi M. Shakshuki

Proceedings of the 8th International Conference on Ambient Systems, 2017

Modernization of Legacy Software Tests to Model-Driven Testing.

[BibT_eX]

[DOI]

Nader Kesserwan

Proceedings of the Emerging Technologies for Developing Countries, 2017

Framework for Dynamic Web Services Composition Guided by Live Testing.

[BibT_eX]

[DOI]

Mounia Elqortobi

Proceedings of the Emerging Technologies for Developing Countries, 2017

2016

Trust and Reputation of Web Services Through QoS Correlation Lens.

[BibT_eX]

[DOI]

IEEE Trans. Serv. Comput., 2016

CEAP: SVM-based intelligent detection model for clustered vehicular ad hoc networks.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2016

A Stackelberg game for distributed formation of business-driven services communities.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2016

On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems.

[BibT_eX]

[DOI]

Faisal Al-Saqqar

Expert Syst. Appl., 2016

Privacy-preserving data mashup model for trading person-specific information.

[BibT_eX]

[DOI]

Rashid Hussain Khokhar

Electron. Commer. Res. Appl., 2016

Verifying concurrent probabilistic systems using probabilistic-epistemic logic specifications.

[BibT_eX]

[DOI]

Appl. Intell., 2016

Preface.

[BibT_eX]

[DOI]

Ansar-Ul-Haque Yasar

Proceedings of the 11th International Conference on Future Networks and Communications (FNC 2016) / The 13th International Conference on Mobile Systems and Pervasive Computing (MobiSPC 2016) / Affiliated Workshops, 2016

An Efficient QoS-aware Web Services Selection Using Social Spider Algorithm.

[BibT_eX]

[DOI]

Afaf Mousa

Monetizing Personal Data: A Two-Sided Market Approach.

[BibT_eX]

[DOI]

Proceedings of the 7th International Conference on Ambient Systems, 2016

How to Distribute the Detection Load among Virtual Machines to Maximize the Detection of Distributed Attacks in the Cloud?

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2016

2015

Efficient Community Formation for Web Services.

[BibT_eX]

[DOI]

Hadi Otrok

Rabeb Mizouni

IEEE Trans. Serv. Comput., 2015

Model checking temporal knowledge and commitments in multi-agent systems using reduction.

[BibT_eX]

[DOI]

Simul. Model. Pract. Theory, 2015

Computational logics and verification techniques of multi-agent commitments: survey.

[BibT_eX]

[DOI]

Knowl. Eng. Rev., 2015

Decision making under subjective uncertainty in argumentation-based agent negotiation.

[BibT_eX]

[DOI]

J. Ambient Intell. Humaniz. Comput., 2015

Formal Specification and Automatic Verification of Conditional Commitments.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2015

A survey on trust and reputation models for Web services: Single, composite, and communities.

[BibT_eX]

[DOI]

Decis. Support Syst., 2015

Modeling and Forecasting Time Series of Compositional Data: A Generalized Dirichlet Power Steady Model.

[BibT_eX]

[DOI]

Proceedings of the Scalable Uncertainty Management - 9th International Conference, 2015

Real-Time Conditional Commitment Logic.

[BibT_eX]

[DOI]

Proceedings of the PRIMA 2015: Principles and Practice of Multi-Agent Systems, 2015

A Cooperative Detection Model Based on Artificial Neural Network for VANET QoS-OLSR Protocol.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Ubiquitous Wireless Broadband, 2015

Misbehavior Detection Framework for Community-Based Cloud Computing.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

Automatic Transformation of Cloud Computing Service Composition to Verifiable Models.

[BibT_eX]

[DOI]

Ana Vazquez

Proceedings of the 3rd International Conference on Future Internet of Things and Cloud, 2015

Modelling Multi-agent Systems with Category Theory.

[BibT_eX]

[DOI]

Proceedings of the 6th International Conference on Ambient Systems, 2015

2014

Conditional Commitments: Reasoning and Model Checking.

[BibT_eX]

[DOI]

ACM Trans. Softw. Eng. Methodol., 2014

Intelligent Consensus Modeling for ProlineCis-Trans Isomerization Prediction.

[BibT_eX]

[DOI]

IEEE ACM Trans. Comput. Biol. Bioinform., 2014

Modeling and verifying probabilistic Multi-Agent Systems using knowledge and social commitments.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Measuring and analyzing agents' uncertainty in argumentation-based negotiation dialogue games.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Modeling and verifying choreographed multi-agent-based web service compositions regulated by commitment protocols.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

To compete or cooperate? This is the question in communities of autonomous services.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2014

Model checking probabilistic social commitments for intelligent agent communication.

[BibT_eX]

[DOI]

Appl. Soft Comput., 2014

Probabilistic approach for QoS-aware recommender system for trustworthy web service selection.

[BibT_eX]

[DOI]

Appl. Intell., 2014

On the interaction between knowledge and social commitments in multi-agent systems.

[BibT_eX]

[DOI]

Appl. Intell., 2014

A Probabilistic Logic to Reason about the Interaction between Knowledge and Social Commitments in MASs.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2014

Cooperative cross layer detection for blackhole attack in VANET-OLSR.

[BibT_eX]

[DOI]

Proceedings of the International Wireless Communications and Mobile Computing Conference, 2014

Verifying Multiagent-Based Web Service Compositions Regulated by Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the 2014 IEEE International Conference on Web Services, 2014

Agent Types and Adaptive Negotiation Strategies in Argumentation-Based Negotiation.

[BibT_eX]

[DOI]

Proceedings of the 26th IEEE International Conference on Tools with Artificial Intelligence, 2014

QoS-Based Reputation Feedback Fusion under Unknown Correlation.

[BibT_eX]

[DOI]

Proceedings of the Adaptive and Intelligent Systems - Third International Conference, 2014

Social Network-Based Framework for Web Services Discovery.

[BibT_eX]

[DOI]

Hiba Fallatah

Proceedings of the 2014 International Conference on Future Internet of Things and Cloud, 2014

Correlated multi-dimensional qos metrics for trust evaluation within web services.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2014

Agents' Uncertainty in Argumentation-based Negotiation: Classification and Implementation.

[BibT_eX]

[DOI]

Proceedings of the 5th International Conference on Ambient Systems, 2014

Reputation in Communities of Agent-Based Web Services Through Data Mining.

[BibT_eX]

[DOI]

Proceedings of the Agents and Data Mining Interaction - 10th International Workshop, 2014

2013

Introduction to the special section on agent communication.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Research directions in agent communication.

[BibT_eX]

[DOI]

ACM Trans. Intell. Syst. Technol., 2013

Model checking epistemic-probabilistic logic using probabilistic interpreted systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2013

Uncertainty-Based Trust estimation in a Multi-Valued Trust Environment.

[BibT_eX]

[DOI]

Int. J. Artif. Intell. Tools, 2013

Agent-based game-theoretic model for collaborative web services: Decision making analysis.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Verifying conformance of multi-agent commitment-based protocols.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Symbolic model checking composite Web services using operational and control behaviors.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2013

Reducing model checking commitments for agent communication to model checking ARCTL and GCTL*.

[BibT_eX]

[DOI]

Auton. Agents Multi Agent Syst., 2013

Reasoning about social commitments in the presence of uncertainty.

[BibT_eX]

[DOI]

Proceedings of the IEEE 12th International Conference on Intelligent Software Methodologies, 2013

Fair resource allocation and control in multi-operator GPON access networks.

[BibT_eX]

[DOI]

Proceedings of the 6th Joint IFIP Wireless and Mobile Networking Conference, 2013

A QoS-Based Trust Approach for Service Selection and Composition via Bayesian Networks.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE 20th International Conference on Web Services, Santa Clara, CA, USA, June 28, 2013

Representing and reasoning about communicative conditional commitments.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

On the analysis of joining communities of agent-basedweb services.

[BibT_eX]

[DOI]

Proceedings of the International conference on Autonomous Agents and Multi-Agent Systems, 2013

Efficient Coalition Formation for Web Services.

[BibT_eX]

[DOI]

Hadi Otrok

Rabeb Mizouni

Proceedings of the 2013 IEEE International Conference on Services Computing, Santa Clara, CA, USA, June 28, 2013

2012

CRM: An efficient trust and reputation model for agent computing.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2012

Communicative commitments: Model checking and complexity analysis.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2012

Scheduling Reputation Maintenance in Agent-based Communities Using Game Theory.

[BibT_eX]

[DOI]

Mohamed Amine M'hamdi

J. Softw., 2012

On the analysis of reputation for agent-based web services.

[BibT_eX]

[DOI]

Expert Syst. Appl., 2012

Quantitative Model Checking of Knowledge.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2012

Trustworthy Web Service Selection Using Probabilistic Models.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE 19th International Conference on Web Services, 2012

Analyzing Coopetition Strategies of Services within Communities.

[BibT_eX]

[DOI]

Mahsa Alishahi

Rabeb Mizouni

Hadi Otrok

Proceedings of the Service-Oriented Computing - 10th International Conference, 2012

An Approach on Merging Agents' Trust Distributions in a Possibilitic Domain.

[BibT_eX]

[DOI]

Proceedings of the Agents and Artificial Intelligence - 4th International Conference, 2012

Merging Successive Possibility Distributions for Trust Estimation under Uncertainty in Multi-agent Systems.

[BibT_eX]

Proceedings of the ICAART 2012 - Proceedings of the 4th International Conference on Agents and Artificial Intelligence, Volume 1, 2012

On the Analysis of Satisfaction for Web Services Selection.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE Ninth International Conference on Services Computing, 2012

2011

Collusion-Resistant Reputation Mechanism for Multi-Agents Systems.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Conference on Ambient Systems, 2011

Model Checking Single Web Services using Markov Chains and MDPs.

[BibT_eX]

[DOI]

Giti Oghabi

Abdelghani Benharref

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

On the Argumentative Agent Types and Negotiation.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2011

Online monitoring for sustainable communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 12th IFIP/IEEE International Symposium on Integrated Network Management, 2011

Model Checking Epistemic and Probabilistic Properties of Multi-agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

Model Checking Commitment Protocols.

[BibT_eX]

[DOI]

Proceedings of the Modern Approaches in Applied Intelligence, 2011

On the Verification of Behavioral and Probabilistic Web Services Using Transformation.

[BibT_eX]

[DOI]

Giti Oghabi

Abdelghani Benharref

Proceedings of the IEEE International Conference on Web Services, 2011

Under Uncertainty Trust Estimation through Unknown Agents, in a Multi-valued Trust Environment.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Tools with Artificial Intelligence, 2011

Game-Theoretic Analysis of a Web Services Collaborative Mechanism.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 9th International Conference, 2011

On the verification of social commitments and time.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2011), 2011

Using 3-Way Satisfaction for Web Service Selection: Preliminary Investigation.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

A Game Theoretic Approach for Analyzing the Efficiency of Web Services in Collaborative Networks.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

A New Approach for Quality Enforcement in Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Une approche de communication entre agents logiciels basée sur la pertinence.

[BibT_eX]

[DOI]

Rev. d'Intelligence Artif., 2010

Using argumentation to model and deploy agent-based B2B applications.

[BibT_eX]

[DOI]

Rafiul Alam

Zakaria Maamar

Nanjangud C. Narendra

Knowl. Based Syst., 2010

Analyzing Communities of Web Services Using Incentives.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2010

Separating Operational and Control Behaviors: A New Approach to Web Services Modeling.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2010

A taxonomy of argumentation models used for knowledge representation.

[BibT_eX]

[DOI]

Micheline Bélanger

Artif. Intell. Rev., 2010

Formal Specification of Substitutability Property for Fault-Tolerance in Reactive Autonomic Systems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2010

A managerial community of Web Services for management of communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the NOTERE 2010, Annual International Conference on New Technologies of Distributed Systems, Touzeur, Tunisia, May 31, 2010

Modeling and Verifying Business Interactions via Commitments and Dialogue Actions.

[BibT_eX]

[DOI]

Proceedings of the Agent and Multi-Agent Systems: Technologies and Applications, 2010

Modeling and Verifying Agent-Based Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Trends in Applied Intelligent Systems, 2010

Analyzing the Relationships between some Parameters of Web Services Reputation.

[BibT_eX]

[DOI]

Ahmad Moazin

Proceedings of the IEEE International Conference on Web Services, 2010

Symbolic Model Checking Commitment Protocols Using Reduction.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VIII, 2010

Symbolic model checking for agent interactions.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

An agent communication protocol for resolving conflicts.

[BibT_eX]

[DOI]

Proceedings of the 9th International Conference on Autonomous Agents and Multiagent Systems (AAMAS 2010), 2010

A formal specification of fault-tolerance in prospecting asteroid mission with Reactive Autonomie Systems Framework.

[BibT_eX]

[DOI]

Proceedings of the 21st IEEE International Conference on Application-specific Systems Architectures and Processors, 2010

On the Reputation of Agent-Based Web Services.

[BibT_eX]

[DOI]

Proceedings of the Twenty-Fourth AAAI Conference on Artificial Intelligence, 2010

Analyzing Communities vs. Single Agent-Based Web Services: Trust Perspectives.

[BibT_eX]

[DOI]

Proceedings of the 2010 IEEE International Conference on Services Computing, 2010

2009

Model checking communicative agent-based systems.

[BibT_eX]

[DOI]

Knowl. Based Syst., 2009

An Approach to Engineer Communities of Web Services: Concepts, Architecture, Operation, and Deployment.

[BibT_eX]

[DOI]

Zakaria Maamar

Sattanathan Subramanian

Philippe Thiran

Djamal Benslimane

Int. J. E Bus. Res., 2009

On the Measurement of Negotiation Dialogue Games.

[BibT_eX]

[DOI]

Abdeslam En-Nouaary

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

A Formal Verification Approach of Conversations in Composite Web Services Using NuSMV.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2009

Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering Research, 2009

Web Services Synchronization in Composition Scenarios.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Enhancing Engineering Methodology for Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

An Integrated Semantics of Social Commitments and Associated Operations.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Introductory Essay of MALLOW-AWESOME'009.

[BibT_eX]

[DOI]

Proceedings of the Second Multi-Agent Logics, 2009

Verifiable Semantic Model for Agent Interactions Using Social Commitments.

[BibT_eX]

[DOI]

Proceedings of the Languages, 2009

An Approach to Incentive-Based Reputation for Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Web Services, 2009

Reputation Cascade Model over Social Connections in Online Social Networks.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2009

A New Semantics of Social Commitments Using Branching Space-Time Logic.

[BibT_eX]

[DOI]

Proceedings of the 2009 IEEE/WIC/ACM International Conference on Web Intelligence and International Conference on Intelligent Agent Technology, 2009

On the Meaning of SysML Activity Diagrams.

[BibT_eX]

[DOI]

Yosr Jarraya

Mourad Debbabi

Proceedings of the 16th Annual IEEE International Conference and Workshop on the Engineering of Computer Based Systems, 2009

Declarative and Numerical Analysis of Edge Creation Process in Trust-Based Social Networks.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VII, 2009

Maintenance-based trust for multi-agent systems.

[BibT_eX]

[DOI]

Proceedings of the 8th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2009), 2009

A New Approach to Model Web Services' Behaviors Based on Synchronization.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

A Multi-agent-based Approach to Improve Intrusion Detection Systems False Alarm Ratio by Using Honeypot.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

Combined On-line and Off-line Trust Mechanism for Agent Computing.

[BibT_eX]

[DOI]

Proceedings of the IEEE 23rd International Conference on Advanced Information Networking and Applications, 2009

Social Network-Based Trust for Agent-Based Services.

[BibT_eX]

[DOI]

Proceedings of the 23rd International Conference on Advanced Information Networking and Applications, 2009

2008

Agent-based communities of web services: an argumentation-driven approach.

[BibT_eX]

[DOI]

Sattanathan Subramanian

Serv. Oriented Comput. Appl., 2008

Computational logic-based agents.

[BibT_eX]

[DOI]

Francesca Toni

Auton. Agents Multi Agent Syst., 2008

Simulating new markets by introducing new accepting policies for the conventional continuous double auction.

[BibT_eX]

[DOI]

Proceedings of the 2008 Spring Simulation Multiconference, 2008

Designing and Implementing B2B Applications Using Argumentative Agents.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2008

An approach to comprehensive trust management in multi-agent systems with credibility.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Research Challenges in Information Science, 2008

On the reputation of communities of web services.

[BibT_eX]

[DOI]

Proceedings of the 8th international conference on New technologies in distributed systems, 2008

An Adaptive Configuration for Agent-Based Supply Network.

[BibT_eX]

[DOI]

Khaled Ghoneim

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

Using Trustworthy and Referee Agents to Secure Multi-Agent Systems.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Conference on Information Technology: New Generations (ITNG 2008), 2008

A Formal Framework of Conversational Goals Based on Strategic Reasoning.

[BibT_eX]

[DOI]

Proceedings of the New Frontiers in Applied Artificial Intelligence, 2008

Strategic Agent Communication: An Argumentation-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies VI, 2008

An Experience Improving Intrusion Detection Systems False Alarm Ratio by Using Honeypot.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

Reputation of Communities of Web Services - Preliminary Investigation.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Advanced Information Networking and Applications, 2008

2007

A security framework for agent-based systems.

[BibT_eX]

[DOI]

Int. J. Web Inf. Syst., 2007

A New Quantitative Trust Model for Negotiating Agents using Argumentation.

[BibT_eX]

[DOI]

Int. J. Comput. Sci. Appl., 2007

An Argumentation Framework for Communities of Web Services.

[BibT_eX]

[DOI]

IEEE Intell. Syst., 2007

Model Checking Communicative Agent-Based Systems.

[BibT_eX]

[DOI]

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2007

A New Quantitative Trust Model for Negotiating Agents.

[BibT_eX]

Proceedings of the First International Conference on Research Challenges in Information Science, 2007

Securing Agent-Oriented Systems: An Argumentation and Reputation-based Approach.

[BibT_eX]

[DOI]

Proceedings of the Fourth International Conference on Information Technology: New Generations (ITNG 2007), 2007

Using Argumentative Agents to Manage Communities of Web Services.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Advanced Information Networking and Applications (AINA 2007), 2007

2006

A Computational Framework for Human/Agent Communication Using Argumentation, Implicit Information, and Social Influence.

[BibT_eX]

[DOI]

Karim Bouzoubaa

Proceedings of the 2006 IEEE/WIC/ACM International Conference on Intelligent Agent Technology, 2006

A New Logical Semantics for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 7th International Workshop, 2006

A New Model Checking Approach for Verifying Agent Communication Protocols.

[BibT_eX]

[DOI]

Proceedings of the Canadian Conference on Electrical and Computer Engineering, 2006

Specification and Complexity of Strategic-Based Reasoning Using Argumentation.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, Third International Workshop, 2006

2005

A Tableau Method for Verifying Dialogue Game Protocols for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Declarative Agent Languages and Technologies III, 2005

2004

A Computational Model for Conversation Policies for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

A Logical Model for Commitment and Argument Network for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2004), 2004

A Modal Semantics for an Argumentation-Based Pragmatics for Agent Communication.

[BibT_eX]

[DOI]

Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

Specifying and Implementing a Persuasion Dialogue Game Using Commitments and Arguments.

[BibT_eX]

[DOI]

Brahim Chaib-draa

Proceedings of the Argumentation in Multi-Agent Systems, First International Workshop, 2004

Dialogization and Implicit Information in an Agent Communicational Model.

[BibT_eX]

[DOI]

Karim Bouzoubaa

Proceedings of the Agent Communication, International Workshop on Agent Communication, 2004

2003

Commitment and Argument Network: A New Formalism for Agent Communication.

[BibT_eX]

[DOI]