“Training to Fight Insurgent Forces” (TFIF) is a training environment in which Marine and Coalition commanders can practice military tactics against realistic asymmetric forces. TFIF integrates a game theoretic approach to specifying enemy tactics. In a traditional game theoretic approach, the red and blue force actions and payoffs are modeled in payoff matrices, and a Nash equilibrium (1950; 1...

The changing climate in supply chain management, driven by technological trends, increased competition , demand pressure, globalization and outsourcing has led companies to be more receptive to forming coalitions while taking a broader strategic view of the marketplace. The structure of a transport coalition is an important issue influencing the life cycle of such relationships. This structure ...

The unique capabilities of mobile, context-aware, networked devices make them an interesting platform for applying suggestion in persuasive technologies. Because these devices are nearly always with their owners, can sense relevant information about the context of their use, and nearly always have network access, they enable the principle of kairos, providing the right information at the best t...

Foundational proof assistants simultaneously offer both expressive logics and strong guarantees. The price they pay for this flexibility is often the need to build and check explicit proof objects which can be expensive. In this work we develop a collection of techniques for building reflective automation, where proofs are witnessed by verified decision procedures rather than verbose proof obje...

Team formation is a core problem in AI. Remarkably, little prior work has addressed the problem of mechanism design for team formation, accounting for the need to elicit agents’ preferences over potential teammates. Coalition formation in the related hedonic games has received much attention, but only from the perspective of coalition stability, with little emphasis on the mechanism design obje...

As the Services move to transform joint and coalition operations, a new capability being contemplated for the transformed forces is synchronizing manned-combat-vehicle and unmanned-combat-vehicle target engagements. However, we are just beginning to work out the details for implementing such a symphony of coordinated human and machine decisions and actions. One challenge in realizing an impleme...

The politics of contestation on the part of secondary regional powers such as Argentina, Chile, Colombia and Venezuela towards Brazil as the regional leader oscillate between competition and cooperation, inasmuch as the South American region has one regional power and is a zone of negative peace without aggressive rivalries. The secondary powers use different tactics, which c...