- Formalisation and Evaluation of Alan Gewirth’s Proof for the Principle of Generic Consistency in Isabelle/HOL
- The Inconsistency in Godel’s Ontological Argument: A Success Story for AI in Metaphysics
- https://gitlab.com/aossie/ComputationalPhilosophy/
- Harnessing Higher-Order (Meta-)Logic to Represent and Reason with Complex Ethical Theories
- A Case Study on Computational Hermeneutics: E. J. Lowe’s Modal Ontological Argument
- Edward Zalta’s Theory of Abstract Objects in Isabelle/HOL
- Aristotle’s Assertoric Syllogistic
- Computational Philosophy
- The computational philosophy: simulation as a core philosophical method
- Sopholab: Experimental computational philosophy
- Computational Experiments: Past, Present and Future
- An Inquiry into Dialectic Logic