This issue’s target article by William Stiles (2009) presents a general paradigm that explains how the logical operations of deduction, induction, and abduction can be applied to case-study-level observations in order to build, test, and refine applied psychology theories in areas like psychotherapy. Stiles’ paradigm is exemplified in the development of his own assimilation model of psychologic...

representation research is to develop content theories that achieve a high degree of both competency and coverage. We describe a new methodology for constructing formal theories in commonsense knowledge domains that complements traditional knowledge representation approaches by first addressing issues of coverage. We show how a close examination of a very general task (strategic planning) leads...

It is well known that the model categories of universal Horn theories are locally presentable, hence essentially algebraic [2]. In the special case of quasivarieties a direct translation of the implicational syntax into the essentially equational one is known [1]. Here we present a similar translation for the general case, showing at the same time that many relationally presented Horn classes a...

The significant advantages of parallel robots over serial manipulators are now well known. However, they still pose a serious challenge when considering their kinematics. This paper covers the state-of-the-art on modeling issues and certified solving of kinematics problems. Parallel manipulator architectures can be divided into two categories: planar and spatial. Firstly, the typical planar par...

This is the first in a series of papers which we study representations Brauer category and its allies. We define general notion triangular that abstracts key properties decomposition semisimple complex Lie algebra, develop highest weight theory for them. show category, partition number related diagram categories admit this structure.

We discuss ways in which category theory might be useful in philosophy of science, in particular for articulating the structure of scientific theories. We argue, moreover, that a categorical approach transcends the syntax-semantics dichotomy in 20th century analytic philosophy of science.

This study investigates the magnitude of insider profits in Canada and the ability of outsiders to earn abnormal returns. We focus on three groups of Canadian firms, technology firms, firms whose revenues are contract-oriented, and firms that do not fall under these two categories (general firms). We propose that insiders of the first two groups are likely to possess information that are genera...