| Views | |
|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 439 |
| July 2025 | August 2025 | September 2025 | October 2025 | November 2025 | December 2025 | January 2026 | |
|---|---|---|---|---|---|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 11 | 6 | 12 | 23 | 18 | 7 | 2 |
| Views | |
|---|---|
| LogiKEy_workbench.pdf | 185 |
