Skip to main content

ProLeMAS: PROcessing LEgal language in normative Multi-Agent Systems

Searching for OpenAIRE data...


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, 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, 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

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