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…

Lawyers often need to look for previous similar legal cases when analysing new ones.
The more previous cases, the more time is spent. Classical search engines execute termbased retrieval, which may miss relevant documents as well as fetch several irrelevant…

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 development of ICTs (Information and Communication Technologies) and their application in Engineering Education (in a knowledge-centered world) is one of the axes of an ongoing educative transformation. In particular, when the objective is updating professionals and training the industrial…

Parallel machine scheduling, involves the allocation of jobs to the system resources (a bank of machines in parallel). A basic model consisting of m machines and n jobs is the foundation of more complex models. Here, jobs are allocated according…

Software tools processing partially common set of data should share an understanding of what these data mean. Since ontologies have been used to express formally a shared understanding of information, we argue that they can be used to improve integration…

Most unsupervised indigenous knowledge (IK) are known to be very useful in combating critical health issues as well as being dangerous if the administration is abused. Despite the fact that these locally prepared herbal medicine are not encouraged to be…

Defeasible Logic Programming (DeLP) is a suitable tool for knowledge representation and reasoning. Its operational semantics is based on a dialectical analysis where arguments for and against a literal interact in order to determine whether this literal is believed by…

Belief Revision systems are logical frameworks to modeling the dynamics of knowledge. That is, how to modify our beliefs when we recieve new information. The main problem arises when the information is inconsistent with beliefs that represents our epistemic state.…

Robots have become usual collaborators in our daily life. While robotic systems grow to be more and more complex, the need to engineering their software development process grows as well. Traditional approaches that are used in the development process of…