Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

Reference : Reified Input/Output logic: Combining Input/Output logic and Reification to represent...


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

Title :	Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
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 Logic and Computation
Publisher :	Oxford University Press
Peer reviewed :	Yes
ISSN :	0955-792X
e-ISSN :	1465-363X
Permalink :	http://hdl.handle.net/10993/31378
DOI :	https://doi.org/10.1093/logcom/exx009
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	ReifiedIOlogic.pdf		Publisher postprint	451.98 kB	View/Open

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