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 Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available