Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Skolemization for Weighted First-Order Model Counting
On probabilistic inference by weighted model counting
Automating first-order relational logic
Test Selection Criteria for Quantifier-Free First-Order Specifications
On Models Constructed by Means of the Arithmetized Completeness Theorem
FO Model Checking on Posets of Bounded Width
A Computing Procedure for Quantification Theory
Lifted probabilistic inference with counting formulas
A tractable first-order probabilistic logic
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
Inference and learning in probabilistic logic programs using weighted Boolean formulas
Symbolic Model Checking using Zero-suppressed Decision Diagrams
A Survey of Statistical Model Checking
Bounded Model Checking Using Satisfiability Solving
Completeness Theorems for Syllogistic Fragments
A Theorem Prover for a Computational Logic
Large-Scale cost-based abduction in full-fledged first-order predicate logic with cutting plane inference
Regularizing Relation Representations by First-order Implications
The Complexity of Temporal Logic Model Checking
Using first-order logic to compress sentences
A Lower Bound on the Size of Decomposable Negation Normal Form
Automatic pectoral muscle boundary detection in mammograms based on Markov chain and active contour model
RLS relieved by tobacco chewing: paradoxical role of nicotine
Modeling and Reasoning with Bayesian Networks
Fully Statistical Neural Belief Tracking
Automated Classification for Biomedical Data: Machine Learning Approaches for Subject-Independent Settings