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 mailto [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
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

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.