| Zugriffe | |
|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 439 |
| Juli 2025 | August 2025 | September 2025 | Oktober 2025 | November 2025 | Dezember 2025 | Januar 2026 | |
|---|---|---|---|---|---|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 11 | 6 | 12 | 23 | 18 | 7 | 2 |
| Zugriffe | |
|---|---|
| LogiKEy_workbench.pdf | 185 |
