• MADM

  • Referenced in 126 articles [sw06484]
  • Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods presents the concepts ... Manufacturing Environment Using Graph Theory and Fuzzy Multiple Attribute Decision Making Methods a key reference...
  • CVC

  • Referenced in 48 articles [sw09462]
  • cooperating validity checker. Decision procedures for decidable logics and logical theories have proven ... paper describes the CVC (“Cooperating Validity Checker”) decision procedure. CVC implements a framework for combining ... decision procedures for certain logical theories into a decision procedure for the theories’ union. Subsidiary ... decision procedures for theories of arrays, inductive datatypes, and linear real arithmetic are currently implemented...
  • MetiTarski

  • Referenced in 51 articles [sw00573]
  • modified to call a decision procedure (QEPCAD) for the theory of real closed fields...
  • PGSolver

  • Referenced in 28 articles [sw14051]
  • that have important applications in automata theory and decision procedures (validity as well as model...
  • kappalab

  • Referenced in 50 articles [sw06086]
  • framework of multicriteria decision making or cooperative game theory...
  • QTest

  • Referenced in 8 articles [sw30779]
  • QTest: Quantitative testing of theories of binary choice. The goal of this paper ... modeling and quantitative testing accessible to behavioral decision researchers interested in substantive questions. We provide ... theoretical framework links static algebraic decision theory with observed variability in behavioral binary choice data ... Prospect Theory.” A major asset of the approach is the potential to distinguish decision makers...
  • YAPA

  • Referenced in 19 articles [sw02739]
  • decision procedures have been proposed for these relations under a variety of equational theories. However ... each theory has its particular algorithm, and none has been implemented so far. We provide ... algorithm covers all the existing decision procedures for convergent theories. We also provide an efficient...
  • UCLID

  • Referenced in 25 articles [sw04657]
  • verification. As a stand-alone decision procedure for the theories of uninterpreted functions and equality...
  • 4eMka2

  • Referenced in 53 articles [sw16168]
  • approach in multiple criteria decision support, combining advantages of rough sets and dominance relation ... theory combined with dominance relation, which is quite new approach in multi-criteria decision support ... does not have to get familiar with theory basis of used analysis model, which...
  • FOCI

  • Referenced in 58 articles [sw12868]
  • decision procedure for quantifier-free first-order formulas. It supports certain interpreted theories, such...
  • rCOS

  • Referenced in 14 articles [sw01502]
  • roadmap of the development of the rCOS theory and its tool support for component-based ... concepts, techniques and design decisions in the research of the theory and the development...
  • ARTMAP

  • Referenced in 5 articles [sw03013]
  • category hypervolume, 4) using Bayes’ decision theory for learning and inference, and 5) em- ploying...
  • ProtTest 3

  • Referenced in 4 articles [sw23032]
  • Bayesian Information Criterion (BIC) score or Decision Theory Criterion (DT). At the same time, ProtTest...
  • BUQO

  • Referenced in 4 articles [sw34653]
  • decisions and conclusions. Precisely, following Bayesian decision theory, we seek to assert the structures under...
  • CVC4

  • Referenced in 109 articles [sw09485]
  • large number of built-in logical theories and their combination. CVC4 is the fourth ... design of the core system architecture and decision procedures to take advantage of recent engineering...
  • CSIsat

  • Referenced in 15 articles [sw11407]
  • present CSIsat, an interpolating decision procedure for the quantifier-free theory of rational linear arithmetic...
  • DPPN

  • Referenced in 6 articles [sw03466]
  • player decision process: towards a game theory implementation using DPPN In this paper we introduce ... equilibrium point for one-player games using decision process Petri nets. We prove that ... application area in Petri Net theory...
  • TituRel

  • Referenced in 8 articles [sw08501]
  • simulations, topology, qualitative fuzzy considerations, theory extraction, social choice, decision support via interval orderings...
  • Rseslib

  • Referenced in 15 articles [sw30225]
  • matrix, reducts, decision rules and for other concepts of rough set theory and other data...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • uncertainty, consistent with and combining the theories of probability and fuzzy sets. Extends the logic ... areas of knowledge engineering including expert and decision-support systems, evidential and case-based reasoning...