ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Informations projet

ProLeMAS

N° de convention de subvention: 661007

DOI

10.3030/661007

Projet clôturé

Date de signature de la CE 17 Mars 2015

Date de début 1 Juin 2015

Date de fin 31 Mai 2017

Financé au titre de

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coût total

€ 160 800,00

Contribution de l’UE

€ 160 800,00

Coordonné par

UNIVERSITE DU LUXEMBOURG
Luxembourg

CORDIS fournit des liens vers les livrables publics et les publications des projets HORIZON.

Les liens vers les livrables et les publications des projets du 7e PC, ainsi que les liens vers certains types de résultats spécifiques tels que les jeux de données et les logiciels, sont récupérés dynamiquement sur OpenAIRE .

Publications

Peer reviewed articles (4)

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

Auteurs: Livio Robaldo, Xin Sun
Publié dans: Journal of Logic and Computation, 2017, ISSN 0955-792X
Éditeur: Oxford University Press
DOI: 10.1093/logcom/exx009

On the complexity of input/output logic

Auteurs: Xin Sun, Livio Robaldo
Publié dans: Journal of Applied Logic, 2017, ISSN 1570-8683
Éditeur: Elsevier BV
DOI: 10.1016/j.jal.2017.03.002

Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law

Auteurs: Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre
Publié dans: Artificial Intelligence and Law, Numéro 24/3, 2016, Page(s) 245-283, ISSN 0924-8463
Éditeur: Kluwer Academic Publishers
DOI: 10.1007/s10506-016-9184-3

The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology

Auteurs: Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato
Publié dans: Applied Ontology, Numéro 11/4, 2017, Page(s) 325-375, ISSN 1570-5838
Éditeur: IOS Press
DOI: 10.3233/AO-170174

Conference proceedings (8)

Combining Input/Output Logic and Reification for Representing Real-World Obligations

Auteurs: Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Publié dans: 2017, Page(s) 217-232
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-50953-2_16

Logic and Games for Ethical Agents in Normative Multi-agent Systems

Auteurs: Xin Sun, Livio Robaldo
Publié dans: 2016, Page(s) 367-375
Éditeur: Springer International Publishing
DOI: 10.1007/978-3-319-33509-4_29

Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation

Auteurs: Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo
Publié dans: 2016
Éditeur: IOS Press
DOI: 10.3233/978-1-61499-609-5-41

Framework to Reason about the Legal Compliance of Security Standards

Auteurs: Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, and Livio Robaldo
Publié dans: 2016
Éditeur: in proc. of the 10th International Workshop on Juris-informatic (JURISIN 2016)

Reified Input/Output logic - a position paper

Auteurs: Livio Robaldo and Xin Sun
Publié dans: 2016
Éditeur: in proc. of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016)

Textual Inference with Deep Learning Technique

Auteurs: Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido
Publié dans: 2016
Éditeur: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)

Ali Baba and Thief, Norm Emergence in Games

Auteurs: X. Sun, L. Robaldo
Publié dans: Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 2016
Éditeur: Springer

Norm Creation in Proposition Control Games

Auteurs: X. Sun, L. Robaldo
Publié dans: 2016
Éditeur: CEUR workshop proceedings