Diabetes mellitus is a syndrome which affects more and more people in all countries over the world. In Mexico, it is commonly treated with herbal extracts. Such treatment may be of considerable benefit especially during the early stages of the…

This thesis will explore the design and optimization of a peer-to-peer network application as a solution to complex content management problems. Currently, most content management systems are expensive, cumbersome and inflexible custom solutions that require knowledge workers to change their…

In this work we present an approach to model an action-oriented system controlled by BDI agents using a defeasible argumentation formalism to represent its knowledge. Here, our main concern will be modelling the software agents that drive the physical robots.

Knowledge of how groups of people interact is important in many disciplines, e.g. organizational behavior, social network analysis, knowledge management and ubiquitous computing. Existing studies of social network interactions have either been restricted to online communities, where unambiguous measurements about…

Understanding the biological signals encoded in a genome is a key challenge of computational biology. These signals are encoded in the four-nucleotide alphabet of DNA and are responsible for all molecular processes in the cell. In particular, the genome contains…

This thesis explores how doctors and nurses use documents to share their knowledge within and across healthcare settings. In addressing this question I draw on a 15-month, multi-sited ethnographic study in several pediatric health care settings, following patients from primary…

This report describes a system which maintains canonical expressions for designators under a set of equalities. Substitution is used to maintain all knowledge in terms of these canonical expressions. A partial order on designators, termed the better-name relation, is used…

Biogeography is a discipline included in comparative biology that studies the distribution of organisms, the distributional patterns of organisms are analyzed through the application of different methods, depending on the question formulated. In this work the principles and advantages of…

Some proponents of epistemological approaches to argumentation (Biro, Siegel, Lumer, Goldman) assume that it should be possible to develop non-relative
criteria of argument evaluation. By contrast, this paper argues that any evaluation of an argument depends (a) on the cognitive…

The necessity of verification tools for Knowledge Based-Systems (KBSs), that help to guarantee a certain degree of quality and reliability of these systems will increase in the future when more critical systems are developed in areas such as industry, science,…