• OTTER

  • Referenced in 313 articles [sw02904]
  • first-order logic with equality. Otter’s inference rules are based on resolution and paramodulation ... weighting, and strategies for directing and restricting searches for proofs. Otter can also be used...
  • Cytoscape

  • Referenced in 69 articles [sw09080]
  • Cytoscape plug-ins are surveyed, including a search for interaction pathways correlating with changes ... involved in cellular recovery to DNA damage, inference of a combined physical/functional interaction network...
  • bnlearn

  • Referenced in 56 articles [sw08265]
  • Bayesian network structure learning, parameter learning and inference. This package implements constraint-based (GS, IAMB ... score-based (Hill-Climbing and Tabu Search) and hybrid (MMHC and RSMAX2) structure learning algorithms ... parameter estimation (maximum likelihood and Bayesian) and inference, conditional probability queries and cross-validation. Development...
  • c2i

  • Referenced in 5 articles [sw19488]
  • From invariant checking to invariant inference using randomized search. We describe a general framework ... generates an inference procedure that iteratively invokes two phases. The search phase uses randomized search ... generate inference procedures that prove safety properties of numerical programs, prove non-termination of numerical...
  • Bedwyr

  • Referenced in 21 articles [sw09460]
  • recent advances in the theory of proof search. The first is centered on the fact ... captured in the sequent calculus by incorporating inference rules for definitions that allow fixed points ... explored. As a result, proof search in such a sequent calculus can capture simple model...
  • mplp2

  • Referenced in 6 articles [sw21188]
  • Efficiently Searching for Frustrated Cycles in MAP Inference. Dual decomposition provides a tractable framework ... allows one to exactly solve many hard inference problems. However, these algorithms explicitly enumerate ... other short cycles. We solve the search problem for cycle constraints, giving a nearly linear ... length. We show how to use this search algorithm together with the dual decomposition framework...
  • ETPS

  • Referenced in 153 articles [sw06302]
  • dealing with equality. It has facilities for searching for expansion proofs, translating these into natural ... ETPS issues commands to apply rules of inference in specified ways, and the computer handles...
  • SEPIA

  • Referenced in 6 articles [sw21585]
  • SEPIA: search for proofs using inferred automata. This paper describes SEPIA, a tool for automated...
  • QPath

  • Referenced in 11 articles [sw35403]
  • network of interest, our algorithm, QPath, efficiently searches the network for homologous pathways, allowing both ... constituent interactions. We applied QPath to systematically infer protein pathways in fly using an extensive ... searches using QPath provide a powerful approach for identifying biologically significant pathways and inferring their...
  • PILCO

  • Referenced in 19 articles [sw34813]
  • software package implements the PILCO RL policy search framework. The learning framework can be applied ... modeling of the dynamics and approximate Bayesian inference for policy evaluation and improvement...
  • SIMBio

  • Referenced in 1 article [sw34238]
  • SIMBio: Searching and Inferring Colorful Motifs in Biological Networks. SIMBio is a tool written ... searching and inferring colorful motifs in vertex colored biological networks. Motifs can be topological...
  • Darwin

  • Referenced in 25 articles [sw04175]
  • order level some of those very effective search techniques developed by the SAT community ... implements first-order versions of unit propagation inference rules analogously to a restricted form...
  • CLAIRE

  • Referenced in 34 articles [sw02583]
  • declarative languages, such as sets, rules and search, into an imperative (functional) language. Although these ... completely user-extensible manner; secondly, an inference compiler transforms a set of logical rules into...
  • MISA

  • Referenced in 3 articles [sw13359]
  • MISA: Bayesian Model Search and Multilevel Inference for SNP Association Studies. The functions in this ... questions,this package performs a Bayesian model search technique that utilizes Evolutionary Monte Carlo...
  • FIRBS

  • Referenced in 6 articles [sw06572]
  • inference system: an application to examination timetabling We present an application of tabu search ... decision expert system. More precisely a fuzzy inference rule based system (FIRBS) is implemented ... improving, as well, the performance of tabu search...
  • Indri

  • Referenced in 5 articles [sw27050]
  • INDRI: Language modeling meets inference networks. Indri is a new search engine from the Lemur...
  • GOOSE

  • Referenced in 12 articles [sw02466]
  • example, if a user tells the search engine: ”I want to find other people ... assured of the robustness of the commonsense inference, in a substantial number of cases, GOOSE ... likely to satisfy the user’s original search goals than simple keywords or conventional query...
  • MulRF

  • Referenced in 2 articles [sw23051]
  • platform-independent software program designed to infer species trees from incongruent multi-copy gene trees ... trees for species tree search. Topological constraints on the inferred species tree. Automated execution...
  • SBSAT

  • Referenced in 10 articles [sw00828]
  • solvers, supporting efficient implementation of highly sophisticated search heuristics over a range of propositional inputs ... into state machines to allow for fast inferences based upon any single input constraint ... standard BDD engines. And it memoizes search information during an extensive preprocessing phase, allowing...
  • Digit

  • Referenced in 2 articles [sw01307]
  • reading frames and exon scores. Finally, DIGIT searches a set of exons whose additive score ... Markov model are used to infer exon scores and search the exon set, respectively...