A5003931008- Multi-Agent Systems and Negotiation
- Logic, Reasoning, and Knowledge
- Semantic Web and Ontologies
- Access Control and Trust
- Auction Theory and Applications
- Business Process Modeling and Analysis
- AI-based Problem Solving and Planning
- Cryptography and Data Security
- Transportation and Mobility Innovations
- Distributed systems and fault tolerance
- Behavioral Health and Interventions
- Distributed and Parallel Computing Systems
- Game Theory and Applications
- Peer-to-Peer Network Technologies
- Network Security and Intrusion Detection
- Scientific Computing and Data Management
- Service-Oriented Architecture and Web Services
- Mobile Crowdsensing and Crowdsourcing
- Media Influence and Health
- Urban and Freight Transport Logistics
- Artificial Intelligence in Law
- Software Engineering Research
- Blockchain Technology Applications and Security
- Information and Cyber Security
- Transportation Planning and Optimization
University of Aberdeen
2015-2024
Health Data Research UK
2021
King's College London
2008-2011
King's College School
2009
University of the Witwatersrand
2002
Automated planning can be used to efficiently recognize goals and plans from partial or full observed action sequences. In this paper, we propose goal recognition heuristics that rely on information landmarks - facts actions must occur if a plan is achieve when starting some initial state. We develop two such heuristics: the first estimates completion by considering ratio between achieved extracted of candidate goal, while second takes into account how unique each landmark among for all...
In this paper, we develop and validate a scale to measure the perceived persuasiveness of messages be used in digital behaviour interventions. A literature review is conducted inspire initial items. The developed using Exploratory Confirmatory Factor Analysis on data from study with 249 ratings healthy eating messages. construct validity established 573 email security Using two studies, also show usefulness scale, by analysing different types factors both domains. results our studies that...
Many semantics for weighted argumentation frameworks assume that each argument is associated with an initial weight. However, eliciting these weights poses challenges: (1) accurately providing a specific numerical value often difficult, and (2) individuals frequently confuse acceptability degrees in the presence of other arguments. To address issues, we propose elicitation pipeline allows one to specify degree intervals argument. By employing gradual semantics, can refine when they are...
Responsibility plays a key role in the development and deployment of trustworthy autonomous systems. In this paper, we focus on problem strategic reasoning probabilistic multi-agent systems with responsibility-aware agents. We introduce logic PATL+R, variant Probabilistic Alternating-time Temporal Logic. The novelty PATL+R lies its incorporation modalities for causal responsibility, providing framework reasoning. present an approach to synthesise joint strategies that satisfy outcome...
We review the First International Competition on Computational Models of Argumentation (ICCMA'15). The competition evaluated submitted solvers' performance four different computational tasks related to solving abstract argumentation frameworks. Each task solvers in ways that pushed edge existing by introducing new challenges. Despite being first this area, high number competitors entered, and differences results, suggest will help shape landscape ongoing developments theory solvers.
The ability to create reliable, scalable virtual organisations (VOs) on demand in a dynamic, open and competitive environment is one of the challenges that underlie Grid computing. In response, CONOISE-G project, we are developing an infrastructure support robust resilient organisation formation operation. Specifically, provides mechanisms assure effective operation agent-based VOs face disruptive potentially malicious entities environments. this paper, describe system, outline its use VO...
Abstract BDI agents act in response to external inputs and their internal plan library. Understanding the root cause of agent action is often difficult, this paper we present a dialogue based approach for explaining behaviour agent. We consider two participants who may have different views regarding beliefs, plans events which drove (encoded via traces). These make utterances incrementally reveal traces each other, allowing them identify divergences traces, or conclude that agree. In...
Flexible transport systems (FTS) offer a promising approach to improving the efficiency and performance of passenger transportation services. FTS aim provide passengers with flexibility in choosing routes, times, modes transport, service provider payment systems. In order achieve this additional flexibility, well-designed integrate different possibly spanning multiple providers, more sophisticated, comfortable cost-effective opportunities. The concept flexible is not new; many existing...
The aim of intelligence analysis is to make sense information that often conflicting or incomplete, and weigh competing hypotheses may explain a situation. This imposes high cognitive load on analysts, there are few automated tools aid them in their task. In this paper, we present an agent-based tool help analysts acquiring, evaluating interpreting collaboration with others. Agents assist reasoning different types evidence identify what happened why, credible, how obtain further evidence....