This paper presents a fuzzy implementation for the tactics of the game of chess. Chess as been traditionally used for explaining fuzzy reasoning, and is often considered a platform of choice to test intelligent systems. However, an extensive search for applications of fuzzy sets, inference or reasoning to the game of chess, gives hardly any concrete results. One can find fuzzy improvements to c...

In this study, the authors investigated the effect of an individual's political skill on the relationships between 5 different impression management tactics (intimidation, exemplification, ingratiation, self-promotion, and supplication) and supervisor evaluations of performance. To test these relationships, the authors used a matched sample of 173 supervisor-subordinate dyads who worked full ti...

This research had three basic goals: (a) to identify manipulation tactics used in close relationships; (b) to document empirically the degree of generality and specificity of tactical deployment across relationship types (mates, friends, parents); and (c) to identify links between five major personality dimensions and the usage of manipulation tactics. Twelve manipulation tactics were identifie...

Two studies tested evolutionary hypotheses about the use and perceived effectiveness of specific mate attraction tactics as a function of sexual strategy pursued. Participants and a close same-sex friend of each participant reported on the participant’s sexual strategy and deployment of attraction tactics. In Study 1, participants’ mate attraction tactics differed predictably depending on wheth...

The tobacco industry's strong-arm tactics have been used consistently over many years. These tactics include: using the industry's size, wealth, and legal resources to intimidate individuals and local governmental bodies; setting up 'front groups' to make it appear that it has more allies than it really does; spending large sums of money to frame the public debate about smoking regulations arou...

Proof tools in interactive theorem provers are usually developed within and tied to a specific system, which leads to a duplication of effort to make the functionality available in different systems. Many verification projects would benefit from access to proof tools developed in other systems. Using OpenTheory as a language for communicating between systems, we show how to turn a proof tool im...

There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive logical inferences. Meanwhile, high-level human inputs are lexically structured formal texts which include tactics describing search procedures. The proof checking process maps from the high-level to low-level, but after that,...

Modern robot soccer control architectures tend to separate higher level tactics and lower level navigation control. This can lead to tactics which do not fully utilize the robot’s dynamic actuation abilities. It can furthermore create the problem of the navigational code breaking the constraints of the higher level tactical goals when avoiding obstacles. We aim to improve such control architect...

Usability is an important aspect of Free-Libre Open Source Software (FLOSS), but barriers exist for usability specialists’ participation in such projects. Organizational boundary literature is interested in the tensions of online communities, including FLOSS communities. While this literature recognizes the importance of managing boundaries in online communities, little empirical research has b...