Negative information can be represented in several classes of logic programs. These approaches were first motivated by the search for an appropriate declarative semantics for negation as failure. Recently, some formalizations of monotonic negation were also introduced in logic programming…

An Electronic Government Procurement (e-GP) project, as most of complex software systems development and implantation, requires sophisticated and strong managerial concepts and skills. So, an effective and consistent managerial framework is needed.
Traditional project management models, that propose a series…

The aim of this work is to present a data mining application to software engineering. We describe the use of data mining in some parts of the design process of a dynamic decision support system agent-based architecture. The main function…

The Semantic Web attempts to reach a state in the future where everything on the Web will no longer be only machine-readable, but also machine-understandable. An ontology is an explicit specification of a conceptualization. A conceptualization is an abstract, simplified…

Collaborative systems are becoming a widely used tool particularly among professional communities and research groups. They provide a suitable context for distributed people working on the same subject to concentrate their work in a shared place to which everyone has…

In this paper, we present an approach to student's evaluation in a well-defined domain based on a semantic network. A similarity matrix based on the semantic memory structure of humans is used to build a semantic distance model in order…

In this work we analyze the problem of knowledge representation in a collaborative multi-agent system where agents can obtain new information from others through communication. Namely, we analyze several approaches of belief revision in multi-agent systems. We will describe different…

This essay is based on a previous “regression” testing knowledge, black box testing and user graphic interfaces testing. Besides, due to the fact that the testing life cycle is inside the software life cycle, the suggested focus promotes existing test…

In this article we present a generalized dynamic argumentation framework that handles arguments expressed in an abstract language assumed to be some first order logic fragment. Once the formalism is presented, we propose a reification to the description logic ALC…

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…