Reference : I/O Logic Workbench

	Document type :	Computer developments : Software
	Discipline(s) :	Engineering, computing & technology : Computer science
	To cite this reference:	http://hdl.handle.net/10993/43592

Title :	I/O Logic Workbench
Language :	English
Author, co-author :	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Communication (FSTC) > Computer Science and Communications Research Unit (CSC) >]
Publication date :	May-2020
Creation date :	2020-05
Keywords :	[en] 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.
Target :	Researchers ; Students
Permalink :	http://hdl.handle.net/10993/43592
Other 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

There is no file associated with this reference.

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map