An argumentation framework for communities of Web services

IEEE Intelligent Systems

Volumn 22, Issue 6, 2007, Pages 75-83

  Bentahar, Jamal ^a   Maamar, Zakaria ^b   Benslimane, Djamal ^c   Thiran, Philippe ^d  

^a Gina Cody School of Engineering and Computer Science   (Canada)

^b ZAYED UNIVERSITY   (United Arab Emirates)

^c UNIVERSITÉ LYON 1   (France)

^d UNIVERSITY OF NAMUR   (Belgium)

Author keywords

[No Author keywords available]

Indexed keywords

ARGUMENTATION THEORY; HORN LOGIC; LOGICAL LANGUAGE;

INTELLIGENT SYSTEMS; KNOWLEDGE ACQUISITION; SOFTWARE AGENTS;

WEB SERVICES;

EID: 36849005526     PISSN: 15411672     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIS.2007.99     Document Type: Review

References (11)

1. Z. Maamar et al., "Web Services Communities-Concepts & Operations," Proc. 3rd Int'l Conf. Web Information Systems and Technologies (WEBIST 07), 2007, pp. 323-327.
2. I. Rahwan, "Guest Editorial: Argumentation in Multi-Agent Systems," J. Autonomous Agents and Multiagent Systems, vol. 11, no. 2, 2006. pp. 115-125.
3. B. Benatallah, Q.Z. Sheng, and M. Dumas. "The Self-Serv Environment for Web Services Composition," IEEE Internet Computing, vol. 7. no. 1, 2003, pp. 40-48.
4. C.I. Chesñevar, A. Maguitman, and R. Loui, "Logical Models of Argument," ACM Computing Surveys, vol. 32. no. 4, 2000. pp. 337-383.
5. H. Prakken and G. A.W. Vreeswijk, "Logics for Defeasible Argumentation," Handbook of Philosophical Logic, 2nd ed., Kluwer Academic, D.M. Gabbay and F. Guenthner, eds., vol. 4. 2002, pp. 219-318.
6. S. Parsons, M. Wooldridge, and L. Amgoud. "Properties and Complexity of Some Formal Inter-agent Dialogues," J. Logic and Computation, vol. 3, no. 13. 2003, pp. 347-376.
7. J. Bentahar, B. Moulin, and B. Chaib-draa, "Specifying and Implementing a Persuasion Dialogue Game using Commitments and Arguments," Argumentation in Multi-Agent Systems, vol. 3366, Springer, 2005, pp. 130-148.
8. P. McBurney and S. Parsons. "Games That Agents Play: A Formal Framework for Dialogues between Autonomous Agents," J. Logic, Language, and Information, vol. 11, no. 3, 2002, pp. 315-334.
9. D. Walton and E. Krabbe, Commitment in Dialogue: Basic Concepts of Interpersonal Reasoning, State University of New York Press, 1995.
10. W. Dowling and J.H. Gallier, "Linear-time Algorithms for Testing the Satisfiability of Prepositional Horn Theories." J. Logic Programming, vol. 1, no.3, 1984, pp. 267-284.
11. P. McBurney, S. Parsons, and M. Wooldridge, "Desiderata for Agent Argumentation Protocols," Proc. Ist Int'l Conf. Autonomous Agents and Multi-Agent Systems. 2002, pp. 402-409.