ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Project Information

ProLeMAS

Grant agreement ID: 661007

DOI

10.3030/661007

Project closed

EC signature date 17 March 2015

Start date 1 June 2015

End date 31 May 2017

Funded under

• EXCELLENT SCIENCE - Marie Skłodowska-Curie Actions

Total cost

€ 160 800,00

EU contribution

€ 160 800,00

Coordinated by

UNIVERSITE DU LUXEMBOURG
Luxembourg

CORDIS provides links to public deliverables and publications of HORIZON projects.

Links to deliverables and publications from FP7 projects, as well as links to some specific result types such as dataset and software, are dynamically retrieved from OpenAIRE .

Publications

Peer reviewed articles (4)

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

Author(s): Livio Robaldo, Xin Sun
Published in: Journal of Logic and Computation, 2017, ISSN 0955-792X
Publisher: Oxford University Press
DOI: 10.1093/logcom/exx009

On the complexity of input/output logic

Author(s): Xin Sun, Livio Robaldo
Published in: Journal of Applied Logic, 2017, ISSN 1570-8683
Publisher: 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

Author(s): Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre
Published in: Artificial Intelligence and Law, Issue 24/3, 2016, Page(s) 245-283, ISSN 0924-8463
Publisher: 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

Author(s): Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato
Published in: Applied Ontology, Issue 11/4, 2017, Page(s) 325-375, ISSN 1570-5838
Publisher: IOS Press
DOI: 10.3233/AO-170174

Conference proceedings (8)

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

Author(s): Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri
Published in: 2017, Page(s) 217-232
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-50953-2_16

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

Author(s): Xin Sun, Livio Robaldo
Published in: 2016, Page(s) 367-375
Publisher: Springer International Publishing
DOI: 10.1007/978-3-319-33509-4_29

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

Author(s): Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo
Published in: 2016
Publisher: IOS Press
DOI: 10.3233/978-1-61499-609-5-41

Framework to Reason about the Legal Compliance of Security Standards

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

Reified Input/Output logic - a position paper

Author(s): Livio Robaldo and Xin Sun
Published in: 2016
Publisher: 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

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

Ali Baba and Thief, Norm Emergence in Games

Author(s): X. Sun, L. Robaldo
Published in: Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 2016
Publisher: Springer

Norm Creation in Proposition Control Games

Author(s): X. Sun, L. Robaldo
Published in: 2016
Publisher: CEUR workshop proceedings