Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: A Logical Basis for the D Combinator and Normal Form in CCG
Online Learning of Relaxed CCG Grammars for Parsing to Logical Form
Term rewriting and all that
Symbolic Model Checking using Zero-suppressed Decision Diagrams
Foundations of Logic Programming
Realization with CCG
A Linear Algebraic Approach to Datalog Evaluation
Evaluating Induced CCG Parsers on Grounded Semantic Parsing
Lexical Generalization in CCG Grammar Induction for Semantic Parsing
Languages, Automata, and Logic
Compiling probabilistic logic programs into sentential decision diagrams
Quantum Field Theory and Coalgebraic Logic in Theoretical Computer Science
Feature models, grammars, and propositional formulas
Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation
Semantics of context-free languages
A note on undecidable properties of formal languages
A Generalised Quantifier Theory of Natural Language in Categorical Compositional Distributional Semantics with Bialgebras
The Origins of Structural Operational Semantics
Formal certification of a compiler back-end or: programming a compiler with a proof assistant
A language-independent proof system for full program equivalence
A Machine-Oriented Logic Based on the Resolution Principle
Multicamera People Tracking with a Probabilistic Occupancy Map
Modeling User Mobility for Location Promotion in Location-based Social Networks
A computational study of cross-situational techniques for learning word-to-meaning mappings
Exploring Machine Learning Methods to Automatically Identify Students in Need of Assistance
Toward interoperability in a web of things