Zugriffe | |
---|---|
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 197 |
Dezember 2023 | Januar 2024 | Februar 2024 | März 2024 | April 2024 | Mai 2024 | Juni 2024 | |
---|---|---|---|---|---|---|---|
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 2 | 2 | 2 | 4 | 3 | 6 | 0 |
Zugriffe | |
---|---|
LogiKEy_workbench.pdf | 142 |