December, 2024
Naive Encodings of Transitivity within First-Order Logic
March, 2024
Caching Theorem Prover Results
September, 2023
Representing Uncertainty under the Closed World Assumption
May, 2023
February, 2023
Prenex Normal Form - Implication Exercise
February, 2022