temporal first order logic
Efficient First-Order Temporal Logic for Infinite-State Systems
16
Temporalising OWL 2 QL
13
Bisimulations for temporal logic
25
Chinese Named Entity Abbreviation Generation Using First Order Logic
9
An Apriori-based Approach for First-Order Temporal Pattern
14
First order rewritability of temporal ontology mediated queries
8
The First-Order Logic of Hyperproperties
14
PP 2016 26: On a New Semantics for First Order Predicate Logic
9
PP 2009 40: First Order Logic Formalisation of Arrow's Theorem
14
The Triguarded Fragment of First-Order Logic
16
Relevant First-Order Logic LP# and Curry’s Paradox Resolution
7
Representing the Process of Machine Tool Calibration in First order Logic
7
Logic Programs vs First Order Formulas in Textual Inference
6
Expressing Disjunctive and Negative Feature Constraints With Classical First Order Logic
7
DLS-Forgetter: An Implementation of the DLS Forgetting Calculus for First-Order Logic
12
Proof theoretic investigations into integrated logical and functional programming
187
Wires, P=NP in Applied Logic
7
Second order logic is logic
226
A Complete Cyclic Proof System for Inductive Entailments in First Order Logic
19
Question Answering over Linked Data Using First order Logic
12