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

Robaldo, Livio; Sun, Xin

doi:10.1093/logcom/exx009

Available on ORBilu since
07 June 2017

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 Send to Details Statistics Bibliography Similar publications

Files

Full Text

ReifiedIOlogic.pdf

Publisher postprint (462.83 kB)

All documents in ORBilu are protected by a user license.

Send to

RIS BibTex APA Chicago Permalink Twitter Linkedin

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 :

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

Statistics

Number of views

187 (21 by Unilu)

Number of downloads

296 (11 by Unilu)

More statistics

Scopus citations^®

Scopus citations^®
without self-citations

OpenCitations

WoS citations^™