| Zugriffe | |
|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 306 |
| Juli 2024 | August 2024 | September 2024 | Oktober 2024 | November 2024 | Dezember 2024 | Januar 2025 | |
|---|---|---|---|---|---|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 3 | 21 | 11 | 20 | 14 | 30 | 9 |
| Zugriffe | |
|---|---|
| LogiKEy_workbench.pdf | 159 |
