Publikacje Peer reviewed articles (4) Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation Autorzy: Livio Robaldo, Xin Sun Opublikowane w: Journal of Logic and Computation, 2017, ISSN 0955-792X Wydawca: Oxford University Press DOI: 10.1093/logcom/exx009 On the complexity of input/output logic Autorzy: Xin Sun, Livio Robaldo Opublikowane w: Journal of Applied Logic, 2017, ISSN 1570-8683 Wydawca: 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 Autorzy: Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre Opublikowane w: Artificial Intelligence and Law, Numer 24/3, 2016, Strona(/y) 245-283, ISSN 0924-8463 Wydawca: 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 Autorzy: Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato Opublikowane w: Applied Ontology, Numer 11/4, 2017, Strona(/y) 325-375, ISSN 1570-5838 Wydawca: IOS Press DOI: 10.3233/AO-170174 Conference proceedings (8) Combining Input/Output Logic and Reification for Representing Real-World Obligations Autorzy: Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri Opublikowane w: 2017, Strona(/y) 217-232 Wydawca: Springer International Publishing DOI: 10.1007/978-3-319-50953-2_16 Logic and Games for Ethical Agents in Normative Multi-agent Systems Autorzy: Xin Sun, Livio Robaldo Opublikowane w: 2016, Strona(/y) 367-375 Wydawca: Springer International Publishing DOI: 10.1007/978-3-319-33509-4_29 Mapping Recitals to Normative Provisions in EU Legislation to Assist Legal Interpretation Autorzy: Llio Humphreys, Cristiana Santos, Luigi di Caro, Guido Boella, Leon van der Torre, Livio Robaldo Opublikowane w: 2016 Wydawca: IOS Press DOI: 10.3233/978-1-61499-609-5-41 Framework to Reason about the Legal Compliance of Security Standards Autorzy: Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, and Livio Robaldo Opublikowane w: 2016 Wydawca: in proc. of the 10th International Workshop on Juris-informatic (JURISIN 2016) Reified Input/Output logic - a position paper Autorzy: Livio Robaldo and Xin Sun Opublikowane w: 2016 Wydawca: 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 Autorzy: Adebayo Kolawole, Di Caro Luigi, Robaldo Livio, Boella Guido Opublikowane w: 2016 Wydawca: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016) Ali Baba and Thief, Norm Emergence in Games Autorzy: X. Sun, L. Robaldo Opublikowane w: Proc. of International Conference on Principles and Practice of Multi-Agent Systems (PRIMA 2016), 2016 Wydawca: Springer Norm Creation in Proposition Control Games Autorzy: X. Sun, L. Robaldo Opublikowane w: 2016 Wydawca: CEUR workshop proceedings Wyszukiwanie danych OpenAIRE... Podczas wyszukiwania danych OpenAIRE wystąpił błąd Brak wyników