Robotic soccer is a way of putting different developments in intelligent agents into practice, including not only problems such as multi-agent planning and coordination, but also physical problems related to vision and communication subsystems. In this work, we present the…

The chemical effects of acoustic cavitation are obtained in sono-reactors built-up from a vessel and an ultrasonic
source. In this paper, simulations of an existing sono-reactor are carried out, using a linear acoustics model, accounting
for the vibrations of the…

The extension to new languages is a well known bottleneck for rule-based systems. Considerable human effort, which typically consists in re-writing from scratch huge amounts of rules, is in fact required to transfer the knowledge available to the system from…

In this paper, we describe the process to extend TERSEO
system to Italian using an automatic porting to this new
language, as it was performed to English., In questo report viene descritto il processo in base al
quale TERSEO, un…

There exists a large amount of knowledge representation models. But most of them have significant limitations at the epistemic level. They do not have explanatory power. Most of them do not have means to represent some functional needs to work…

This paper describes an information retrieval system called NLA which analyses natural language queries. The languages used here are: English, Italian & French. The query analysis is performed in two stages: the comprehension stage, where the user's request is translated…

The aim of this work is to relate two apparently independent concepts as belief revision and relevance. We propose a formal characterization for the notion of (ir)relevance by means of a set of postulates. Then we define (ir)relevance using change…

The tools for fault impact analysis are important for the deployment of critical mission systems. These tools can be also used as a development phase aid. We introduce several concepts related to "business alarms". Business alarms are an approximation to…

In the last decade several ways to formalize defeasible reasoning have been studied. A particular approach, defeasible argumentation, has been particularly successful to achieve this goal.
The inference process of argument-based systems is based on the interaction of ar- guments…

In this article, author Ejan Mackaay presents the defining characteristics of Cyberspace and offers a legal and economic analysis of the relationships between the different actors of the Internet market, in margin of Nina Elkin-Koren and Eli Salzberger works.
On…