Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: An introduction to the syntax and content of Cyc
CYC: a large-scale investment in knowledge infrastructure
The role of logic and ontology in language and reasoning
On the Implementation of GNU Prolog
Managing uncertainty and vagueness in description logics, logic programs and description logic programs
Structural Recursion as a Query Language
Translating OWL and Semantic Web Rules into Prolog: Moving Toward Description Logic Programs
Inducing Probabilistic CCG Grammars from Logical Form with Higher-Order Unification
Logical structure analysis and generation for structured documents: a syntactic approach
Feature models, grammars, and propositional formulas
Learning First-Order Horn Clauses from Web Text
Prolog - the language and its implementation compared with Lisp
Yin-yang: concealing the deep embedding of DSLs
semantic web languages for policy representation and reasoning : a comparison of kaos , rei , and ponder .
Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
An overview of automated reasoning and related fields
Term rewriting and all that
A note the expressive power of Prolog
The DIAMOND System for Computing with Abstract Dialectical Frameworks.
Constraint Logic Programming
Semantics and Complexity of SPARQL
Reinforcement Learning for Long-Run Average Cost
Question-answering by predictive annotation
PYSENSE: PYTHON DECORATORS FOR WIRELESS SENSOR MACROPROGRAMMING
Mechanisms and Functions of Inflammasomes
Ketamine in Chronic Pain Management: An Evidence-Based Review