In the last years there has been an increasing demand of a variety of logical systems, prompted
mostly by applications of logic in AI, logic programming and other related areas. Labeled Deductive
Systems (LDS) were developed as a °exible methodology…

by C. Annique Un., Thesis (Ph.D.)--Massachusetts Institute of Technology, Sloan School of Management, February 2001., "February 2000.", Includes bibliographical references (leaves 297-311).

The aim of this work is to analyze the knowledge interchange on multi-agent systems using shared knowledge areas. The project involves the analysis and reformulation of some aspects of the Linda model, adding new model level features. This work proposes…

In logic programs, negation-as-failure has been used both for representing negative information and for providing default nonmonotonic inference. In this paper we argue that this twofold role is not only unnecessary for the expressiveness of the language, but it also…

Mountain papaya fruits (Vasconcella pubescens) were tested for firmness with a nondestructive acoustic method for 14 days after harvest. The response of each fruit was analyzed with the Fourier transform to obtain a firmness index (FI) based on the second…

In this paper, a method to combine visual and force information using the
information obtained from the movement flow-based visual servoing system is proposed. This
method allows not only to achieve a given desired position but also to specify the…

The Sami people have struggled for centuries to maintain their culture in spite of pressures against it from colonialism. The formal education systems of Norway and Finland have acted in discord with Sami decision-making since their inception. In response to…

Research in decision making has identified the importance of prior knowledge and heuristics on decision making behaviour. These develop with experience in a fashion similar to how domain experts develop specialized knowledge structures and heuristic reasoning patterns. This research is…

The aim of this study is to test the assumption that the depictions of ancient boxing found on Attic Black and Red Figure pottery are accurate. Due to the scarcity of ancient written material and physical evidence, most of our…

This study examines Christian experientialist epistemology as articulated of late by Alvin Plantinga especially and also William Alston. It situates their approach to the epistemic status of Christian belief claims within the overall outlook they have respectively developed on what…