This paper contains a new format for analytic tableaux, called goaldirected tableaux. Their main interest lies in the fact that they are more efficient than the usual analytic tableaux (in general, they lead to less branching). They can also be used to develop an efficient tableaux-based approach to abduction. The goal-directed tableaux do not form a full decision method for propositional class...

Probably nothing makes human beings more different from other species—and from one another— than their intelligence. The subject is of profound general interest—what the brain is for and how it works, the distinctiveness of the human mind, what makes us individual and human—yet delivers so little. Human intelligence remains poorly defined and characterized, even among those who most study it. R...

The purpose of this exploratory paper is to show the consequence of applying the Copernican Revolution represented by the Critique of the Pure Reason to IS. This revolution has three important implications. First, it implicitly makes a clear distinction between the object of knowledge and the origin of knowledge. Second, it implicitly goes beyond the classical alternatives between perception an...

The marginalist revolution transformed the principles of price determination in competitive markets. Nevertheless, the systematization that accompanied neo-classical theory, especially Walras’ general equilibrium formulation, confirmed Classical economists’ belief, most powerfully articulated by Smith, that impediments to free trade should be removed. So, while the transition from the Classical...

objective: suicide attempt may follow a process right from the inception of the first information about ‎suicide until the act itself. this study was conducted to determine the relationship between ‎perception of suicide prevention with the process of suicide attempt and demographic ‎variables following a suicidal attempt.‎ method: in this hospital based cross-sectional study, 168 consecutive a...

The purpose of this project is to discuss the astronomical development from the heliocentric theory to the geocentric theory. The main goal is to eliminate the common misconception that the Copernican system simply entails a change in the frame of reference from the Ptolemaic system. In particular, we will show how the Copernican system allows us to determine the size of the Universe (in terms ...

Background: The rate of nosocomial infection appears to depend on whether it is calculated using the Center for Disease Control (CDC) or carrier state criteria. The objective of this study was to differentiate between primary endogenous (PE), secondary endogenous (SE) and exogenous (EX) infections, and to compare this classification with CDC criteria for nosocomial infections. Methods: ...

Platform sharing across manufacturers has recently become common practice in the automobile industry. Its important objective is to reduce procurement costs by taking advantage of the commonality of components, but this often reduces the degree of product differentiation. We investigate this trade-off through analyzing a model that incorporates manufacturer-supplier relationships with communica...