[PDF] The yices smt solver
[PDF] from psu.edu
B Dutertre... - Tool paper at http://yices. csl. sri. com/tool-paper. ..., 2006 - Citeseer
... Yices is the main decision procedure used by the SAL model checking environment, and it is
be- ing integrated to the PVS theorem prover. As a MAX-SMT solver, Yices is the main component
of the probabilistic consistency engine used in SRI's CALO system. 1 Introduction ...
Cited by 229 - Related articles - View as HTML - All 6 versions - Import into BibTeX
[PDF] System Description: Yices 1.0
[PDF] from smtcomp.org
B Dutertre... - Proc. on 2nd SMT competition, SMT-COMP, 2006 - smtcomp.org
Page 1. System Description: Yices 1.0 Bruno Dutertre and Leonardo de Moura
Computer Science Laboratory, SRI International 333 Ravenswood Avenue, Menlo
Park, CA 94025 - USA {bruno, demoura}@csl.sri.com 1 Introduction ...
Cited by 15 - Related articles - View as HTML - All 6 versions - Import into BibTeX
[PDF] Machine Reading Using Markov Logic Networks for Collective Probabilistic Inference
[PDF] from sri.com
S Ghosh, N Shankar... - csl.sri.com
... Semantic information is then extracted from Page 3. the system by applying probabilistic inference
to the syntactic information, using an MLN capturing the domain-specific rules. We use SRI's
Probabilistic Consistency Engine (PCE) for probabilistic inference in MLNs [14]. ...
Related articles - View as HTML - All 3 versions - Import into BibTeX
Integrating multiple learning components through Markov logic
[PDF] from aaaipress.org
T Dietterich... - AAAI Conference on Artificial Intelligence, 2008 - aaai.org
... w = log P(Class|Object) 1 - P(Class|Object) , (2) The MPE Architecture Figure 3 shows our first
architecture, called the MPE Ar- chitecture. The box labeled PCE denotes the Probabilistic
Consistency Engine. This is the inference engine for the Markov Logic system. ...
Cited by 3 - Related articles - All 13 versions - Import into BibTeX
[PDF] Markov Logic Networks in Health Informatics
[PDF] from sri.com
S Ghosh, N Shankar, S Owre, S David, G Swan... - csl.sri.com
... person smokes or has cancer. We use the Probabilistic Consistency Engine (PCE)
(Owre & Shankar, 2009) tool for MLN inference, in which the specification of this
MLN would look like: # Declarations. sort Person; const A, B ...
Related articles - View as HTML - Import into BibTeX
07161 Abstracts Collection--Probabilistic, Logical and Relational Learning-A Further Synthesis}
[PDF] from dagstuhl.de
L De Raedt, T Dietterich, L Getoor... - ... Learning-A Further ..., 2008 - drops.dagstuhl.de
... than 25 research groups in the US To integrate the various learning components, and to combine
hand-written probabilistic rules with factual and learned knowledge, we implemented and
deployed a Markov Logic system that we call the Probabilistic Consistency Engine (PCE). ...
All 5 versions - Import into BibTeX
[PDF] Probabilistic Inference with PCE1
[PDF] from microsoft.com
N Shankar, S Owre... - 2011 - research.microsoft.com
... Page 4. What is PCE? PCE stands for Probabilistic Consistency Engine It is used
for probabilistic inference with Markov Logic as a formal framework PCE can infer
the marginal probabilities of formulas based on facts and rules. ...
Related articles - View as HTML - Import into BibTeX
Applying machine learning for prediction, recommendation, and integration
[PDF] from oregonstate.edu
X Bao - 2009 - ir.library.oregonstate.edu
Page 1. Page 2. AN ABSTRACT OF THE DISSERTATION OF Xinlong Bao for the degree of Doctor
of Philosophy in Computer Science presented on August 24, 2009. Title: Applying Machine
Learning for Prediction, Recommendation, and Integration Abstract approved: ...
Related articles - All 5 versions - Import into BibTeX
Fractionated software for networked cyber-physical systems: Research directions and long-term vision
MO Stehr, C Talcott, J Rushby, P Lincoln... - ... Modeling: Actors, Open ..., 2011 - Springer
... Other very promising approaches to the integra- tion of logic and sampling-based analysis
techniques are Markov Logic Networks [64] as, for instance, implemented in the Probabilistic
Consistency Engine [3] (PCE), which can be used to quantify the probability that a property ...
Cited by 1 - Related articles - All 2 versions - Import into BibTeX
|
