On the Complexity of Input/Output Logic

Reference : On the Complexity of Input/Output Logic


	Document type :	Scientific journals : Article
	Discipline(s) :	Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/33477

Title :	On the Complexity of Input/Output Logic
Language :	English
Author, co-author :	Robaldo, Livio [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
	Sun, Xin [> >]
Publication date :	2017
Journal title :	Journal of Applied Logic
Publisher :	Elsevier
Peer reviewed :	Yes (verified by ORBi^lu)
ISSN :	1570-8683
e-ISSN :	1570-8691
Permalink :	http://hdl.handle.net/10993/33477
Framework Programme / European Project :	H2020 ; 661007 - ProLeMAS - ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

File(s) associated to this reference

Fulltext file(s):

	File	Commentary	Version	Size	Access
Open access	ComplexityOfIOLogic.pdf		Publisher postprint	397.61 kB	View/Open

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