Projects in Awesome Lists by existenzquantor
A curated list of projects in awesome lists by existenzquantor .
https://github.com/existenzquantor/hera2
HERA tool for ethical evaluation and explanation of action plans (swi prolog implementation)
artificial-intelligence ethics explainable-ai logics
Last synced: 25 Feb 2026
https://github.com/existenzquantor/counterfactuals
A semantic tableau for a logic of counterfactuals
Last synced: 26 Feb 2026
https://github.com/existenzquantor/actions
Terminological reasoning about actions in action plans
Last synced: 23 Feb 2026
https://github.com/existenzquantor/causality
A library for program-based causal reasoning and causal explanation
Last synced: 23 Feb 2026