Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Type-Sensitive Knowledge Base Inference Without Explicit Type Supervision
Inferring Missing Entity Type Instances for Knowledge Base Completion: New Dataset and Methods
A Proposal for Making Eiffel Type-Safe
On Type-Aware Entity Retrieval
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
DeepDive: Web-scale Knowledge-base Construction using Statistical Learning and Inference
Scalable Construction and Reasoning of Massive Knowledge Bases
Cross-Lingual Type Inference
True Knowledge: Open-Domain Question Answering Using Structured Knowledge and Inference
OWL, RDF, RDFS inference derivation using Jena semantic framework & pellet reasoner
TypeSQL: Knowledge-based Type-Aware Neural Text-to-SQL Generation
Specification Inference from Demonstrations
Enhanced Answer Type Inference From Questions Using Sequential Models
Higher-order logical inference with compositional semantics
Differentiable Learning of Logical Rules for Knowledge Base Completion
Natural Language Inference from Multiple Premises
Elementary: Large-scale Knowledge-base Construction via Machine Learning and Statistical Inference
Reasoning about Object Affordances in a Knowledge Base Representation
Generic Tasks in Knowledge-Based Reasoning: High-Level Building Blocks for Expert System Design
A new belief rule base knowledge representation scheme and inference methodology using the evidential reasoning rule for evidence combination
Hypertableau Reasoning for Description Logics
Long-Term Identity-Aware Multi-Person Tracking for Surveillance Video Summarization
Molecular and stable isotope methods to detect and measure anaerobic ammonium oxidation (anammox) in aquatic ecosystems.
How True Is Grit? Assessing Its Relations to High School and College Students’ Personality Characteristics, Self-Regulation, Engagement, and Achievement
Dropout: a simple way to prevent neural networks from overfitting
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas