Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper.
Query: Temporal Description Logics: A Survey
A propositional modal logic of time intervals
Logical Formalizations of Commonsense Reasoning: A Survey
Safe Control under Uncertainty with Probabilistic Signal Temporal Logic
Automating first-order relational logic
A temporal modal defeasible logic for formalizing social commitments in dialogue and argumentation models
Distributed First Order Logic
When is Temporal Planning Really Temporal?
Learning Possibilistic Logic Theories from Default Rules
ABox Abduction in the Description Logic ALC
Default reasoning, nonmonotonic logics, and the frame problem
Clause/Term Resolution and Learning in the Evaluation of Quantified Boolean Formulas
On formalizing social commitments in dialogue and argumentation models using temporal defeasible logic
Temporal logic with forgettable past
Probabilistic Logic Programming
Behavior Query Discovery in System-Generated Temporal Graphs
A tractable first-order probabilistic logic
Compiling probabilistic logic programs into sentential decision diagrams
A really abstract concurrent model and its temporal logic
Prolog as the Fundament for Applications on the Semantic Web
Representing Knowledge within the Situation Calculus using Interval-valued Epistemic Fluents
mmWave mobile broadband (MMB): Unleashing the 3–300GHz spectrum
Crime Topic Modeling
Compact LTCC module for WLAN RF front-end
Convolutional Neural Networks for patient-specific ECG classification
The Temporal Logic of Programs