Knowledge-intensive processes are widely used to recover from errors, handle exceptional cases and complaints, and to improve or adapt a process itself. In this context, evolved Business-Process Reengineering (BPR) techniques are changing to give some answers to this reality. In…

The goal of this work involves the developing of an argumentation-based formalism that an agent could use for constructing plans. In this formalism, agents will have certain knowledge about the world, and a set of actions that they will be…

In this work we analyze the problem of incorporating specificity to characterize defeat in a particular argumentative framework, called observation based defeasible logic programming (ODeLP) [1]. Eficiency is an important issues in ODeLP, since this framework has been de ned…

In todays world where nearly every company is dependent on the Internet to survive, it is not surprising that the role of intrusion detection has become extremely important within the last decade. Intrusion detection involves determining whether some entity has…

It is commonly acknowledged that we need to accept and handle uncertainty when reasoning with real world data. The most profoundly studied measure of uncertainty is the probability. However, the general feeling is that probability cannot express all types of…

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…

Education involves a continuous process of exploration, acquisition, organization, integration and delivery of information and knowledge. In recent years, e-learning sites and applications have exponentially started to grow, being a central phenomenon for the industry and education fields. Key factors…

Our research project intends to build knowledge about HPC problems to be able to help local researchers. In the general case, researchers who consult us do not own the sources to the parallel programs they run. In order to advise…

Ontology integration is the problem of combining data sources in the SemanticWeb. Concepts in source ontologies are captured in terms of concepts de ned in a global ontology. When some of these ontologies are inconsistent, the knowledge engineer often has…

Component Based Software Development (CBSD) relies upon utilization of previously developed software components OTS (Off-The-Shelf), which are appropriately merged to satisfy particular system requirements. However, wide acceptance of this paradigm at industry requires efficient component identification and selection, aspects which…