No full text
Software (Computer developments)
I/O Logic Workbench
Steen, Alexander
2020
 

Files


Full Text
No document available.

Send to



Details



Keywords :
Deontic logic; normative reasoning; Automated Reasoning
Abstract :
[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.
Disciplines :
Computer science
Author, co-author :
Steen, Alexander ;  University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC)
Language :
English
Title :
I/O Logic Workbench
Publication date :
May 2020
Creation date :
2020-05
Version :
0.7
Technical description :
Implemented in JavaScript
Commentary :
The paper that describes this tool is available at https://orbilu.uni.lu/handle/10993/43591
Available on ORBilu :
since 01 July 2020

Statistics


Number of views
86 (2 by Unilu)
Number of downloads
0 (0 by Unilu)

Bibliography


Similar publications



Contact ORBilu