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
Implemented in JavaScript

There is no file associated with this reference.

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.