Instruct: Given a scientific paper title, retrieve paper titles that are cited by the given paper
Query: Answer Set Programming with External Source Access
Conflict-Driven Answer Set Solving: From Theory to Practice
GNU Prolog: Beyond Compiling Prolog to C
Logic Programming Applications: What Are the Abstractions and Implementations?
The finite domain constraint solver of SWI-Prolog
Multi-shot ASP solving with clingo
The Boolean Constraint Solver of SWI-Prolog (System Description)
BerkMin: A Fast and Robust Sat-Solver
Model-Driven Constraint Programming
The Aurora or-parallel Prolog system
Foundations of Logic Programming
Logic programs with stable model semantics as a constraint programming paradigm
Learning-Assisted Automated Reasoning with Flyspeck
An Overview of the SWI-Prolog Programming Environment
Theory Solving Made Easy with Clingo 5
Solving constraint satisfaction problems with SAT modulo theories
COGEX: A Logic Prover For Question Answering
querying biomedical ontologies in natural language using answer set programming .
CAMA: A Multi-Valued Satisfiability Solver
Understanding the complexity of #SAT using knowledge compilation
XSat: A Fast Floating-Point Satisfiability Solver
Aggregate Functions in DLV
Effect of Coffee and Caffeine Ingestion on Resistance Exercise Performance.
Solvent-free microwave extraction of essential oil from aromatic herbs: from laboratory to pilot and industrial scale.
Throughput Maximization in Wireless Powered Communication Networks
The roles of body and mind in abstract thought