This cannot be explained solely by the fact that we all have a brain. After all, there is no market for the dissemination of magazines on nephrology or biochemical targeting the lay public. At the meeting between mathematics, physics, biology, psychology, philosophy, anthropology and the arts, neuroscience fascinates more and more people with the possibility of understanding the mechanisms unde...

Whether one is a 'Road Warrior,' telecommuter, or a primarily deskbound worker, the distinction between work and other contexts is becoming less distinct, and the need to access information from multiple spaces becomes increasingly important. Combining 'always-on', 'always-connected' home and work PCs, web, and wireless telecommunications enables individuals to remain one with their information...

A special class of partial stable models, the intrinsic ones, is singled out for consideration, and attention is drawn to the largest one, which we designate as the prudently brave one. It is the largest partial stable model that is compatible with every partial stable model. As such, it is an object of natural interest. Its existence follows from general properties of monotonic functions, so i...

In this paper we present a paraconsistent abdutive semantics for extended normal logic programs, the Paraconsistent Minimal Hypotheses semantics MHP . The MHP is a semantics of total paraconsistent models, that inherits the existence property of the abductive Minimal Hypotheses semantics MH [21], which is a semantics of total models, and the property of detection of support on contradiction of ...