Instruct: Given the title of a paper, retrieve paper titles that are cited by the given paper
Query: Algorithms in Philosophy, Informatics and Logic. A Position Manifesto 2017
A Theorem Prover for a Computational Logic
Logic and artificial intelligence
The Church-Turing thesis: Consensus and opposition
A Short Introduction to Probabilistic Soft Logic
A STRUCTURAL APPROACH TO ETHICAL REASONING: THE INTEGRATION OF MORAL PHILOSOPHY
Bayesian Informal Logic and Fallacy
A Formal Theory of Justifications
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
Implementing the Davis–Putnam Method
A Theory of Universal Artificial Intelligence based on Algorithmic Complexity
Automated proof synthesis for propositional logic with deep neural networks
Open Problems in Universal Induction&Intelligence
In defense of computational philosophy of science
The Ethics of Computing: A Survey of the Computing-Oriented Literature
The Boolean Solution Problem from the Perspective of Predicate Logic - Extended Version
An Abductive Counterfactual Reasoning Approach in Logic Programming
Algorithmic stability and hypothesis complexity
On Semantic Algebra: A Denotational Mathematics for Natural Language Comprehension and Cognitive Computing
Interactive Theorem Proving
A tractable first-order probabilistic logic
IDIOM-INDEPENDENT HARMONIC PATTERN RECOGNITION BASED ON A NOVEL CHORD TRANSITION REPRESENTATION
A Review of the Security of Insulin Pump Infusion Systems
Comparative Safety and Efficacy of Topical Hemostatic Agents in a Rat Neurosurgical Model
Juvenile distal spinal muscular atrophy: a case with Arnold-Chiari malformation
A Mechanical Proof of the Unsolvability of the Halting Problem