The aim of this paper is to demonstrate that A-Prolog is a powerful language for the construction of reasoning systems. In fact, A-Prolog allows to specify the initial situation, t...
Marcello Balduccini, Michael Gelfond, Monica Nogue...
— This paper briefly describes the ELDATool, a Statecharts-based visual tool for the rapid prototyping of MultiAgent Systems based on the Event-driven Lightweight Distilled State...
This paper describes a Java-based framework for the development of componentbased software systems supporting the specification of the logic of component interactions as a first-c...
Antonio Natali, Enrico Oliva, Alessandro Ricci, Mi...
Physics education often relies on visualization of theoretical laws. While Java animations are widespread, they mostly lack user interaction. We propose a haptic device inviting u...
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...