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…

In this thesis, the opportunities and challenges involved in applying natural language processing techniques to the control of unmanned aerial vehicles (UAVs) are addressed. The problem of controlling an unmanned aircraft via natural language inputs is formulated as a feedback…

In the wake of the development of technology to sequence the complete genome of an organism, it has become expedient to generate methodologies to elucidate and characterize the function of all genes constituting the complete genetic makeup of an organism,…

This thesis integrates hardware development, data analysis, and mathematical modeling to facilitate our understanding of brain cognition. Exploration of these brain mechanisms requires both structural and functional knowledge to (i) reconstruct the spatial distribution of the activity, (ii) to estimate…

Design and optimization of distillation columns for ethanol dehydration, using a hydrocarbon as entrainer, implies a good knowledge of vapor-liquid (VLE), liquid-liquid (LLE) and vapor-liquid-liquid equilibrium (VLLE). Chemical process simulation programs always require the use of a thermodynamic model that…

This paper represents a starting point in an information literacy research project by academic librarians in a UK university. The research project explores ways of enabling and encouraging quality student reading through the development of a University Reading Strategy, a…

Recently, existing design methodologies targeting traditional Web applications have been extended for Rich Internet Application modeling support. These extended methodologies currently cover the traditionally well-established design concerns, i.e. data and navigation design, and provide additional focus on user interaction and…

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)…

Knowledge acquisition for systems based on knowledge can be called knowledge engineering, according to Feigenbaum (1980) who used the term to describe the reduction of a wide context of knowledge for a set of facts and rules. The term Knowledge…

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…