Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Splitting a Logic Program
Classical negation in logic programs and disjunctive databases
Closed-Form Solutions in Learning Probabilistic Logic Programs by Exact Score Maximization
magic sets and other strange ways to implement logic programs .
Natural language processing and logic programming
Strong and Weak Constraints in Disjunctive Datalog
the stable model semantics for logic programming .
Declarative programming in Prolog
Implementing the Davis–Putnam Method
Answer set programming at a glance
Programming in Prolog
Interval Logics and Their Decision Procedures - Part II: A Real-Time Interval Logic
Distributed First Order Logic
A differentiable approach to inductive logic programming
Inductive Logic Programming: Theory and Methods
Automating first-order relational logic
Backdoors to tractable answer set programming
COGEX: A Logic Prover For Question Answering
rapport programming with dynamic predicate logic .
Combining the logical and the probabilistic in program analysis
A framework for defining logics
A Logic for Default Reasoning
Review of Deep Learning Methods in Robotic Grasp Detection
Co-simulation of a marine electrical power system using PowerFactory and MATLAB/Simulink
QSARs for PBPK modelling of environmental contaminants
Cell Segmentation in Phase Contrast Microscopy Images Via Semi-Supervised Classification Over Optics-Related Features