The typical subroutines that compute $\\sin(x)$ and $\\exp(x)$ bear little resemblance to our mathematical knowledge of these functions: they are composed of concrete arithmetic expressions that include many mysterious numerical constants. Instead of programming these subroutines conventionally, we can express…

In order to deal with the Ontology Change problem and considering an environment where Description Logics (DLs) are used to describe ontologies, the question of how to integrate distributed ontologies appears to be in touch with Belief Revision since DL…

The main goal of this study is to document the biogeographical patterns, current status and conservation of 24 species of vascular plants in Mexico, all of them recorded in some risk category in the Mexican official publication named 'Norma Oficial…

When training hidden-Markov-model-based part-of-speech (PoS) taggers involved in machine translation systems in an unsupervised manner the use of target-language information has proven to give better results than the standard Baum-Welch algorithm. The target-language-driven training algorithm proceeds by translating every possible…

The past twenty years has seen growing academic and policy interest in the role of SMEs within a global context. There has been much debate surrounding the negative impact of globalisation on the international SME arising from increased competitive pressures.…

This paper presents a knowledge-based approach to
reducing impediments to collaboration in a
distributed environment. A major impediment to
such collaboration is the issue of communications -
clearly and efficiently expressing the desires of every
stakeholder in the process, as…

This paper descries D-SCRIPT, a language for representing knowledge in artificial intelligence programs. D-SCRIPT contains a powerful formalism for descriptions, which permits the representation of statements that are problematical for other systems. Particular attention is paid to problems of opaque…

This paper deals with the "Calculus of Knowledge", an extension of the propositional calculus in which one may reason about what other people know. Semantic and Syntactic systems are developed, certain theorems are proven, and a formal solution in the…

We live in a world, where common sense is applied almost everywhere. To apply
common sense is to understand simple facts about people and everyday life.
The study of commonsense knowledge and reasoning is important, whether to
help understand…

Build is a tool for keeping modular systems in a consistent state by managing the construction tasks (e.g. compilation, linking, etc.) associated with such systems. It employs a user supplied system model and a procedural description of a task to…