Skip to main content
Go to the home page of the European Commission (opens in new window)
English English
CORDIS - EU research results
CORDIS

ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

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

Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (opens in new window)

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 (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Combining Input/Output Logic and Reification for Representing Real-World Obligations (opens in new window)

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 (opens in new window)

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 (opens in new window)

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

Searching for OpenAIRE data...

There was an error trying to search data from OpenAIRE

No results available

My booklet 0 0