Results 281 to 290 of about 4,459,628 (347)

The importance of procedural justice in Human–Machine Interactions: Intelligent systems as new decision agents in organizations

Computers in Human Behavior, 2018
In the present study, the effects of procedural justice (fair or unfair) and the type of decision agent (human, robot, or computer) on employee behavior and attitudes (e.g., job satisfaction, organizational citizenship behavior, or counterproductive work
Sonja K Otting, Gunter W Maier
exaly   +3 more sources

Global Sourcing Decision‐Making Processes: Politics, Intuition, and Procedural Rationality

Journal of Business Logistics, 2015
Global sourcing (GS) is a firmly established phenomenon in modern business practice that requires specific expertise from different organizational functions, such as purchasing, production, logistics, and research and development to analyze and select ...
Kai Foerstl, Christian Busse, Constantin Blome   +2 more
exaly   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

Decision-Making Patterns in Multilevel Governance: The contribution of informal and procedural interactions to significant multilevel decisions

Public Management Review, 2016
Arwin van Buuren
exaly   +2 more sources

Safraless Decision Procedures

46th Annual IEEE Symposium on Foundations of Computer Science (FOCS'05), 2005
The automata-theoretic approach is one of the most fundamental approaches to developing decision procedures in mathematical logics. To decide whether a formula in a logic with the tree-model property is satisfiable, one constructs an automaton that accepts all (or enough) tree models of the formula and then checks that the language of this automaton is
Orna Kupferman, Moshe Y. Vardi
openaire   +1 more source

Procedural justice, strategic decision making, and the knowledge economy

Strategic Management Journal, 1998
W. C. Kim, Renée Mauborgne
exaly   +2 more sources

Who Can You Trust? The Impact of Procedural Justice, Trust, and Police Officer Sex on Women's Sexual Assault Victimization Reporting Likelihood

Violence against Women, 2022
Sexual assaults are underreported to the police, even though this crime affects one in four college women. Using a vignette design, this study fills a gap in the literature by examining the influence of prior police perceptions, procedurally unjust ...
Kay Stanek, K. Fox, Cody W. Telep, Rick Trinkner   +3 more
semanticscholar   +1 more source

Simplification by Cooperating Decision Procedures

ACM Transactions on Programming Languages and Systems, 1979
A method for combining decision procedures for several theories into a single decision procedure for their combination is described, and a simplifier based on this method is discussed. The simplifier finds a normal form for any expression formed from individual variables, the usual Boolean connectives, the equality predicate =, the conditional function
Greg Nelson, Derek C. Oppen
openaire   +2 more sources

Inaccessibility in Decision Procedures

2001
To study physical the realizability of “computational” procedures, the notion of “inaccessibility” is introduced. As specific examples, the halting set of a universal Turing machine, the Mandelbrot set, and a riddled basin, all of which are defined by decision procedures, are studied.
Asaki Saiton, Kunihiko Kaneko
openaire   +1 more source

Combining Decision Procedures

2003
We give a detailed survey of the current state-of-the-art methods for combining decision procedures. We review the Nelson-Oppen combination method, Shostak method, and some very recent results on the combination of theories over non-disjoint signatures.
Zohar Manna, Calogero G. Zarba
openaire   +1 more source

A Tableaux Decision Procedure for SHOIQ. [PDF]

J. Autom. Reason., 2005
This paper presents a tableaux decision procedure for SHOIQ, the DL underlying OWL DL. To the best of our knowledge, this is the first goal-directed decision procedure for SHOIQ.
Ian Horrocks 0001, Ulrike Sattler
openaire   +2 more sources