• PITA

  • Referenced in 22 articles [sw06950]
  • system: tabling and answer subsumption for reasoning under uncertainty. Many real world domains require...
  • FRIL

  • Referenced in 44 articles [sw18490]
  • Fuzzy and Evidential Reasoning in Artificial Intelligence. Presents a theory of uncertainty, consistent with ... inference to permit the inclusion of uncertainties such as probabilistic knowledge and fuzzy incompleteness. Describes ... decision-support systems, evidential and case-based reasoning, fuzzy control and databases. An accompanying disk...
  • BayesOWL

  • Referenced in 8 articles [sw36763]
  • BayesOWL: Uncertainty Modeling in Semantic Web Ontologies. It is always essential but difficult to capture ... ontology language OWL5 for representing and reasoning with uncertainty based on Bayesian networks ... given probability constraints, can support ontology reasoning, both within and across ontologies as Bayesian inferences...
  • PR-OWL

  • Referenced in 9 articles [sw22024]
  • with uncertainty. Several approaches to uncertainty representation and reasoning in the SW have emerged. Among ... which provides a means of representing uncertainty in ontologies expressed in Web Ontology Language...
  • PrASP

  • Referenced in 3 articles [sw18512]
  • tool for probabilistic reasoning based on logic programming and first-order theories under stable model ... programming”). PrASP is both an uncertainty reasoning and machine learning software and a probabilistic logic ... targets applications in the area of uncertainty stream reasoning. PrASP programs can consist...
  • JavaBayes

  • Referenced in 3 articles [sw13963]
  • some simple tool to reason about uncertainty in the domain of interest. A compact implementation...
  • DeLorean

  • Referenced in 15 articles [sw22920]
  • DeLorean: A reasoner for fuzzy OWL 2. Today, there is a growing interest ... knowledge representations able to deal with uncertainty, which is a very common requirement in real ... ontologies are not suitable to deal with uncertainty and, consequently, several extensions with fuzzy logic ... describe DeLorean 2, the first ontology reasoner that supports fuzzy extensions of the standard languages...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • reasoning. Most formal approaches to argumentative reasoning under uncertainty focus on the analysis of qualitative...
  • SUCRAGE

  • Referenced in 3 articles [sw12332]
  • imprecision and uncertainty in order to propose an original approach to approximate reasoning. This work ... features and data imprecision integration. This uncertainty is managed in the learning phase as well ... propose to use a context-oriented approximate reasoning. For this purpose, we introduce an adequate ... This distance, measuring imprecision, combined with the uncertainty of classification decisions represented by belief degrees...
  • REBA

  • Referenced in 4 articles [sw29435]
  • article describes REBA, a knowledge representation and reasoning architecture for robots that is based ... description, and a probabilistic representation of the uncertainty in sensing and actuation, are used ... history and used for subsequent coarse-resolution reasoning. The architecture thus combines the complementary strengths ... represent and reason with non-monotonic logic-based and probabilistic descriptions of uncertainty and incomplete...
  • COSSAN-X

  • Referenced in 3 articles [sw26340]
  • usually neglect the important issue of inherent uncertainties. The consideration of these uncertainties/variability increases essentially ... reasons, it is crucial to link deterministic codes with the advanced tools of Uncertainty Quantification...
  • UNCSAM

  • Referenced in 4 articles [sw00990]
  • Sensitivity and Uncertainty Analysis. Sensitivity and uncertainty analysis are generally recognized as important and indispensable ... application of mathematical models. For this reason a comprehensive and flexible software package UNCSAM ... RIVM for performing sensitivity and uncertainty analysis on a large variety of models. UNCSAM combines...
  • PATDEX

  • Referenced in 1 article [sw26326]
  • Similarity, Uncertainty and Case-Based Reasoning in Patdex. Patdex (PATtern Directed EXpert Systems...
  • FuzzyCLIPS

  • Referenced in 6 articles [sw07001]
  • with exact, fuzzy (or inexact), and combined reasoning, allowing fuzzy and normal terms ... uses two basic inexact concepts, fuzziness and uncertainty. It has provided a useful environment...
  • PREGO

  • Referenced in 5 articles [sw16793]
  • removed from the kind of continuous uncertainty and noise seen in actual real-world robotics ... situation calculus, that is able to reason effectively about degrees of belief against noisy sensors...
  • BRMaximin

  • Referenced in 4 articles [sw38759]
  • normal form games under varying forms of uncertainty. Recent advances in behavioral game theory address ... solution concept based upon a sequential reasoning process, yielding accurate characterizations of experimental human game ... information regarding an opponent population’s reasoning ability. By leveraging robust optimization, stochastic programming ... strategies vary in accordance with the underlying uncertainty...
  • FINDS

  • Referenced in 1 article [sw19034]
  • assessment and assessment involves uncertain reasoning through a Bayesian network for fibre transfer, persistence ... forensic scientists on decision making under uncertainty. This training is required when a forensic scientist...
  • FALSCAL

  • Referenced in 1 article [sw02608]
  • theory (FST) attempts to formulate human reasoning and perceptions, therefore targeting problems in areas where ... input of the MDS, ensuring that the uncertainty of input data can be incorporated into...
  • TrajStat

  • Referenced in 1 article [sw29470]
  • selected as the cluster model. A reasonable maximum cluster number can be decided through visual ... applied to reduce the uncertainty of cells with few endpoints. Then the potential source regions...
  • c-sat

  • Referenced in 8 articles [sw00168]
  • Parallelizing modern SAT solvers for clusters such as...