In this paper, we build on previous work on Belief Revision operators based on the use of logic programming with Answer Set semantics as a representation language. We present a set of postulates for Answer Set Revision with respect to…

Las metodologías de desarrollo de sistemas de información, hacen mención de un conocimiento denominado “entendimiento del negocio”. Si bien en algunas se explicita este tipo de conocimiento, ninguna de ellas describe que información debe ser relevada para alcanzar dicho conocimiento,…

This work extends the semantics and implementation of fuzzy prolog presented in [VGM02] in order to include Default Knowledge capability. The new semantic allows non-uniform default assumptions and has Closed World Assumption (CWA) and Open World Assumption (OWA) as particular…

The Knowledge Engineering Suite is an ontology production method, based on relationship networks, for knowledge representation inside specific contexts. The production of these ontologies has three basic steps, since catching the client data, knowledge base creation, and information retrieval and…

Artificial Intelligence deals with the challenge of modeling commonsense reasoning. In the last fifteen years argument-based systems have came forward to meet this challenge as knowledge representation and reasoning tools able to model incomplete and conflicting information. We believe that…

It is interesting and important to compare, analyze and assess the alternative tools that could be used in the area of Knowledge Representation. In this paper we present a reasearch line associated to this goal: to formally establish the relation…

James Reinders (Chief Evangelist of Intel® Software at Intel) and Jim Jeffers (Principal Engineer at Intel)
have gathered in this book the working knowledge of the people involved to prototype and productize the Intel® Xeon Phi coprocessor. This include…

The development of systems with the ability to reason about change notion and actions has been of great importance for the artificial intelligence community. The definition and implementation of systems capable of managing defeasible, incomplete, unreliable, or uncertain information has…

The cognitive diagnosis is defined as the abstract process of gathering information about the student's learning and transforming that information based on instructional decisions. A model that captures the expert knowledge of experienced professors and is used to design a…

The Requirements Engineering is fundamental part of the process of software development. Even if a program uses the most advanced technologies and has the best source code, it is not useful if it does not meet your requirements. The large…