Model checking, a formal automatic verification method, has been widely used in multi-agent systems to verify specifications that contain qualitative properties (e.g safety and liveliness) and quantitative properties. Decision making processes based on inherent knowledge are necessary for agents to act appropriately, particularly in uncertain settings. In order to check epistemic (i.e knowledge...

Conflicts of interest arise between a decision maker and agents who have information pertinent to the problem because of differences in their preferences over outcomes. We investigate how the decision maker can extract the information by distorting the decisions that will be taken. We show that only slight distortions will be necessary when agents’ signals are sufficiently accurate or when the ...

Risks and losses arising from system failure, unauthorized activity, fraud and other operational errors are postulated to be one of the primary banking risks. Expert-based scenario analysis aims at describing the frequency and severity of extreme operational losses. Experts are not exact in predicting quantitative estimates for a distant future. The predicted scenarios are described by range es...

Probabilistic expert systems based on Bayesian networks (BNs) require initial speciication of both a qualitative graphical structure and quantitative assessment of conditional probability tables. This paper considers statistical batch learning of the probability tables on the basis of incomplete data and expert knowledge. The EM algorithm with a generalized conjugate gradient acceleration metho...

Probabilistic expert systems based on Bayesian networks (BNs) require initial specification both a qualitative graphical structure and quantitative assessment of conditional probability tables. This paper considers statistical batch learning of the probability tables on the basis of incomplete data and expert knowledge. The EM algorithm with a generalized conjugate gradient acceleration method ...

The present study was to establish a conceptual framework for faculty members' personal marketing (training services) competencies. Assuming that universities are the highest institutes of learning with aim promoting knowledge transfer, providing human resource training in various fields science and technology, higher education research services; They need competent members achieve these goals....

In this contribution, we elaborate the current state of research and practice of Big Data in the field of logistics by means of a systematic literature review, a case study analysis and expert interviews. Although all interviewees are from Germany, viable perspectives and opinions of practitioners from worldwide operating companies were gained. Based on the analyzed information and the identifi...