Defeasible Logic Programming (DeLP) is a knowledge representation and reasoning formalism that by combining Logic Programming with Defeasible Argumentation is able to represent incomplete and potentially contradictory information.
Within the field of Logic Programming, most of the implementations of Prolog…

In this paper, a restricted domain question answering (QA) system is described. The design architecture of this QA system and the features that allow the adaptation of the QA system to the medical domain are also presented. The advantages of…

The concept of free as in "free group" is generalized to any first order theory. An interesting class of homomorphisms between models is discussed. Relations between model theory and abelian categories are discussed speculatively. This paper represents an incomplete study…

This article explores the way in which text worlds are created in advertising discourse by analysing linguistic choices and features of context which are crucial in the determination of specific relations between sender(s) and target audience(s), in particular, deixis and…

A re-design process implies dealing with complex interactions between stakeholders, especially if we are talking about a personalization re-engineered process, which can be applied to an existing web application. In this context, knowledge becomes a main factor of influence, but…

Thesis (Ph. D.)--Massachusetts Institute of Technology, Sloan School of Management, 1990., Includes bibliographical references (leaves 231-234).

by Stephen V. Glynn [and] Thomas G. Pelland., Thesis (S.M.)--Massachusetts Institute of Technology, System Design & Management Program, 2000., Includes bibliographical references (p. 134-135).

As interconnect linewidths continue to scale downward, a detailed knowledge of stress evolution and void growth processes enables a determination of the electromigration-induced failure times of these interconnects. This thesis provides this knowledge through the development of an electromigration simulation…

GPUs are flexible parallel processors capable of accelerating real applications. To exploit them, programmers rewrite programs in new languages using intimate knowledge of the underlying hardware. This is a step backwards in abstraction and ease of use from sequential programming.…

Peering and transit are two types of Internet interconnection among ISPs.
Peering has been a core concept to sustain Internet industry. However, for the
past several years, many ISPs broke their peering arrangement because of
asymmetric traffic pattern and asymmetric…