ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Información del proyecto

ProLeMAS

Identificador del acuerdo de subvención: 661007

DOI 10.3030/661007

Proyecto cerrado

Fecha de la firma de la CE 17 Marzo 2015

Fecha de inicio 1 Junio 2015

Fecha de finalización 31 Mayo 2017

Financiado con arreglo a

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Coste total € 160 800,00

Aportación de la UE € 160 800,00

Coordinado por

UNIVERSITE DU LUXEMBOURG
Luxembourg

Publicaciones

Peer reviewed articles (4)

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

Autores: Livio Robaldo, Xin Sun
Publicado en: Journal of Logic and Computation, 2017, ISSN 0955-792X
Editor: Oxford University Press
DOI: 10.1093/logcom/exx009

On the complexity of input/output logic

Autores: Xin Sun, Livio Robaldo
Publicado en: Journal of Applied Logic, 2017, ISSN 1570-8683
Editor: 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

Autores: Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre
Publicado en: Artificial Intelligence and Law, Edición 24/3, 2016, Página(s) 245-283, ISSN 0924-8463
Editor: 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

Autores: Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato
Publicado en: Applied Ontology, Edición 11/4, 2017, Página(s) 325-375, ISSN 1570-5838
Editor: IOS Press
DOI: 10.3233/AO-170174

Conference proceedings (8)

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

Autores: Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Publicado en: 2017, Página(s) 217-232
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-50953-2_16

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

Autores: Xin Sun, Livio Robaldo
Publicado en: 2016, Página(s) 367-375
Editor: Springer International Publishing
DOI: 10.1007/978-3-319-33509-4_29

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

Autores: Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo
Publicado en: 2016
Editor: IOS Press
DOI: 10.3233/978-1-61499-609-5-41

Framework to Reason about the Legal Compliance of Security Standards

Autores: Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, and Livio Robaldo
Publicado en: 2016
Editor: in proc. of the 10th International Workshop on Juris-informatic (JURISIN 2016)

Reified Input/Output logic - a position paper

Autores: Livio Robaldo and Xin Sun
Publicado en: 2016
Editor: 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

Autores: Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido
Publicado en: 2016
Editor: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)

Ali Baba and Thief, Norm Emergence in Games

Autores: X. Sun, L. Robaldo
Publicado en: Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 2016
Editor: Springer

Norm Creation in Proposition Control Games

Autores: X. Sun, L. Robaldo
Publicado en: 2016
Editor: CEUR workshop proceedings