The article describes the proposition and implementation of a demonstration, learning and decision support system for the resolution of combinatorial optimization problems under multiple objectives. The system brings together two key aspects of higher education: research and teaching. It allows…

Metrics used on development of expert systems is not a well investigated problem area. This article suggests some metrics to be used to measure the maturity of the conceptualization process and the complexity of the decision process in the problem…

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…

In this paper we present an e ective prover for mbC, a minimal inconsistency logic. The mbC logic is a paraconsistent logic of the family of logics of formal inconsistency. Paraconsistent logics have several philosophical motivations as well as many…

Searching for information in databases or on the world wide web to enhance our knowledge has become an everyday task. The internet is a major source of information for education. When we want to make new material available in digital…

En el presente trabajo se presenta una propuesta de modelo de un Sistema Autónomo Inteligente (AIS) a través de una ontología sobre la base de la arquitectura LOPE-LC (Learning by Observation in Planning Environments, Life Cycle) con la incorporación de…

La noción de formularios como una manera de organizar y presentar datos ha sido usada desde el comienzo de la World Wide Web. Los formularios web han evolucionado junto con el desarrollo de nuevos lenguajes de marcado, en los cuales…

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 few years, several studies have emphasized the use of ontologies as an alternative to organization of the information.
The notion of ontology has become popular in fields such as intelligent information integration, information retrieval on the Internet,…

Evolutionary algorithms (EAs) are merely blind search algorithms, which only make use of the relative fitness of solutions, but completely ignore the nature of the problem. Their performance can be improved by using new multirecombinative approaches, which provide a good…