ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Informazioni relative al progetto

ProLeMAS

ID dell’accordo di sovvenzione: 661007

DOI 10.3030/661007

Progetto chiuso

Data della firma CE 17 Marzo 2015

Data di avvio 1 Giugno 2015

Data di completamento 31 Maggio 2017

Finanziato da

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Costo totale € 160 800,00

Contributo UE € 160 800,00

Coordinato da

UNIVERSITE DU LUXEMBOURG
Luxembourg

Pubblicazioni

Peer reviewed articles (4)

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

Autori: Livio Robaldo, Xin Sun
Pubblicato in: Journal of Logic and Computation, 2017, ISSN 0955-792X
Editore: Oxford University Press
DOI: 10.1093/logcom/exx009

On the complexity of input/output logic

Autori: Xin Sun, Livio Robaldo
Pubblicato in: Journal of Applied Logic, 2017, ISSN 1570-8683
Editore: 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

Autori: Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre
Pubblicato in: Artificial Intelligence and Law, Numero 24/3, 2016, Pagina/e 245-283, ISSN 0924-8463
Editore: 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

Autori: Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato
Pubblicato in: Applied Ontology, Numero 11/4, 2017, Pagina/e 325-375, ISSN 1570-5838
Editore: IOS Press
DOI: 10.3233/AO-170174

Conference proceedings (8)

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

Autori: Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Pubblicato in: 2017, Pagina/e 217-232
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-50953-2_16

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

Autori: Xin Sun, Livio Robaldo
Pubblicato in: 2016, Pagina/e 367-375
Editore: Springer International Publishing
DOI: 10.1007/978-3-319-33509-4_29

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

Autori: Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo
Pubblicato in: 2016
Editore: IOS Press
DOI: 10.3233/978-1-61499-609-5-41

Framework to Reason about the Legal Compliance of Security Standards

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

Reified Input/Output logic - a position paper

Autori: Livio Robaldo and Xin Sun
Pubblicato in: 2016
Editore: 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

Autori: Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido
Pubblicato in: 2016
Editore: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)

Ali Baba and Thief, Norm Emergence in Games

Autori: X. Sun, L. Robaldo
Pubblicato in: Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 2016
Editore: Springer

Norm Creation in Proposition Control Games

Autori: X. Sun, L. Robaldo
Pubblicato in: 2016
Editore: CEUR workshop proceedings