I/O Logic Workbench

Steen, Alexander

doi:10.5281/zenodo.4435991

No full text

Software (Computer developments)

I/O Logic Workbench

Steen, Alexander

2020

Permalink
https://hdl.handle.net/10993/43592

DOI
10.5281/zenodo.4435991

Files (0)Send to Details Statistics Bibliography Similar publications

Files

Full Text

No document available.

Send to

RIS BibTex APA Chicago Permalink X Linkedin

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

Additional URL :

https://github.com/I-O-Logic/iol-workbench
https://www.alexandersteen.de/iol/

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

88 (2 by Unilu)

Number of downloads

0 (0 by Unilu)

More statistics