Automated Reasoning in Normative Detachment Structures with Ideal Conditions

Software OPEN SOURCE
Tomer Libal; Matteo Pascucci;
(2018)
  • Publisher: Figshare
  • Related identifiers: doi: 10.5281/zenodo.1450890, doi: 10.5281/zenodo.1450729
  • Subject: Cell Biology | Deontic logic, theorem prover, modal logic, legal texts | Biochemistry | Biophysics
    • FOR: 69999 Biological Sciences not elsewhere classified | 19999 Mathematical Sciences not elsewhere classified | 59999 Environmental Sciences not elsewhere classified

<p>This archive contains the two programs discussed in the paper as well as the latest distribution of MLeanCoP</p>
Share - Bookmark