| Zugriffe | |
|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 354 |
| November 2024 | Dezember 2024 | Januar 2025 | Februar 2025 | März 2025 | April 2025 | Mai 2025 | |
|---|---|---|---|---|---|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 14 | 30 | 9 | 24 | 14 | 8 | 2 |
| Zugriffe | |
|---|---|
| LogiKEy_workbench.pdf | 165 |
