Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Disjunctive Logic Programs with Inheritance
Classical negation in logic programs and disjunctive databases
Declarative programming in Prolog
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Strong and Weak Constraints in Disjunctive Datalog
Inductive Logic Programming: Theory and Methods
Probabilistic Logic Programming
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
Defeasible Logic Programming: An Argumentative Approach
Inductive Logic Programming
Constraint Logic Programming
LOGIC, PROGRAMMING AND PROLOG (2ED)
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
Inductive Logic Programming: Techniques and Applications
Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
Efficient support of dynamic inheritance for class- and prototype-based languages
Learning Possibilistic Logic Theories from Default Rules
Higher-order logical inference with compositional semantics
On the Implementation of GNU Prolog
Foundations of Description Logics
Bayesian Logic Programming: Theory and Tool
APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE KNOWLEDGE
Security and Privacy in Fog Computing: Challenges
Horizontal distance and height determining falling pattern.
Lifeline-based global load balancing
Clustering based association rule mining on online stores for optimized cross product recommendation