English
Related papers

Related papers: A Behavioural Theory for Interactions in Collectiv…

200 papers

Recent trends like the Internet of Things (IoT) suggest a vision of dense and multi-scale deployments of computing devices in nearly all kinds of environments. A prominent engineering challenge revolves around programming the collective…

Distributed, Parallel, and Cluster Computing · Computer Science 2025-10-08 Giorgio Audrito , Roberto Casadei , Ferruccio Damiani , Gianluca Torta , Mirko Viroli

Along with the development of chatbot, language models and speech technologies, there is a growing possibility and interest of creating systems able to interface with humans seamlessly through natural language or directly via speech. In…

Artificial Intelligence · Computer Science 2024-06-14 Frank Joublin , Antonello Ceravola , Cristian Sandu

Trust and reputation models for distributed, collaborative systems have been studied and applied in several domains, in order to stimulate cooperation while preventing selfish and malicious behaviors. Nonetheless, such models have received…

Logic in Computer Science · Computer Science 2016-07-11 Alessandro Aldini

The recently introduced Theory of the Adjacent Possible (TAP) is a model of combinatorial innovation aiming to explain the "hockey-stick" upward trend of human technological evolution, where an explosion in the number of produced items with…

Populations and Evolution · Quantitative Biology 2023-09-07 M. Andrecut

Taking an interaction network oriented perspective in informatics raises the challenge to describe deterministic finite systems which take part in networks of nondeterministic interactions. The traditional approach to describe processes as…

Distributed, Parallel, and Cluster Computing · Computer Science 2012-02-22 Johannes Reich

A complex system is a system composed of many interacting parts, often called agents, which displays collective behavior that does not follow trivially from the behaviors of the individual parts. Examples include condensed matter systems,…

Statistical Mechanics · Physics 2011-12-08 M. E. J. Newman

The Abstraction and Reasoning Corpus (ARC) provides a compact laboratory for studying abstract reasoning, an ability central to human intelligence. Modern AI systems, including LLMs and ViTs, largely operate as sequence-of-behavior…

Artificial Intelligence · Computer Science 2026-01-21 Zhiguang Liu , Yi Shang

In an open information systems paradigm, real-time context-awareness is vital for the success of cooperation, therefore dynamic security attributes of partners should considered in coalition for avoiding security conflicts. Furthermore, the…

Cryptography and Security · Computer Science 2013-05-09 Ziyi Su , Frederique Biennier

Perception of artificial agents is one the grand challenges of AI research. Deep Learning and data-driven approaches are successful on constrained problems where perception can be learned using supervision, but do not scale to open-worlds.…

Artificial Intelligence · Computer Science 2021-02-01 Hugo Caselles-Dupré , Michael Garcia-Ortiz , David Filliat

Autonomous robots combine a variety of skills to form increasingly complex behaviors called missions. While the skills are often programmed at a relatively low level of abstraction, their coordination is architecturally separated and often…

Robotics · Computer Science 2020-11-17 Razan Ghzouli , Thorsten Berger , Einar Broch Johnsen , Swaib Dragule , Andrzej Wąsowski

As autonomous service robots become more affordable and thus available also for the general public, there is a growing need for user friendly interfaces to control the robotic system. Currently available control modalities typically expect…

Approximate Bayesian computation (ABC) is a set of techniques for Bayesian inference when the likelihood is intractable but sampling from the model is possible. This work presents a simple yet effective ABC algorithm based on the…

Computation · Statistics 2019-03-01 Yanzhi Chen , Michael U. Gutmann

This work studies the operation of multi-agent networks engaged in binary decision tasks, and derives performance expressions and performance operating curves under challenging conditions with some revealing insights. One of the main…

Multiagent Systems · Computer Science 2019-05-31 Stefano Marano , Ali H. Sayed

Collective Adaptive Systems often consist of many heterogeneous components typically organised in groups. These entities interact with each other by adapting their behaviour to pursue individual or collective goals. In these systems, the…

Logic in Computer Science · Computer Science 2024-02-14 Michele Loreti , Michela Quadrini

Communicating transactions is a form of distributed, non-isolated transactions which provides a simple construct for building concurrent systems. In this paper we develop a logical framework to express properties of the observable behaviour…

Logic in Computer Science · Computer Science 2018-01-15 Vasileios Koutavas , Maciej Gazda , Matthew Hennessy

Bisimilarity is a central notion for coalgebras. In recent work, Geuvers and Jacobs suggest to focus on apartness, which they define by dualising coalgebraic bisimulations. This yields the possibility of finite proofs of distinguishability…

Logic in Computer Science · Computer Science 2024-04-26 Ruben Turkenburg , Harsh Beohar , Clemens Kupke , Jurriaan Rot

We define and analyze the operations of addition and intersection of linear time-invariant systems in the behavioral setting, where systems are viewed as sets of trajectories rather than input-output maps. The classical definition of…

Dynamical Systems · Mathematics 2023-08-11 Antonio Fazzi , Ivan Markovsky

This paper contributes to the human-machine interface community in two ways: as a critique of the closed-loop AC (augmented cognition) approach, and as a way to introduce concepts from complex systems and systems physiology into the field.…

Human-Computer Interaction · Computer Science 2008-11-11 Bradly Alicea

This article presents two studies conducted with an affective dialogue system in which text-based system-user communication was used to model, generate, and present different affective and social interaction scenarios. We specifically…

Human-Computer Interaction · Computer Science 2014-06-09 Marcin Skowron , Stefan Rank , Aleksandra Świderska , Dennis Küster , Arvid Kappas

Mereology is the study of parts and the relationships that hold between them. We introduce a behavioral approach to mereology, in which systems and their parts are known only by the types of behavior they can exhibit. Our discussion is…

Logic in Computer Science · Computer Science 2021-01-27 Brendan Fong , David Jaz Myers , David I. Spivak