| Views | |
|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 360 |
| January 2025 | February 2025 | March 2025 | April 2025 | May 2025 | June 2025 | July 2025 | |
|---|---|---|---|---|---|---|---|
| LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 9 | 24 | 14 | 8 | 6 | 2 | 0 |
| Views | |
|---|---|
| LogiKEy_workbench.pdf | 165 |
