| Reference : I/O Logic Workbench |
| Computer developments : Software | |||
| Engineering, computing & technology : Computer science | |||
| http://hdl.handle.net/10993/43592 | |||
| I/O Logic Workbench | |
| English | |
Steen, Alexander  [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >] | |
| May-2020 | |
| 2020-05 | |
| [en] Deontic logic ; normative reasoning ; Automated Reasoning | |
| [en] The I/O Logic Workbench is aimed at providing a browser-based automated reasoning system for various I/O logics. In short, the system allows you to input a set of norms and an input (the description of the current situation), and provides automated means for inferring whether a certain formula can be derived as an obligation from this. | |
| Researchers ; Students | |
| http://hdl.handle.net/10993/43592 | |
| 10.5281/zenodo.4435991 | |
| https://github.com/I-O-Logic/iol-workbench | |
| https://www.alexandersteen.de/iol/ | |
| The paper that describes this tool is available at https://orbilu.uni.lu/handle/10993/43591 | |
| Implemented in JavaScript | |
| 0.7 |
There is no file associated with this reference.
All documents in ORBilu are protected by a user license.
