
OTTER
 Referenced in 313 articles
[sw02904]
 firstorder 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 plugins 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 constraintbased (GS, IAMB ... scorebased (HillClimbing and Tabu Search) and hybrid (MMHC and RSMAX2) structure learning algorithms ... parameter estimation (maximum likelihood and Bayesian) and inference, conditional probability queries and crossvalidation. 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 nontermination 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 firstorder 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 userextensible 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]
 platformindependent software program designed to infer species trees from incongruent multicopy 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...