Synchronizing Mind Maps with Fuzzy Cognitive Maps for Decision-Finding in Cognitive Cities

Synchronizing mind maps with fuzzy cognitive maps can help to handle complex problems with many involved stakeholders by taking advantage of human creativity. The proposed approach has the capacity to instantiate cognitive cities by including cognitive computing. A use case in the context of decision-finding (concerning a transportation system) is presented to illustrate the approach.

Inseparable, incapable, or invisible: Why public organizations award no-bid contracts

No-bid contracting is a highly prevalent practice in public procurement of technology services. Alt-hough no-bid contracting is a substantial problem since it reduces competition and welfare, the litera-ture lacks theoretical explanations and empirical tests for why public organizations award no-bid con-tracts. In this paper, we propose three theoretical explanations for no-bid contracting, drawing on transaction cost economics, organizational learning, and institutional theory. We also present how we test these explanations using a comprehensive sample of public procurement transactions. We expect to contribute theoretical explanations for no-bid contracting and practical implications for policy-makers.

A Proof-Theoretic Analysis of Theories for Stratified Inductive Definitions

In this article we study subsystems SID��� of the theory ID��� in which fixed point induction is restricted to properly stratified formulas.