LogiKEy Workbench (dataset of formalized knowledge): Flexible, Pluralistic Foundations for Legal and Ethical Reasoning, Metaphysics and Maths
For further information on LogiKEy see the
- related scientific article in "Artificial Intelligence" (doi), and the
- related data article in "Data in brief" (doi).
The LogiKEy Workbench also maintains selected datasets in
All these datasets utilize the universal meta-logical reasoning approach in which various object logics (and their combinations) are shallowly embedded in classical higher-order logic.