Travel writing has been central to the American literary canon. From all possible backgrounds, origins and spaces, religious dissenters, immigrants and others have described their travelling experiences in North America. Within this profoundly American tradition, black Americans’ narratives are a…

The software industry blames universities for their graduates lacking necessary skills, meaning that just the possession of knowledge does not necessarily imply the competent performance required by the profession.
Professional maturity in software engineering is one of software industry’s major…

This paper presents a knowledge-based approach to facilitate the engineering design
process relating to spacecrafts. Because the design evolves over a long time and typically
involves individuals working at different locations and frequently for different
organizations, the degree of collaboration…

of the remaining 263 species, we arrived at a specieslevel identification for 242, and identified the remainder to genus (19) or family (2). The recent discovery of these ornithological texts and paintings offers a unique view of the history of…

We show how to interoperate, semantically and inferentially, between the leading Semantic Web approaches to rules (RuleML Logic Programs) and ontologies (OWL/DAML+OIL Description Logic) via analyzing their expressive intersection. To do so, we define a new intermediate knowledge representation (KR)…

This study investigates an approach of knowledge discovery and data mining in insufficient databases. An application of Computational Taxonomy analysis demonstrates that the approach is effective in such a data mining process. The approach is characterized by the use ot…

We examine semantic interoperability problems in the fixed income securities industry
and propose a knowledge representation architecture for context interchange
mediation to support dynamic integration of autonomous database, web, and
procedural sources of information. For sources and…

Descripción completa.

This research is concerned with designing representations for analytical reasoning problems (of the sort found on the GRE and LSAT). These problems test the ability to draw logical conclusions. A computer program was developed that takes as input a straightforward…

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…