Logic-based technologies for multi-agent systems: a systematic literature review

R Calegari, G Ciatto, V Mascardi, A Omicini - Autonomous Agents and …, 2021 - Springer
Precisely when the success of artificial intelligence (AI) sub-symbolic techniques makes
them be identified with the whole AI by many non-computer-scientists and non-technical …

Accident analysis methods and models—a systematic literature review

HCA Wienen, FA Bukhsh, E Vriezekolk, RJ Wieringa - 2017 - research.utwente.nl
As part of our co-operation with the Telecommunication Agency of the Netherlands, we want
to formulate an accident analysis method and model for use in incidents in …

Modeling organizational performance indicators

V Popova, A Sharpanskykh - Information systems, 2010 - Elsevier
Performance measurement and analysis is crucial for steering the organization to realize its
strategic and operational goals. Relevant performance indicators and their relationships to …

[图书][B] An introduction to practical formal methods using temporal logic

M Fisher - 2011 - books.google.com
The name" temporal logic" may sound complex and daunting; but while they describe
potentially complex scenarios, temporal logics are often based on a few simple, and …

An agent architecture for multi-attribute negotiation using incomplete preference information

CM Jonker, V Robu, J Treur - Autonomous Agents and Multi-Agent …, 2007 - Springer
A component-based generic agent architecture for multi-attribute (integrative) negotiation is
introduced and its application is described in a prototype system for negotiation about cars …

SEAI: Social emotional artificial intelligence based on Damasio's theory of mind

L Cominelli, D Mazzei, DE De Rossi - Frontiers in Robotics and AI, 2018 - frontiersin.org
A socially intelligent robot must be capable to extract meaningful information in real time
from the social environment and react accordingly with coherent human-like behavior …

Specification and verification of dynamics in agent models

T Bosse, CM Jonker, L Van der Meij… - International Journal …, 2009 - World Scientific
Within many domains, among which biological, cognitive, and social areas, multiple
interacting processes occur among agents with dynamics that are hard to handle. This paper …

Formalisation of Damasio's theory of emotion, feeling and core consciousness

T Bosse, CM Jonker, J Treur - Consciousness and cognition, 2008 - Elsevier
This paper contributes an analysis and formalisation of Damasio's theory on core
consciousness. Three important concepts in this theory are 'emotion','feeling'and 'feeling a …

Virtual machine aware communication libraries for high performance computing

W Huang, MJ Koop, Q Gao, DK Panda - Proceedings of the 2007 ACM …, 2007 - dl.acm.org
As the size and complexity of modern computing systems keep increasing to meet the
demanding requirements of High Performance Computing (HPC) applications …

Dynamic modeling based on a temporal–causal network modeling approach

J Treur - Biologically Inspired Cognitive Architectures, 2016 - Elsevier
This paper presents a dynamic modeling approach that enables to design complex high
level conceptual representations of models in the form of causal-temporal networks, which …