Deceptive AI
First International Workshop, DeceptECAI 2020, Santiago de Compostela, Spain, August 30, 2020 and Second International Workshop, DeceptAI 2021, Montreal, Canada, August 19, 2021, Proceedings
Page
%P
-
Chapter and Conference Paper
Self-Governing Public Decentralised Systems
The selection of members responsible for data replication is a challenge in decentralised record-kee** systems. In ‘permissioned’ systems, this crucial task is performed by a central authority or consortium....
-
Book and Conference Proceedings
-
Chapter and Conference Paper
Agent EXPRI: Licence to Explain
Online social networks are known to lack adequate multi-user privacy support. In this paper we present EXPRI, an agent architecture that aims to assist users in managing multi-user privacy conflicts. By consid...
-
Chapter and Conference Paper
Towards an Approach for Modelling Uncertain Theory of Mind in Multi-Agent Systems
Applying Theory of Mind to multi-agent systems enables agents to model and reason about other agents’ minds. Recent work shows that this ability could increase the performance of agents, making them more effic...
-
Chapter and Conference Paper
On the Formal Semantics of Theory of Mind in Agent Communication
Recent studies have shown that applying Theory of Mind to agent technologies enables agents to model and reason about other agents’ minds, making them more efficient than agents that do not have this ability o...
-
Article
Convergence of trading strategies in continuous double auction markets with boundedly-rational networked traders
This paper considers the convergence of trading strategies among artificial traders connected to one another in a social network and trading in a continuous double auction financial marketplace. Convergence is...
-
Chapter and Conference Paper
Team Persuasion
We consider two teams of agents engaging in a debate to persuade an audience of the acceptability of a central argument. This is modelled by a bipartite abstract argumentation framework with a distinguished to...
-
Chapter and Conference Paper
A Dynamic Logic Framework for Abstract Argumentation: Adding and Removing Arguments
A dynamic framework, based on the Dynamic Logic of Propositional Assignments ( \(\mathsf {DL\text {-}PA}\) ),...
-
Chapter and Conference Paper
\( \texttt {MC} ^ \texttt {2} \texttt {MABS} \) : A Monte Carlo Model Checker for Multiagent-Based Simulations
Agent-based simulation has shown great success for the study of complex adaptive systems and could in many areas show advantages over traditional analytical methods. Due to their internal complexity, however, ...
-
Chapter and Conference Paper
Spontaneous Segregation of Agents Across Double Auction Markets
In this paper we investigate the possibility of spontaneous segregation into groups of traders that have to choose among several markets. Even in the simplest case of two markets and Zero Intelligence traders,...
-
Chapter and Conference Paper
Quantitative Analysis of Multiagent Systems Through Statistical Model Checking
Due to their immense complexity, large-scale multiagent systems are often unamenable to exhaustive formal verification. Statistical approaches that focus on the verification of individual traces can provide an...
-
Chapter and Conference Paper
Direct Exchange Mechanisms for Option Pricing
This paper presents the design and simulation of direct exchange mechanisms for pricing European options. It extends McAfee’s single-unit double auction to multi-unit format, and then applies it for pricing op...
-
Chapter and Conference Paper
Towards Agent Dialogue as a Tool for Capturing Software Design Discussions
Software design is an important creative step in the engineering of software systems, yet we know surprisingly little about how humans actually do it. While it has been argued before that there is a need for f...
-
Chapter and Conference Paper
Verification and Validation of Agent-Based Simulations Using Approximate Model Checking
This paper focusses on the usefulness of approximate probabilistic model checking for the internal and external validation of large-scale agent-based simulations. We describe the translation of typical validat...
-
Chapter and Conference Paper
Exploring Optimal Service Compositions in Highly Heterogeneous and Dynamic Service-Based Systems
Dynamic and heterogeneous service-oriented systems present challenges when develo** composite applications that exhibit specified quality properties. Resource heterogeneity, mobility, and a large number of s...
-
Article
Research opportunities for argumentation in social networks
Nowadays, many websites allow social networking between their users in an explicit or implicit way. In this work, we show how argumentation schemes theory can provide a valuable help to formalize and structure...
-
Article
The role of the environment in agreement technologies
The notion of Multi-Agent System environment is currently considered as a mediating entity, functioning as enabler but possibly also as a manager and constrainer of agent actions, perceptions, and interactions...
-
Chapter and Conference Paper
Social Networking and Information Diffusion in Automated Markets
To what extent do networks of influence between market traders impact upon their individual performance and the performance of the specialists in which they operate? Such a question underpins the content of th...
-
Article
Deliberation dialogues for reasoning about safety critical actions
In this paper we present the argument-based model proCLAIM, intended to provide a setting for heterogeneous agents to deliberate over safety critical actions. To achieve this purpose proCLAIM features a Mediator ...
-
Article
Using argumentation to model agent decision making in economic experiments
In this paper we demonstrate how a qualitative framework for decision making can be used to model scenarios from experimental economic studies and we show how our approach explains the results that have been r...
