• PRISM

  • Referenced in 34 articles [sw23359]
  • knowledge representation language appropriate for probabilistic reasoning, it can describe various types of symbolic-statistical ... together with learning results, that most popular probabilistic modeling formalisms, the hidden Markov model...
  • HySpirit

  • Referenced in 4 articles [sw20096]
  • uncertain inference, for which we use probabilistic reasoning. Since the expressiveness of classical IR models ... hypermedia retrieval, HySpirit is based on a probabilistic version of Datalog. In hypermedia retrieval, different...
  • FRIL

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

  • Referenced in 5 articles [sw28633]
  • Łukasiewicz infinitely-valued logic. We study probabilistic-logic reasoning in a context that allows ... properties of non-classical Łukasiewicz infinitely-valued probabilistic logic. In particular, we study the satisfiability...
  • Anglican

  • Referenced in 3 articles [sw31144]
  • everyday machine learning tool that makes probabilistic reasoning effective for you. Do you interact with...
  • BayesNetBP

  • Referenced in 3 articles [sw33823]
  • BayesNetBP: An R Package for Probabilistic Reasoning in Bayesian Networks . The optional...
  • CoLoSS

  • Referenced in 14 articles [sw07016]
  • coalition logic, graded modal logic, and probabilistic modal logic. Logics are easily integrated into CoLoSS ... thus automatically obtains reasoning support e.g. for logics interpreted over probabilistic automata that combine...
  • Pronto

  • Referenced in 3 articles [sw14757]
  • Pronto: A Practical Probabilistic Description Logic Reasoner. This paper presents Pronto—the first probabilistic Description ... reasoner capable of processing knowledge bases containing about a thousand of probabilistic axioms. We describe ... detail the novel probabilistic satisfiability (PSAT) algorithm which lies at the heart of Pronto ... interaction with the underlying DL reasoner which, first, enables applying well-known linear programming techniques...
  • PrASP

  • Referenced in 2 articles [sw18512]
  • tool for probabilistic reasoning based on logic programming and first-order theories under stable model ... description paper describes the software framework PrASP (“probabilistic answer set programming”). PrASP ... both an uncertainty reasoning and machine learning software and a probabilistic logic programming language based ... probabilistic logic programming, our framework mainly targets applications in the area of uncertainty stream reasoning...
  • KReator

  • Referenced in 3 articles [sw06946]
  • integrated development environment for probabilistic relational reasoning This article presents KReator, a versatile integrated development ... that area, which mostly extend existing propositional probabilistic methods like Bayes Nets and Markov Networks ... simple interface for representing, reasoning and learning with different relational probabilistic approaches...
  • PRISM-games

  • Referenced in 19 articles [sw12934]
  • cooperative behaviour. Models are described in a probabilistic extension of the Reactive Modules language ... well-known logic ATL with operators to reason about probabilities, various reward-based measures, quantitative ... bounds. The tool is based on the probabilistic model checker PRISM, benefiting from its existing...
  • ProbNetKAT

  • Referenced in 2 articles [sw21703]
  • foundations for probabilistic networks. ProbNetKAT is a probabilistic extension of NetKAT with a denotational semantics ... induced by different routing schemes and reasoning probabilistically about reachability in a network...
  • KOMET

  • Referenced in 4 articles [sw21352]
  • perform various common types of reasoning, such as probabilistic, fuzzy, paraconsistent and certain types...
  • REBA

  • Referenced in 3 articles [sw29435]
  • article describes REBA, a knowledge representation and reasoning architecture for robots that is based ... zoomed fine-resolution system description, and a probabilistic representation of the uncertainty in sensing ... history and used for subsequent coarse-resolution reasoning. The architecture thus combines the complementary strengths ... declarative programming and probabilistic graphical models to represent and reason with non-monotonic logic-based...
  • cplint

  • Referenced in 4 articles [sw22924]
  • suite of programs for reasoning and learning with Probabilistic Logic Programming languages that follow ... have extended cplint to perform causal reasoning. In particular, we consider Pearl’s do calculus...
  • UnBBayes

  • Referenced in 2 articles [sw29882]
  • source software for modeling, learning and reasoning upon probabilistic networks...
  • ABEL

  • Referenced in 2 articles [sw02787]
  • ABEL: An interactive tool for probabilistic argumentative reasoning. Most formal approaches to argumentative reasoning under ... aspects. An exception is the framework of probabilistic argumentation systems. Its philosophy is to include...
  • ProPPR

  • Referenced in 1 article [sw32915]
  • semantically rich formalism that supports efficient probabilistic reasoning using large collections of extracted information. This...
  • PAT

  • Referenced in 33 articles [sw13258]
  • framework for to support composing, simulating and reasoning of concurrent, real-time systems and other ... properties with fairness assumptions, refinement checking and probabilistic model checking. To achieve good performance, advanced...
  • GIST

  • Referenced in 8 articles [sw09876]
  • turn-based probabilistic games with ω-regular objectives; and (b) synthesizes reasonable environment assumptions ... reduction-based techniques to solve turn-based probabilistic games, and uses the analysis of turn...