Instruct: Given a paper title, retrieve paper titles that are cited by the given paper
Query: Logic programs with propositional connectives and aggregates
Splitting a Logic Program
The Temporal Logic of Programs
Bayesian Abductive Logic Programs: A Probabilistic Logic for Abductive Reasoning
magic sets and other strange ways to implement logic programs .
GOLOG: A Logic Programming Language for Dynamic Domains
Strong and Weak Constraints in Disjunctive Datalog
Probabilistic Functional Logic Programming
Defeasible Logic Programming: An Argumentative Approach
Argument-Based Extended Logic Programming With Defeasible Priorities
On the Implementation of GNU Prolog
Declarative Probabilistic Programming with Datalog.
Answer Sets and the Language of Answer Set Programming
Bayesian Logic Programming: Theory and Tool
Automating first-order relational logic
Completeness Theorems for Syllogistic Fragments
Programming in Prolog
Cuts and Side-Effects in And-Or Parallel Prolog
A view of the origins and development of Prolog
Interval Logics and Their Decision Procedures - Part II: A Real-Time Interval Logic
Well-Definedness and Efficient Inference for Probabilistic Logic Programming under the Distribution Semantics
Abstraction Refinement for Probabilistic Software
APPLICATIONS OF CIRCUMSCRIPTION TO FORMALIZING COMMON SENSE KNOWLEDGE
Autophagy and genomic integrity
Seed germination and dormancy
Network Science and Cybersecurity