Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Review of the main developments in the analytic hierarchy process
How to derive priorities in AHP: a comparative study
Completeness Theorems for Syllogistic Fragments
Formal Concept Analysis: Mathematical Foundations
Anaphora Resolution: The State Of The Art
Formal semantics and automated analysis of BPMN process models
Reasoning about temporal relations: a maximal tractable subclass of Allen's interval algebra
An Overview of Hierarchical Task Network Planning
A fast APRIORI implementation
Complex Optimization in Answer Set Programming
Learning Concept Hierarchies from Text Corpora using Formal Concept Analysis
Hierarchical Linearly-Solvable Markov Decision Problems
Model checking csp revisited: Introducing a process analysis toolkit
Annotating Derivations: A New Evaluation Strategy and Dataset for Algebra Word Problems
On the links between argumentation-based reasoning and nonmonotonic reasoning
an analysis of alpha - beta pruning .
Dynamic minimization of sentential decision diagrams
Pushing Toulmin Too Far: Learning From an Argument Representation Scheme
Answer Sets and the Language of Answer Set Programming
Attributed Graph Grammar for floor plan analysis
Higher-order automated theorem proving
PRISM: A Video Coding Paradigm With Motion Estimation at the Decoder
LabelMe: A Database and Web-Based Tool for Image Annotation
An integrated decision making approach for ERP system selection
Delving deeper into convolutional neural networks for camera relocalization
Convergence and Hybrid Information Technology