This work describes a multi agent system designed to support the management of tacit knowledge that belongs to people of an organization. This is a distributed knowledge management system based on the use of mobile agents, which receive the user's…

Most of the search engines available over the Web are based on mathematical approaches | classical techniques in the Information Retrieval area. Thereby, they are suitable for the retrieval of documents containing some or all the terms of a query,…

When using tableaux algorithms to reason about Description Logics (DLs), new information is inferred from the models considered while trying to achieve knowledge satisfiability. By focusing the ontology change problem, we consider an environment where DLs are the logical formalization…

IP Networks, and particularly the Internet, were proposed to be a simple and robust support for heterogeneous communications. This implies that only basic controls have to be done by network elements. Connection management, along with transport, and more generally communication…

Intelligent computing systems comprising microprocessor cores, memory and reconfigurable user-programmable logic represent a promising technology which is well-suited for applications such as digital signal and image processing, cryptography and encryption, etc. These applications employ frequently recursive algorithms which are particularly…

The requirements elicitation phase of software development projects is characterised by the intensity and importance of communication activities. Requirements elicitation is a traditional exploratory phase in which context is analysed and an abstraction is performed as a consequence. However, exploratory…

Artificial Intelligence (AI) has long dealt with the issue of finding a suitable formalization for commonsense reasoning. Defeasible argumentation has proven to be a successful approach in many respects, proving to be a confluence point for many alternative logical frameworks.…

This article introduces an approach to anomaly intrusion detection based on a combination of supervised and unsupervised machine learning algorithms. The main objective of this work is an effective modeling of the TCP/IP network traffic of an organization that allows…

Decision making models for autonomous agents are recently receiving increased attention, particularly in the feld of intelligent robots. This work presents a Defeasible Logic Programming approach to decision making in an environment with single and multiple robots. We will show,…

Classical methods for representing and reasoning with knowledge rely on the assumption that the available information is complete, certain and consistent. In real-world problems this is usually not the case, and Al has long dealt with the issue of finding…