Argumentation in the Semantic Web

IEEE Intelligent Systems

Volumn 22, Issue 6, 2007, Pages 66-74

  Torroni, Paolo ^a   Chesani, Federico ^a   Gavanelli, Marco ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITY OF FERRARA   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

INTELLIGENT AGENTS; KNOWLEDGE BASED SYSTEMS; LOGIC PROGRAMMING; SERVERS; WEB SERVICES;

ARGUMENTATION-DRIVEN INTERACTION; GROUNDED SETS; MESSAGE EXCHANGES;

SEMANTIC WEB;

EID: 36849037446     PISSN: 15411672     EISSN: None     Source Type: Journal    
DOI: 10.1109/MIS.2007.100     Document Type: Article

References (11)

1. M. Alberti et al., "Verifiable Agent Interaction in Abductive Logic Programming : The SCIFF Framework," to be published in ACM Trans. Computational Logic; http://tocl.acm.org/accepted.html.
2. T.H. Fung and R. Kowalski, "The IFF Proof Procedure for Abductive Logic Programming," J. Logic Programming, vol. 33, no. 2, 1997, pp. 151-165.
3. L. Laera et al., "Reaching Agreement over Ontology Alignments," Proc. 5th Int'l Semantic Web Conf. (ISWC 06), LNCS 4273, Springer, 2006, pp. 371-384.
4. P. Dung, "On the Acceptability of Arguments and Its Fundamental Role in Nonmonotonic Reasoning, Logic Programming and N-Person Games." Artificial Intelligence, vol. 77, no. 2, 1995, pp. 321-357.
5. M. Alberti et al., "Mapping Deontic Operators to Abductive Expectations," Computational and Mathematical Organization Theory, vol. 12, nos. 2-3, 2006, pp. 205-225.
6. M. Alberti et al., "Web Service Contracting: Specification and Reasoning with SCIFF." Proc. 4th European Semantic Web Conf. (ESWC 07), LNCS 4519, Springer. 2007, pp. 68-83.
7. A. Wyner, T. Bench-Capon, and K. Atkinson, "Three Senses of 'Argument.'" Proc. Workshop Argumentation and Nonmonotonic Reasoning (ArgNMR 07). 2007, pp. 1-15; http://lia.deis.unibo.it/confs/ArgNMR/ proceedings/ArgNMR-proceedings.pdf.
8. A. Kakas. R. Kowalski, and F. Toni, "Abductive Logic Programming." J. Logic and Computation, vol. 2, no. 6, 1993, pp. 719-770.
9. K. Kunen, "Negation in Logic Programming," J. Logic Programming, vol. 4, 1987, pp. 289-308.
10. A. Kakas and F. Toni, "Computing Argumentation in Logic Programming." J. Logic and Computation, vol. 9. no. 4. 1999, pp. 515-562.
11. S. Coste-Marquis. C. Devred, and P. Marquis. "Symmetric Argumentation Frameworks," Proc. 8th European Conf. Symbolic and Quantitative Approaches to Reasoning with Uncertainty (ECSQUARU 05). LNCS 3571, Springer, 2005, pp. 317-328.