Recent work has suggested abductive logic programming as a suitable formalism to represent active databases and intelligent agents. In particular, abducibles in abductive logic programs can be used to represent actions, and integrity constraints in abductive logic programs can be used to represent active/reactive rules. One would expect that, in this approach, abductive proof procedures could p...

Changeability is mandatory for top class automotive industry to cope with new product development paradigms and demanding market. Hybrid Reconfigurable Assembly Systems (H-RMSs) address a customized flexibility on product families, given by coexistence or cooperation of human workers and robots. Key-issues for the effective design of harmonized hybrid assembly systems are: modularity; integrabi...

We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is based on the mechanism of the internal events. This mechanism is general and flexible, and it is different from all the other approaches that can be found in the literature. In this paper, as a case-study we discuss ...

The characteristic of being autonomous and proactive makes the agents able to explore a wide solution space, that dynamically changes or contains uncertainty. We propose a language for describing system goals that may be injected at run-time into the system. The novelty of our approach consists in decoupling the business goals (what is expected) and their implementation (how to address the desi...

This paper investigates the security of Proactive Secret Sharing Schemes. We first consider the approach of using commitment to 0 in the renewal phase in order to refresh the player’s shares and we present two types of attacks in the information theoretic case. Then we prove the conditions for the security of such a proactive scheme. Proactivity can be added also using re-sharing instead of com...

In this paper we present the setup of an extensive Wizard-of-Oz environment used for the data collection and the development of a dialogue system. The envisioned Perception and Interaction Assistant will act as an independent dialogue partner. Passively observing the dialogue between the two human users with respect to a limited domain, the system should take the initiative and get meaningfully...

There is a lack of consensus regarding how health-care providers should address SUDEP with patients. The purpose of this study was to describe various health-care providers' practices regarding discussion of SUDEP with patients. Separate focus groups were conducted with epileptologists, neurologists, and advanced practice nurses. Across all disciplines, reasons for discussing SUDEP included Pra...

Healthcare professionals, working in hospitals experience a high level of mobility due to their need for accessing patients’ clinical records, medical devices distributed throughout the premises, and colleagues with whom they collaborate. In this paper, we present how autonomous agents provide capabilities of intelligence and proactivity to healthcare environments furnished with ubiquitous comp...

This research is motivated by the need to propose a model for studying the people interaction in educational spaces such as interactive museums, assisted by ubiquitous computing environments and aided of fuzzy logic. People are represented as mobile agent software, which has certain characteristics, limited knowledge and the necessity to interact with others to achieve individual or collective ...

Nowadays creating believable characters is a top trend in the video game industry. Recent projects present new design concepts and improvements in artificial intelligence that are oriented to this goal. The expected behaviour of computer-played characters becomes increasingly demanding: proactivity, autonomous decision-making, social interaction, natural communication, reasoning and knowledge m...