Resolution of conflicts across services in smart cities is an important yet challenging problem. We present CityResolver – a decision support system for conflict resolution in smart cities. CityResolver uses an Integer Linear Programming based method to generate a small set of resolution options, and a Signal Temporal Logic based verification approach to compute these resolution options’ impact...

Norms, that is, obligations, prohibitions and permissions, are useful abstractions to facilitate coordination in open, heterogeneous multi-agent systems. We observe a lack of distributed architectures and non-centralised computational models for norms. We propose a model, viz., normative structures, to regulate the behaviour of autonomous agents taking part in simultaneous and possibly related ...

Cognitive control is related to goal-directed self-regulation abilities, which is fundamental for human development. Conflict control includes the neural processes of conflict monitoring and conflict resolution. Testosterone and cortisol are essential hormones for the development of cognitive functions. However, there are no studies that have investigated the correlation of these two hormones w...

Shared online databases, such as Google Fusion Tables or Quickbase, allow non-programmer community members to collaboratively maintain and browse data. While community members may believe in conflicting facts (due to conflicting sources, measurements or opinions), current online databases do not yet offer support for the management of data conflicts. Ricolla is a novel online database that trea...

The hypothesized role of Broca's area in sentence processing ranges from domain-general executive function to domain-specific computation that is specific to certain syntactic structures. We examined this issue by manipulating syntactic structure and conflict between syntactic and semantic cues in a sentence processing task. Functional neuroimaging revealed that activation within several Broca'...

Cognitive control can be triggered in reaction to previous conflict, as suggested by the finding of sequential effects in conflict tasks. Can control also be triggered proactively by presenting cues predicting conflict ("proactive control")? We exploited the high temporal resolution of ERPs and controlled for sequential effects to ask whether proactive control based on anticipating conflict mod...

This paper provides a critical analysis of the United Nations (UN) Security Council’s ‘naming and shaming’ provision in operative paragraph 3 of Security Council resolution 1960 (2010), arguing this is a counterproductive development in the contemporary collective security approach to women, peace and security. Resolution 1960, the fifth Security Council resolution on women, peace and security,...

Data fusion is a hot topic in data integration which at least includes the two stages: entity resolution and data conflict resolution. However, the existing fusion process is transparent and the fusion stages are isolated. So in this paper, we proposed a traceable data fusion mechanism based on data provenance which can trace the data sources of fusion results and the evolutionary process. The ...

Conflicts exist in multi-agent systems for a number of reasons: agents have different interests and desires; agents hold different beliefs; agents make different assumptions. To resolve conflicts, agents need to better convey information to each other and facilitate fair negotiations yielding jointly agreeable outcomes. We present a two-agent, dialogical conflict resolution scheme developed wit...