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
Journal of Logic & Computation
Oxford University Press
Yes
0955-792X
1465-363X
http://hdl.handle.net/10993/31378
https://doi.org/10.1093/logcom/exx009
H2020 ; 661007 - ProLeMAS - ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

File(s) associated to this reference

Fulltext file(s):

FileCommentaryVersionSizeAccess
Open access
ReifiedIOlogic.pdfPublisher postprint451.98 kBView/Open

Bookmark and Share SFX Query

All documents in ORBilu are protected by a user license.