A tactic proof is a tree-structured sequent proof where steps may be justiied by tactic programs. We describe a prototype of a generic interactive theorem-proving system that supports the construction and manipulation of tactic proofs containing metavariables. The emphasis is on proof reuse. Examples of proof reuse are proof by analogy and reconstruction of partial proofs as part of recovering ...

Many proof tools use ‘tactic languages’ as programs to direct their proofs. We present a simplified idealised tactic language, and describe its denotational semantics. The language has many applications outside theorem-proving activities. The semantics is parametrised by a monad (plus additional structure). By instantiating this in various ways, the core semantics of a number of different tacti...

The converting process from traditional production systems (e.g., Job Shops) to focused (cellular) systems is important as one requirement of global manufacturing to challenge the existing global financial crisis. This represents a big problem and a huge task for manufacturers and academicians which almost most of industrial enterprises around the world are still working as a job shop. This con...

In the wolf spider Rabidosa punctulata, upon encountering a female, males use one of two distinct strategies: (1) they court the female in an attempt to elicit a mating, or (2) they engage in a direct-mount tactic that involves extensive grappling with the female until a mating is achieved. The latter tactic appears more sexually aggressive, and both tactics come with the risk of being cannibal...

In this paper, we propose a new strategic and tactic reasoning for agent communication. This reasoning framework is specified using argumentation theory combined to a relevance theory. Strategic reasoning enables agents to decide about the global communication plan in terms of the macro-actions to perform in order to achieve the main conversational goal. Tactic reasoning, on the other hand, all...

Studies using molecular markers have shown that some grey seal males may be gaining success through exhibiting alternative mating tactics. We estimated the probability of fertilization success of grey seal males exhibiting the primary tactic of female defence and one alternative tactic of mating with departing females on Sable Island, Nova Scotia, Canada, during the breeding seasons of 1997-200...

In the past, research examining the work-related correlates of job satisfaction in programmer~analysts has focused on the relationship between characteristics of the job itself and job satisfaction. It is hypothesized that certain aspects of relationships with co-workers, project leaders, and users will also be significant correlates of job satisfaction. Specifically, the relationship between j...

In Williamson (2007), Timothy Williamson argues against “the tactic of criticizing confidence in a theory by identifying a logical consequence of the theory (not itself a logical truth) whose probability is not raised by the evidence” (232-233). He dubs it the consequence fallacy. In this paper, we will show that Williamson‟s formulation of the tactic in question is ambiguous. On one reading of...

The purpose of this paper is to address the strategic and tactic issues in agent communication. Strategic reasoning enables agents to decide about the global communication plan in terms of the macroactions to perform in order to achieve the main conversational goal. Tactic reasoning, on the other hand, allows agents to locally select, at each moment, the most appropriate argument according to t...

We examine the effects of human resource management (HRM) practices (e.g., career development, social support, compensation, and security) on IT professionals‟ job search behavior. Job search is a relatively novel dependent variable in studies of voluntary withdrawal behavior, in general, and for IT professionals, in particular. From a universalistic perspective, HRM practices individually and ...