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

Article (Périodiques scientifiques)

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 vérifié par ORBi

Permalien
https://hdl.handle.net/10993/31378

DOI
10.1093/logcom/exx009

Documents (1)Envoyer vers Détails Statistiques Bibliographie Publications similaires

Documents

Texte intégral

ReifiedIOlogic.pdf

Postprint Éditeur (462.83 kB)

Télécharger

Tous les documents dans ORBilu sont protégés par une licence d'utilisation.

Envoyer vers

RIS BibTex APA Chicago Permalink X Linkedin

Détails

Disciplines :

Sciences informatiques

Auteur, co-auteur :

ROBALDO, Livio ; University of Luxembourg > Interdisciplinary Centre for Security, Reliability and Trust (SNT)

Sun, Xin

Co-auteurs externes :

yes

Langue du document :

Anglais

Titre :

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

Date de publication/diffusion :

2017

Titre du périodique :

Journal of Logic and Computation

ISSN :

0955-792X

eISSN :

1465-363X

Maison d'édition :

Oxford University Press

Peer reviewed :

Peer reviewed vérifié par ORBi

Projet européen :

H2020 - 661007 - ProLeMAS - ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Organisme subsidiant :

CE - Commission Européenne

Disponible sur ORBilu :

depuis le 07 juin 2017

Statistiques

Nombre de vues

244 (dont 21 Unilu)

Nombre de téléchargements

382 (dont 12 Unilu)

Voir plus de statistiques

citations Scopus^®

citations Scopus^®
sans auto-citations

OpenCitations

citations OpenAlex

citations WoS^™