A5083304312- Multi-Agent Systems and Negotiation
- Logic, Reasoning, and Knowledge
- Opinion Dynamics and Social Influence
- Semantic Web and Ontologies
- Mental Health Research Topics
- Cognitive Science and Mapping
- AI-based Problem Solving and Planning
- Complex Network Analysis Techniques
- Business Process Modeling and Analysis
- Complex Systems and Decision Making
- Evolutionary Game Theory and Cooperation
- Action Observation and Synchronization
- Embodied and Extended Cognition
- Human-Automation Interaction and Safety
- Team Dynamics and Performance
- Service-Oriented Architecture and Web Services
- Cognitive Science and Education Research
- Neural and Behavioral Psychology Studies
- Advanced Software Engineering Methodologies
- Formal Methods in Verification
- Functional Brain Connectivity Studies
- Neural dynamics and brain function
- Child and Adolescent Psychosocial and Emotional Development
- Social Robot Interaction and HRI
- Context-Aware Activity Recognition Systems
Vrije Universiteit Amsterdam
2015-2024
Queensland University of Technology
2023
Delft University of Technology
2021-2023
Universitat de Miguel Hernández d'Elx
2023
Laboratoire d'Informatique de Paris-Nord
2017
Amsterdam UMC Location Vrije Universiteit Amsterdam
2010-2013
Los Alamitos Medical Center
2013
University of Dundee
2009
University of Maryland, Baltimore County
2009
Utrecht University
2002-2006
Deep Learning (DL), a groundbreaking branch of Machine (ML), has emerged as driving force in both theoretical and applied Artificial Intelligence (AI). DL algorithms, rooted complex non-linear artificial neural systems, excel at extracting high-level features from data. demonstrated human-level performance real-world tasks, including clinical diagnostics, unlocked solutions to previously intractable problems virtual agent design, robotics, genomics, neuroimaging, computer vision, industrial...
When people interact, their behavior tends to become synchronized, a mutual coordination process that fosters short-term adaptations, like increased affiliation, and long-term bonding. This paper addresses for the first time how such adaptivity induced by synchronization can be modeled computationally second-order multi-adaptive neural agent model. It movement, affect verbal modalities both intrapersonal synchrony interpersonal synchrony. The of introduced model was evaluated in simulation...
This paper discusses an example of the application a high-level modelling framework which supports both specification and implementation system's conceptual design. framework, DESIRE (framework for DEsign Specification Interacting REasoning components), explicitly models knowledge, interaction, coordination complex tasks reasoning capabilities in agent systems. For domain addressed this paper, operational multi-agent system manages electricity transportation network Spanish utility,...
This article presents the language and software environment LEADSTO that has been developed to model simulate dynamic processes in terms of both qualitative quantitative concepts. The is a declarative order-sorted temporal language, extended with notions like integer real. Dynamic can be modelled by specifying direct dependencies between state properties successive states. Based on was performs simulations specifications, generates data-files containing traces simulation for further...
A component-based generic agent architecture for multi-attribute (integrative) negotiation is introduced and its application described in a prototype system about cars, developed cooperation with, among others, Dutch Telecom KPN. The approach can be characterized as cooperative one-to-one multi-criteria which the privacy of both parties protected much desired. We model mechanism agents are able to use any amount incomplete preference information revealed by partner order improve efficiency...
Within many domains, among which biological, cognitive, and social areas, multiple interacting processes occur agents with dynamics that are hard to handle. This paper presents the predicate logical Temporal Trace Language (TTL) for formal specification analysis of dynamic properties multi-agent systems. language supports both qualitative quantitative aspects, therefore subsumes languages based on differential equations qualitative, approaches. A software environment has been developed TTL,...
Collective decision making involves on the one hand individual mental states such as beliefs, emotions and intentions, other interaction with others possibly different states. Achieving a satisfactory common group which all agree requires that are adapted to each by social interaction. Recent developments in neuroscience have revealed neural mechanisms mutual adaptation can be realised. These not only enable intentions converge an emerging decision, but at same time achieve shared underlying...
In this paper, an overview of the wide variety occurrences mental models in literature is discussed. They are classified according to two dimensions obtaining four categories them: static-dynamic and world-mental, where static refers for world states or dynamic processes processes. addition, distinctions made what can be done by models: they can, example, (1) used internal simulation, (2) adapted, these (3) controlled. This leads a global three-level cognitive architecture covering three...
Transformative Organizational Change becomes more and significant both practically academically, especially in the context of organizational culture learning. However computational modeling a formalization change learning processes are still largely unexplored. This paper aims to provide an adaptive network model transformative translate selection into computationally modelled processes. Additionally, it sets out connect dynamic systems view organizations self-modelling models. The creation...
A compositional method is presented for the verification of multi-agent systems. The advantages are well-structuredness proofs and reusability parts these in relation to reuse components. illustrated an example system, consisting co-operative information gathering agents. This application results a formal analysis pro-activeness reactiveness agents, shows which combinations specific type agents lead successful cooperation.
Abstract In network models for real-world domains, often adaptation has to be addressed by incorporating certain principles. some cases, also higher order occurs: the principles themselves change over time. To model such multilevel processes, it is useful have generic architecture. Such an architecture should describe and distinguish dynamics within (base level), but of itself (first-order these (second-order may still more levels adaptation. This paper introduces a this, based on notion...
In this paper, it is addressed by mathematical analysis how network-oriented modeling relates to the dynamical systems perspective on mental processes. It has been mathematically proven that any system can be modeled as a temporal-causal network model and adaptive (of order) self-modeling same order).