Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper.
Query: Resource-constrained reasoning using a reasoner composition approach
DLEJena: A practical forward-chaining OWL 2 RL reasoner combining Jena and Pellet
Constraint Logic Programming
Learning-Assisted Automated Reasoning with Flyspeck
A Computational Model for Causal and Diagnostic Reasoning in Inference Systems
On the links between argumentation-based reasoning and nonmonotonic reasoning
Towards Neural Network-based Reasoning
Planning as Satisfiability: Heuristics
Meta-Reasoning: Monitoring and Control of Thinking and Reasoning
Modeling Commonsense Reasoning via Analogical Chaining: A Preliminary Report.
Directional Resolution: The Davis-Putnam Procedure, Revisited
Universal Reasoning, Rational Argumentation and Human-Machine Interaction
Implementing the Davis–Putnam Method
A Simple Machine Learning Method for Commonsense Reasoning? A Short Commentary on Trinh&Le (2018)
An application of automated reasoning in natural language question answering
Automating commonsense reasoning using the event calculus
reactive reasoning and planning .
Knowledge-based reasoning in a unified feature modeling scheme
Constraint Relaxation and Chunk Decomposition in Insight Problem Solving
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
Commonsense Reasoning in and Over Natural Language
A justification-suppression model of the expression and experience of prejudice.
Role of Durum Wheat Composition on the Quality of Pasta and Bread
From today's INTRAnet of things to a future INTERnet of things: a wireless- and mobility-related view
Eon Mode: Bringing the Vertica Columnar Database to the Cloud
Measuring discrimination in algorithmic decision making