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 ![]() | |
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.