Reference : Reified Input/Output logic: Combining Input/Output logic and Reification to represent...
Scientific journals : Article
Engineering, computing & technology : Computer science
http://hdl.handle.net/10993/31378
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
English
Robaldo, Livio mailto [University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT) > >]
Sun, Xin []
2017
The Journal of Logic and Computation
Yes
http://hdl.handle.net/10993/31378
H2020 ; 661007 - ProLeMAS - ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Limited access
ReifiedIOlogic.pdfPublisher postprint451.98 kBRequest a copy

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.