AUC: a better measure than accuracy in comparing learning algorithms

CX Ling, J Huang, H Zhang - … in Artificial Intelligence: 16th Conference of …, 2003 - Springer
Predictive accuracy has been widely used as the main criterion for comparing the predictive
ability of classification systems (such as C4. 5, neural networks, and Naive Bayes). Most of …

Argumentation-based negotiation

I Rahwan, SD Ramchurn, NR Jennings… - The Knowledge …, 2003 - cambridge.org
Negotiation is essential in settings where autonomous agents have conflicting interests and
a desire to cooperate. For this reason, mechanisms in which agents exchange potential …

Towards an argument interchange format

C Chesnevar, S Modgil, I Rahwan, C Reed… - The knowledge …, 2006 - cambridge.org
The theory of argumentation is a rich, interdisciplinary area of research straddling the fields
of artificial intelligence, philosophy, communication studies, linguistics and psychology. In …

Argumentation in multi-agent systems: Context and recent developments

N Maudet, S Parsons, I Rahwan - … on argumentation in multi-agent systems, 2006 - Springer
Argumentation in Multi-Agent Systems: Context and Recent Developments Page 1
Argumentation in Multi-Agent Systems: Context and Recent Developments Nicolas Maudet1 …

A review on agent communication language

GK Soon, CK On, P Anthony, AR Hamdan - Computational Science and …, 2019 - Springer
Agent technology is a new emerging paradigm for software systems. In order to fully utilize
the capability of this technology, multiple agents operate in software environment by …

Strategical considerations for negotiating agents

L Amgoud, S Kaci - Proceedings of the fourth international joint …, 2005 - dl.acm.org
The choice of the offer to propose at a given step in a negotiation dialogue is a strategic
matter and depends broadly on the profile of the agent and its mental states. The aim of this …

[图书][B] Specification and verification of multi-agent systems

M Dastani, KV Hindriks, JJ Meyer - 2010 - books.google.com
Specification and Verification of Multi-agent Systems presents a coherent treatment of the
area of formal specification and verification of agent-based systems with a special focus on …

A human-computer dialogue system for educational debate: A computational dialectics approach

T Yuan, D Moore, A Grierson - International Journal of Artificial …, 2008 - content.iospress.com
This paper reports research concerning issues involved in adopting a computational
dialectics approach to develop a human-computer dialogue system for educational debate …

[HTML][HTML] Specifying and verifying interaction protocols in a temporal action logic

L Giordano, A Martelli, C Schwind - Journal of Applied Logic, 2007 - Elsevier
In this paper we develop a logical framework for specifying and verifying systems of
communicating agents and interaction protocols. The framework is based on Dynamic …

Dialogue games that agents play within a society

NC Karunatillake, NR Jennings, I Rahwan… - Artificial intelligence, 2009 - Elsevier
Human societies have long used the capability of argumentation and dialogue to overcome
and resolve conflicts that may arise within their communities. Today, there is an increasing …