A key requirement in military simulation is to have executable models of tactical decision-making. Such models are used to simulate the behaviour of human entities such as submarine commanders, fighter pilots and infantry, with a view to producing realistic predictions about tactical outcomes. Tactics specify the means of achieving mission objectives, and should capture both reactive and delibe...

An important task of multidatabase systems is the integration of existing databases. Database Integration is achieved primarily through the use of generalization. Hence, it is important to develop good tactics for processing queries over generalization hierarchies. This paper defines the class of conjunctive generalization queries, and it describes four tactics for processing those queries that...

Although alternative mating tactics are found in males of many species, little is known about tactic-specific adaptations to sperm competition and the mechanism by which fertilization success is obtained. We now report on the sperm investment patterns of males that use alternative mating tactics in bluegill sunfish (Lepomis macrochirus). Bluegill males are characterized by three alternative mat...

In this research we model a job shop that produces a set of discrete parts in a make-to-stock setting. The intent of the research is to develop a planning model to determine the optimal operating tactics that minimize the relevant manufacturing costs subject to workload variability and capacity limits. We model the interplay of three key components in the job shop, namely, the production freque...

In this thesis, besides the developing a bilateral automated negotiation model between agents, in incomplete information state, integrating the personality effects of human on the negotiation process and outcomes, we proposed an architecture of such agents (―buyer‖ or ―seller‖). To do so, a new offer generation approach of three adaptive families of tactics has been proposed as follows: the tim...

QUODLIBET is a tactic-based inductive theorem prover for the verification of algebraic specifications of algorithms in the style of abstract data types with positive/negative-conditional equations. Its core system consists of a small inference machine kernel that merely acts as a proof checker. Automation is achieved with tactics written in QML (QUODLIBETMeta-Language), an adapted imperative pr...

Although automated reasoning with diagrams has been possible for some years, tools for diagrammatic reasoning are generally much less sophisticated than their sentential cousins. The tasks of exploring levels of automation and abstraction in the construction of proofs and of providing explanations of solutions expressed in the proofs remain to be addressed. In this paper we take an interactive ...

Males often fight with rival males for access to females. However, some males display nonfighting tactics such as sneaking, satellite behavior, or female mimicking. When these mating tactics comprise a conditional strategy, they are often thought to be explained by resource holding potential (RHP), that is, nonfighting tactics are displayed by less competitive males who are more likely to lose ...

We studied the development of implicit and of verbally declared knowledge for normal human subjects who learned an unfamiliar motor task in one learning session. The exploratory nature of motor learning and a special period for optimizing skill were followed in real time. Subjects understood the goal for task success, but they had to learn a motor strategy of what pattern of serial movements to...

AUCNET is famous worldwide as one of the pioneers that developed an electronic market for used cars. It uses a unique satellite auction system. In 1985, AUCNET entered successfully the used-car market in Japan. In that period the used-car market was booming, so AUCNET could easily introduce their market system and could overcome the resistance from the traditional market. After a while AUCNET a...