Views | |
---|---|
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 191 |
November 2023 | December 2023 | January 2024 | February 2024 | March 2024 | April 2024 | May 2024 | |
---|---|---|---|---|---|---|---|
LogiKEy workbench: Deontic logics, logic combinations and expressive ethical and legal reasoning (Isabelle/HOL dataset) | 2 | 2 | 2 | 2 | 4 | 3 | 0 |
Views | |
---|---|
LogiKEy_workbench.pdf | 140 |