2003
Novais, P.; Neves, J.; Brito, L.; Machado, J.
Argumentative procedures in e-commerce environments Proceedings Article
In: pp. 703-716, Springer New York LLC, Lisbon, 2003, ISSN: 18684238, (cited By 1; Conference of 2nd IFIP Conference on E-Commerce, E-Business, E-Government, 13E 2002 ; Conference Date: 7 October 2002 Through 9 October 2002; Conference Code:106294).
Abstract | Links | BibTeX | Etiquetas: Argument-based negotiation; Argumentation schemes; Extended logic programming; Knowledge representation and reasoning; Mediator agents, Computer circuits; e-government; Formal methods; Intelligent agents; Knowledge representation; Logic programming; Software design, Electronic commerce
@inproceedings{Novais2003703,
title = {Argumentative procedures in e-commerce environments},
author = {P. Novais and J. Neves and L. Brito and J. Machado},
url = {https://www.scopus.com/inward/record.uri?eid=2-s2.0-84904245828&partnerID=40&md5=004f5c300f3aa77a530321ba2950390b},
issn = {18684238},
year = {2003},
date = {2003-01-01},
journal = {IFIP Advances in Information and Communication Technology},
volume = {105},
pages = {703-716},
publisher = {Springer New York LLC},
address = {Lisbon},
abstract = {The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no simple methodology had yet been stated to address the complexity present in this approach, it not only addresses problems of architecture development and analysis, but also looks at problems of knowledge representation and reasoning, and machine learning. Such a framework will follow the Experience-Based Mediator agent paradigm particularly suited to take into account the argumentation schemes that are inherent to any electronic commerce deal. © 2003 by Springer Science+Business Media New York.},
note = {cited By 1; Conference of 2nd IFIP Conference on E-Commerce, E-Business, E-Government, 13E 2002 ; Conference Date: 7 October 2002 Through 9 October 2002; Conference Code:106294},
keywords = {Argument-based negotiation; Argumentation schemes; Extended logic programming; Knowledge representation and reasoning; Mediator agents, Computer circuits; e-government; Formal methods; Intelligent agents; Knowledge representation; Logic programming; Software design, Electronic commerce},
pubstate = {published},
tppubtype = {inproceedings}
}
The use of agent's technology in electronic commerce environments leads to the necessity to introduce some sort of formal attitude in the processes of software development and analysis. Logic programming and specially extended logic programming provides a powerful tool for achieving such goal; i.e., besides being mathematically correct it makes the prototyping phase easier. However, although no simple methodology had yet been stated to address the complexity present in this approach, it not only addresses problems of architecture development and analysis, but also looks at problems of knowledge representation and reasoning, and machine learning. Such a framework will follow the Experience-Based Mediator agent paradigm particularly suited to take into account the argumentation schemes that are inherent to any electronic commerce deal. © 2003 by Springer Science+Business Media New York.