Back
  1. Home
  3. Detailled Reference
Download
Article (Scientific journals)
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
ROBALDO, Livio; Sun, Xin
2017 • In Journal of Logic and Computation
Peer Reviewed verified by ORBi
Permalink
https://hdl.handle.net/10993/31378
DOI
10.1093/logcom/exx009
 

Files (1)Send toDetailsStatisticsBibliographySimilar publications

Files

Full Text
ReifiedIOlogic.pdf
Publisher postprint (462.83 kB)
Download

All documents in ORBilu are protected by a user license.

Send to


Details


Disciplines :
Computer science
Author, co-author :
ROBALDO, Livio ;  University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)
Sun, Xin
External co-authors :
yes
Language :
English
Title :
Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation
Publication date :
2017
Journal title :
Journal of Logic and Computation
ISSN :
0955-792X
eISSN :
1465-363X
Publisher :
Oxford University Press
Peer reviewed :
Peer Reviewed verified by ORBi
European Projects :
H2020 - 661007 - ProLeMAS - ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems
Funders :
CE - Commission Européenne [BE]
Available on ORBilu :
since 07 June 2017

Statistics

Number of views
195 (21 by Unilu)
Number of downloads
317 (11 by Unilu)
More statistics
Scopus citations®
 
36
Scopus citations®
without self-citations
22
OpenCitations
 
23
WoS citations™
 
22

Bibliography

Similar publications


Contact ORBilu