Reference : I/O Logic Workbench
Computer developments : Software
Engineering, computing & technology : Computer science
I/O Logic Workbench
Steen, Alexander mailto [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
[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
The paper that describes this tool is available at

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.