Following Kohlberg-Mertens [8, 1986], we investigate an axiomatic approach to non-cooperative solution concepts. A basic question in this program is identifying a backward-induction axiom (for general games). We show that three axioms—Existence, Rationality, and Difference—together characterize backward induction in perfect-information games satisfying a “single payoff condition.” We discuss im...

Non-ferrous metals are the basic strategic materials for national industrial manufacturing. Exploring development process of industry and identifying generic technologies in field play a vital role breaking through technical bottleneck non-ferrous metal achieving transformation upgrading. This paper selects Derwent patent database as data source, uses CiteSpace software to construct visual map ...

Requirements elicitation step is of paramount importance in the requirements engineering process. In the distributed environment of so-called inter-company cooperative information system, this step is a thorny issue. To elicit requirements for an inter-company cooperative information system, we early proposed a methodology called MAMIE (from MAcro to MIcro level requirements Elicitation) with a...