The Smalltalk Open Unification Language is a Prolog-like language embedded in the object-oriented language Smalltalk [5]. Over the years, it has been used as a research platform for applying logic programming to a variety of problems in object-oriented software engineering, some examples are: representing domain knowledge explicitly [3]; reasoning about object-oriented design [15,14]; checking ...

Descartes proposed that all observable human behavior could be divided into 2 categories, the simple and the complex. Simple behaviors were those in which a given sensation always, deterministically, produced the same behavioral response. . .. Complex behaviors, in contrast were those in which the linkage between sensation and action was unpredictable and subject to the vagaries of volition. . ...

The problem of human's two domains has a significant influence on human knowledge, and since the human privilege in the universe to the other beings as well as the immateriality of the soul and so on is based on proving the soul's substance separately, it worths to search in this issue about the ideas of two Western and Islamic philosophers. Ibn Sīnā with arguments such as the "suspending man" ...

In this study, we investigated the “heat phantom sensation” induced by thermal stimulation of two points. Phantom sensations are tactile illusions induced at a point between two or more stimuli, and have been demonstrated to occur in the event of vibration stimulation. However, their induction by thermal stimuli has not been fully investigated. We confirmed the existence of a heat phantom sensa...

We would like to thank Kim et al. for appreciating the importance of our work [1]. It should be noted that the introduction of a disk shaped heat pipe by us in the cited paper was done for the very first time in the literature and our comprehensive analytical results for the disk-shaped and rectangular-shaped heat pipes constitute the very first such analysis in the literature. In summary, we a...

In Book Four of Plato's Republic, Socrates divides the soul. He argues that because one thing cannot do or undergo opposites in the same respect, in the same relation, and at the same time, some cases of psychological conflict can only be explained by supposing that the soul is actually more than one thing. But Socrates does not seem to deny that the soul is a unity. Rather, he seems to hold th...