Deliverables Documents, reports (19) Report and tutorial materials (logical models of legal interpretation) Report and tutorial materials (also in the form of video-lectures and practicals) of logical models of legal interpretation. Final exploitation plan 2nd report on Global Evaluation Second report on Global Evaluation Technical documents (mining and reasoning techniques) Technical documents: mining and reasoning techniques. 1st report on dissemination and exploitation First report on dissemination & upscaling support activities. Report on ontologies for normative reasoning Report on MIREL computational ontologies for normative reasoning. 3rd report on dissemination and exploitation Third report on dissemination & upscaling support activities 1st report on decision making and compliance First interim report on computational solutions for decision making and compliance. Preliminary exploitation plan Preliminary exploitation plan. Report (knowledge base techniques for norm mining) Report on the outcomes of the research effort on the use of knowledge base techniques to support norm mining, and on resulting joint publications 2nd report on decision making and compliance Second interim report on computational solutions for decision making and compliance Reasoning tools for decision making and compliance Collection of reasoning tools for decision making and compliance. 1st report on Global Evaluation First report on Global Evaluation. Report and tutorial materials (legal KRR) Report and tutorial materials on research perspectives for theoretical models of legal knowledge representation and reasoning. 2nd report on dissemination and exploitation Second report on dissemination & upscaling support activities. 4th report on dissemination and exploitation Fourth report on dissemination & upscaling support activities Report and tutorial materials (representation of legal knowledge) Report and tutorial materials on new formal techniques for modelling the representation of embedded legal knowledge in legal texts, concept holism in the legal domain. Final report on NLP tools Final report on NLP tools for processing legal text and developed corpora Collection of NLP tools Collection of state-of-the-art NLP tools for processing of legal text. Demonstrators, pilots, prototypes (5) Ontology-based access to normative knowledge Ontology-based access to normative knowledge. Mining and reasoning techniques Multilingual corpora of norms: mining and reasoning techniques Usage scenarios and prototypes Usage scenarios and designed prototypes for the 3 main usages. Reasoning algorithms for normative reasoning Massively parallel reasoning algorithms for normative reasoning Ontology population Ontology population: connecting legal text to ontology concepts and instances. Websites, patent fillings, videos etc. (1) Licenses and contracts Licenses and contracts: mining and reasoning techniques. Publications Conference proceedings (67) Neural Reasoning For Legal Text Understanding Author(s): Guido Boella Adebayo Kolawole John, Luigi Di Caro Published in: In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems, JURIX 2016, 2016 Publisher: Springer An approach to information retrieval and question answering in the legal domain Author(s): Luigi Di Caro, Guido Boella, Adebayo Kolawole John, Cesare Bartolini Published in: In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016., 2016 Publisher: JURISIN WOrkshop Combining Input/Output logic and Rei cation for representing real-world obligations Author(s): Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Muthuri, Robert; Santos, Cristiana Published in: Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015). (2015)., Issue 16, 2015 Publisher: Springer Towards legal compliance by correlating Standards and Laws with a semi-automated methodology Author(s): Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio Published in: Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC). (2016)., Issue 10, 2016 Publisher: Springer Combining NLP Approaches for Rule Extraction from Legal Documents Author(s): Serena Villata Williams Rizzi Guido Governatori Mauro Dragoni Published in: In Proceedings of the Workshop on 'MIning and REasoning with Legal texts' collocated at the 29th International Conference on Legal Knowledge and Information Systems., 2016, 2016 Publisher: IOS Press A Text Similarity Approach for Automated Transposition Detection of European Union Directives Author(s): Luigi Di Caro Rohan Nanda, Guido Boella Published in: In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX2016), 2016, 2016 Publisher: Springer An Empirical Comparison of Argumentation Formalisms Author(s): Kang Xu Beishui Liao Zhe Yu Published in: In Proceedings of the Workshop on 'MIning and REasoning with Legal texts' collocated at the 29th International Conference on Legal Knowledge and Information Systems., 2016., 2016 Publisher: IOS Press Textual Inference with Tree-structured LSTMs Author(s): Luigi Di Caro Livio Robaldo Guido Boella Kolawole J. Adebayo Published in: In Proceedings of the 28th Benelux conference on Artificial Intelligence., 2016., 2016 Publisher: Springer Laying bare EuroVoc by means of Latent Dirichlet Allocation Author(s): Luigi Di Caro Giovanni Siragusa Published in: In Proceedings of the Workshop on 'MIning and REasoning with Legal texts' collocated at the 29th International Conference on Legal Knowledge and Information Systems., 2016., 2016 Publisher: IOS Press Norm Creation in Proposition Control Games Author(s): Xin Sun, Livio Robaldo Published in: In Proceedings of the Chinese Conference on Logic and Argumentation (CLAR2016), 2016., 2016 Publisher: CEUR Workshop Proceedings (CEUR-WS.org) Cumulative Aggregation Author(s): Xavier Parent Leendert van der Torre Diego Agustin Ambrossio Published in: In Proceedings of the Workshop on 'MIning and REasoning with Legal texts' collocated at the 29th International Conference on Legal Knowledge and Information Systems., 2016., 2016 Publisher: IOS Press Legal Tech Start-ups: State of the Art and Trends Author(s): Valeria de Paiva, Luigi di Caro, Sabrina Praduroux Published in: In Proceedings of the Workshop on 'MIning and REasoning with Legal texts' collocated at the 29th International Conference on Legal Knowledge and Information Systems., 2016., 2016 Publisher: IOS Press Reified Input/Output logic - a position paper Author(s): Robaldo, Livio; Sun, Xin Published in: proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016). (2016)., Issue 11, 2016 Publisher: AI4J Workshop On Revision of Partially Specified Convex Probabilistic Belief Bases Author(s): Gavin Rens, Thomas Meyer, Giovanni Casini Published in: In European Conference on Artificial Intelligence (ECAI2016), 2016., 2016 Publisher: IOS Press DOI: 10.3233/978-1-61499-672-9-921 A Framework for Easing the Development of Applications Embedding Answer Set Programming Author(s): Stefano Germano Jessica Zangari Marco Anastasio Francesco Calimeri Simona Perri Davide Fuscà Published in: In Proc. of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16), 2016., 2016 Publisher: ACM Digital Library Semantic Business Process Regulatory Compliance Checking using LegalRuleML Author(s): Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani Published in: Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, 2016, Page(s) 746-761 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-49004-5_48 Legal NERC with ontologies, Wikipedia and curriculum learning Author(s): Cristian Cardellino, Milagro Teruel, Laura Alonso Alemany, Serena Villata Published in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers, 2017, Page(s) 254-259 Publisher: Association for Computational Linguistics DOI: 10.18653/v1/E17-2041 Learning Slowly To Learn Better: Curriculum Learning for Legal Ontology Population Author(s): Cardellino, Cristian; Teruel, Milagro; Alemany, Laura,; Villata, Serena Published in: In Proc. of the 30th Florida Artificial Intelligence Research Society (FLAIRS), 2017., Issue 5, 2017 Publisher: AAAI Press On the Computation of Paracoherent Answer Sets Author(s): C. Dodaro W. Faber N. Leone G. Amendola, F. Ricca Published in: In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017., 2017 Publisher: AAAI Press Strategically knowing how Author(s): Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 1031-1038, ISBN 9780-999241103 Publisher: International Joint Conferences on Artificial Intelligence Organization DOI: 10.24963/ijcai.2017/143 A low-cost, high-coverage legal named entity recognizer, classifier and linker Author(s): Cristian Cardellino, Milagro Teruel, Laura Alonso Alemany, Serena Villata Published in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Page(s) 9-18, ISBN 9781-450348911 Publisher: ACM Press DOI: 10.1145/3086512.3086514 The pragmatic oddity in norm-based deontic logics Author(s): Xavier Parent, Leendert van der Torre Published in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Page(s) 169-178, ISBN 9781-450348911 Publisher: ACM Press DOI: 10.1145/3086512.3086529 A unifying similarity measure for automated identification of national implementations of european union directives Author(s): Rohan Nanda, Livio Robaldo, Michele Romano, Luigi Di Caro, Guido Boella, Hristo Konstantinov, Tenyo Tyankov, Daniel Traykov, Hristo Hristov, Francesco Costamagna, Llio Humphreys Published in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Page(s) 149-158, ISBN 9781-450348911 Publisher: ACM Press DOI: 10.1145/3086512.3086527 Changes to temporary norms Author(s): Matteo Cristani, Francesco Olivieri, Antonino Rotolo Published in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Page(s) 39-48, ISBN 9781-450348911 Publisher: ACM Press DOI: 10.1145/3086512.3086517 Belief Change in a Preferential Non-monotonic Framework Author(s): Giovanni Casini, Thomas Meyer Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Page(s) 929-935, ISBN 9780-999241103 Publisher: International Joint Conferences on Artificial Intelligence Organization DOI: 10.24963/ijcai.2017/129 Extended Explanatory Argumentation Frameworks Author(s): J. Dauphin, M. Cramer Published in: In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017., 2017 Publisher: ACM Temporalised Belief Revision in the Law Author(s): D. Martinez A. Rotolo G. Governatori L. Tamargo Published in: In Proc. of the 30th international conference on Legal Knowledge and Information Systems (JURIX2017)., 2017., 2017, Page(s) 49 - 58, ISBN 978-1-61499-838-9 Publisher: IOS Press DOI: 10.3233/978-1-61499-838-9-49 Optic Disc Detection Using Fine Tuned Convolutional Neural Networks Author(s): Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina Published in: 2016 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2016, Page(s) 69-75, ISBN 978-1-5090-5698-9 Publisher: IEEE DOI: 10.1109/sitis.2016.20 Blood Vessel Segmentation using Hypercube NeuroEvolution of Augmenting Topologies (HyperNeat) Author(s): A. Marzullo C. Stamile G. Terracina F. Calimeri Published in: In Proc. of 27th Italian Workshop on Neural Networks (WIRN 2017), 2017., 2017, Page(s) 173-183, ISBN 978-3-319-95095-2 Publisher: Springer S-rep model for fundus image analysis Author(s): Francesco Calimeri, Claudio Starnile, Luca Surace Published in: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), 2017, Page(s) 078-082, ISBN 978-1-5386-4662-5 Publisher: IEEE DOI: 10.1109/isspit.2017.8388623 Textual Inference with Deep Learning Technique Author(s): Adebayo, Kolawole; Di Caro, Luigi; Robaldo, Livio; Boella, Guido Published in: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)., Issue 9, 2017, Page(s) 17-31, ISBN 978-3-319-67468-1 Publisher: Springer A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework Author(s): Casini, Giovanni; Ferme, Eduardo; Meyer, Thomas; Varzinczak, Ivan Published in: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (pp. 220-229). Palo Alto, California, USA: AAAI Press (2018)., 2018, Page(s) 220-229, ISBN 978-1-57735-803-9 Publisher: AAAI Prioritized Norms and Defaults in Formal Argumentation Author(s): Liao , Beishui; Oren , Nir; Van Der Torre , Leendert; Villata , Serena Published in: "Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016), Jul 2016, Bayreuth, Germany. College Publications, 2016, Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016). 〈http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/Philosophie/deon2016/en/index.html〉", Issue 9, 2016, ISBN 978-1-84890-215-2 Publisher: College Publications Combining fuzzy logic and formal argumentation for legal interpretation Author(s): Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert van der Torre Published in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Page(s) 49-58, ISBN 9781-450348911 Publisher: ACM Press DOI: 10.1145/3086512.3086532 Concept Recognition in European and National Law Author(s): Nanda, Rohan; Siragusa, Giovanni; Di caro, Luigi; Theobald, Martin; Boella, Guido; Robaldo, Livio; Costamagna, Francesco Published in: proc. of The 30th international conference on Legal Knowledge and Information Systems (JURIX 2017). (2017)., Issue 8, 2017, Page(s) 193-198, ISBN 978-1-61499-838-9 Publisher: IOS Press DOI: 10.3233/978-1-61499-838-9-193 A framework for easing the development of applications embedding answer set programming Author(s): Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri Published in: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16, 2016, Page(s) 38-49, ISBN 9781-450341486 Publisher: ACM Press DOI: 10.1145/2967973.2968594 A Dyadic Deontic Logic in HOL Author(s): Benzmüller, Christoph; Farjami, Ali; Parent, Xavier Published in: In J., Broersen, C., Condoravdi, S., Nair, & G., Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications (2018)., Issue 4, 2018, ISBN 978-1-84890-278-7 Publisher: College Publications Input/output logics with a consistency check Author(s): Parent, Xavier; van der Torre, Leon Published in: In G., Pigozzi, J., Broersen (Ed.), C., Condoravdi (Ed.), & S., Nair (Ed.), Deontic Logic and Normative Systems (DEON 2018). London, UK: College Publications (2018)., 2018, ISBN 978-1-84890-278-7 Publisher: College Publications Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond Author(s): Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan Published in: Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) (pp. 109-118). (2018)., 2018 Publisher: NMR Workshop A Framework to Reason about the Legal Compliance of Security Standards Author(s): Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio Published in: Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN). (2016)., Issue 1, 2016 Publisher: JURISIN Workshop Legal Ontologies and How to Choose Them: the InvestigatiOnt Tool Author(s): Valentina Leone, Luigi Di Caro, Serena Villata Published in: ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks, 2018 Publisher: CEUR On the Formal Structure of Rules in Conflict of Laws Author(s): Réka Markovich Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 322, 2019, Page(s) 199-204, ISBN 978-1-64368-048-4 Publisher: IOS Press DOI: 10.3233/faia190325 Representation Equalences among Argumentation Frameworks Author(s): Beishui Liao, Leon van der Torre Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 305, 2018, Page(s) 21-28, ISBN 978-1-61499-905-8 Publisher: IOS Press DOI: 10.3233/978-1-61499-906-5-21 Legal Representation and Reasoning in Practice: A Critical Comparison Author(s): Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 313, 2019, Page(s) 31-40, ISBN 9781-614999348 Publisher: IOS Press DOI: 10.3233/978-1-61499-935-5-31 Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks Author(s): Jérémie Dauphin, Marcos Cramer, Leendert Van Der Torre Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 305, 2019, Page(s) 437-444, ISBN 978-1-61499-905-8 Publisher: IOS Press DOI: 10.3233/978-1-61499-906-5-437 Simple Conditionals with Constrained Right Weakening Author(s): Giovanni Casini, Thomas Meyer, Ivan Varzinczak Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 1632-1638, ISBN 978-0-9992411-4-1 Publisher: International Joint Conferences on Artificial Intelligence Organization DOI: 10.24963/ijcai.2019/226 Never Retreat, Never Retract: Argumentation Analysis for Political Speeches Author(s): Menini, Stefano; Cabrio, Elena; Tonelli, Sara; Villata, Serena Published in: In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2018, Page(s) 4889-4896, ISBN 978-1-57735-800-8 Publisher: AAAI A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) Author(s): Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel Published in: 2017 IEEE Congress on Evolutionary Computation (CEC), 2017, Page(s) 681-687, ISBN 978-1-5090-4601-0 Publisher: IEEE DOI: 10.1109/cec.2017.7969376 Dialogues on moral theories Author(s): Francesco Olivieri, Regis Riveret, Antonino Rotolo, Guido Governatori, Serena Villata Published in: 2018 Publisher: College Publications Preference in Abstract Argumentation Author(s): Kaci, Souhila; van der Torre, Leon; Villata, Serena Published in: Seventh International Conference on Computational Models of Argument, 2018 Publisher: IOS Press DOI: 10.3233/978-1-61499-906-5-405 PrOnto: Privacy Ontology for Legal Compliance Author(s): Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo Published in: Proceedings of the 18th European Conference on Digital Government ECDG 2018, 2018 Publisher: Academic Conferences and Publishing International Ltd Legal Ontology for Modelling GDPR Concepts and Norms Author(s): Monica Palmirani; Michele Martoni; Arianna Rossi; Cesare Bartolini; Livio Robaldo Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 313, 2018, Page(s) 91-100 Publisher: IOS Press DOI: 10.3233/978-1-61499-935-5-91 PrOnto Ontology Refinement Through Open Knowledge Extraction Author(s): Palmirani Monica; Bincoletto Giorgia; Leone Valentina; Sapienza Salvatore; Sovrano Francesco Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 322, 2019 Publisher: IOS Press DOI: 10.3233/FAIA190326 Interpretation across legal systems Author(s): Malerba, Alessandra; Rotolo, Antonino; Governatori, Guido Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 294, 2016 Publisher: IOS Press DOI: 10.3233/978-1-61499-726-9-83 Arbitrary Ranking of Defeasible Subsumption Author(s): Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid Published in: Proceedings of the 32nd International Workshop on Description Logics. CEUR (2019)., 2019 Publisher: CEUR Workshop Proceedings Dealing with Qualitative and Quantitative Features in Legal Domains Author(s): Budán, Maximiliano C. D.; Cobo, María Laura; Martínez, Diego I.; Rotolo, Antonino Published in: Frontiers in Artificial Intelligence and Applications, Issue vol. 313, 2018 Publisher: IOS Press DOI: 10.3233/978-1-61499-935-5-176 Modelling legal knowledge for GDPR compliance checking Author(s): Palmirani M.; Governatori G. Published in: Frontiers in Artificial Intelligence and Applications, Issue 313, 2018 Publisher: IOS Press DOI: 10.3233/978-1-61499-935-5-101 Sequence Semantics for Norms and Obligations Author(s): Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo Published in: Proceedings of the 13th International Conference, DEON 2016, 2016 Publisher: College Publications Akoma Ntoso - Flexibility and Customization to Meet Different Legal Traditions Author(s): Fabio Vitali, Monica Palmirani Published in: Proceedings of the Symposium on Markup Vocabulary Customization, 2019, ISBN 978-1-935958-19-2 Publisher: Mulberry Technologies, Inc. DOI: 10.4242/BalisageVol24.Palmirani01 DISPUTool -- A tool for the Argumentative Analysis of Political Debates Author(s): Shohreh Haddadan, Elena Cabrio, Serena Villata Published in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Page(s) 6524-6526, ISBN 978-0-9992411-4-1 Publisher: International Joint Conferences on Artificial Intelligence Organization DOI: 10.24963/ijcai.2019/944 AI to Facilitate Legal Analysis in the PESTLE Context Author(s): Mauro Vallati, Alessia Grassi Published in: Proceedings of the EMerging Technology conference (EMiT) 2019, 2019 Publisher: EMiT/University of Huddersfield/High End Compute Ltd/University of Manchester Modelling Dialogues for Optimal Legislation Author(s): Guido Governatori, Antonino Rotolo, Régis Riveret, Serena Villata Published in: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law - ICAIL '19, 2019, Page(s) 229-233, ISBN 9781-450367547 Publisher: ACM Press DOI: 10.1145/3322640.3326731 Convolutional Ladder Networks for Legal NERC and the Impact of Unsupervised Data in Better Generalizations Author(s): Cristian Cardellino, Laura Alonso Alemany, Milagro Teruel, Serena Villata, Santiago Marro Published in: Proceedings of The Thirty-Second International Flairs Conference, 2019 Publisher: AAAI Publications Yes, we can! Mining Arguments in 50 Years of US Presidential Campaign Debates Author(s): Shohreh Haddadan, Elena Cabrio, Serena Villata Published in: Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, 2019, Page(s) 4684-4690 Publisher: Association for Computational Linguistics DOI: 10.18653/v1/p19-1463 Different Flavors of Attention Networks for Argument Mining Author(s): Johanna Frau, Milagro Teruel, Laura Alonso Alemany, Serena Villata Published in: Proceedings of The Thirty-Second International Flairs Conference, 2019 Publisher: AAAI Publications A dynamic approach for combining abstract argumentation semantics Author(s): Jérémie Dauphin, Marcos Cramer, Leendert van der Torre Published in: Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation, 2019 Publisher: Springer Increasing Argument Annotation Reproducibility by Using Inter-annotator Agreement to Improve Guidelines Author(s): Milagro Teruel, Cristian Cardellino, Fernando Cardellino, Laura Alonso Alemany, Serena Villata Published in: Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 2019, ISBN 979-10-95546-00-9 Publisher: European Language Resources Association (ELRA) Peer reviewed articles (36) Quantification in Some Non-normal Modal Logics Author(s): Erica Calardo, Antonino Rotolo Published in: Journal of Philosophical Logic, Issue 46/5, 2017, Page(s) 541-576, ISSN 0022-3611 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10992-016-9410-1 The rationale behind the concept of goal Author(s): GUIDO GOVERNATORI, FRANCESCO OLIVIERI, SIMONE SCANNAPIECO, ANTONINO ROTOLO, MATTEO CRISTANI Published in: Theory and Practice of Logic Programming, Issue 16/03, 2016, Page(s) 296-324, ISSN 1471-0684 Publisher: Cambridge University Press DOI: 10.1017/s1471068416000053 An approach to decision making based on dynamic argumentation systems Author(s): Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. García, Marcelo L. Errecalde, Guillermo R. Simari Published in: Artificial Intelligence, Issue 242, 2017, Page(s) 107-131, ISSN 0004-3702 Publisher: Elsevier BV DOI: 10.1016/j.artint.2016.10.004 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 An approach to characterize graded entailment of arguments through a label-based framework Author(s): Maximiliano C.D. Budán, Gerardo I. Simari, Ignacio Viglizzo, Guillermo R. Simari Published in: International Journal of Approximate Reasoning, Issue 82, 2017, Page(s) 242-269, ISSN 0888-613X Publisher: Elsevier BV DOI: 10.1016/j.ijar.2016.12.016 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 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, Issue 27/8, 2017, Page(s) 2471-2503, ISSN 0955-792X Publisher: Oxford University Press DOI: 10.1093/logcom/exx009 Bipolarity in temporal argumentation frameworks Author(s): Maximiliano C.D. Budán, Maria Laura Cobo, Diego C. Martinez, Guillermo R. Simari Published in: International Journal of Approximate Reasoning, Issue 84, 2017, Page(s) 1-22, ISSN 0888-613X Publisher: Elsevier BV DOI: 10.1016/j.ijar.2017.01.013 Defeasible argumentation over relational databases Author(s): Cristhian Ariel David Deagustini, Santiago Emanuel Fulladoza Dalibón, Sebastián Gottifredi, Marcelo Alejandro Falappa, Carlos Iván Chesñevar, Guillermo Ricardo Simari Published in: Argument & Computation, Issue 8/1, 2017, Page(s) 35-59, ISSN 1946-2166 Publisher: Taylor & Francis DOI: 10.3233/AAC-170017 Towards Artificial Argumentation Author(s): Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Simari, Matthias Thimm, Serena Villata Published in: AI Magazine, Issue 38/3, 2017, Page(s) 25, ISSN 0738-4602 Publisher: American Association for Artificial Intelligence (AAAI) Press DOI: 10.1609/aimag.v38i3.2704 The construction of π0 in Axiomatic Cohesion Author(s): Matías Menni Published in: Tbilisi Mathematical Journal, Issue 10/3, 2017, ISSN 1512-0139 Publisher: DE GRUYTER OPEN DOI: 10.1515/tmj-2017-0108 Handling Norms in Multi-agent Systems by Means of Formal Argumentation Author(s): B. Liao A. Malerba A. Rotolo A. Tettamanzi L. van der Torre S. Villata C. da Costa Pereira Published in: IfCoLog Journal of Logics and their Applications, Issue Volume 4 (9), 2017, ISSN 2055-3714 Publisher: College Publications Detachment in Normative Systems: Examples, inference Patterns, Properties Author(s): Parent, Xavier; Van der Torre, Leon Published in: IfCoLog Journal of Logics and their Applications, Issue Volume 4 (9), 2017, Page(s) 2995-3038, ISSN 2055-3714 Publisher: College Publications Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective Author(s): L. van der Torre G. Pigozzi Published in: IfCoLog Journal of Logics and their Applications, Issue Volume 4 (9), 2017, Page(s) 2930 - 2993, ISSN 2055-3714 Publisher: College Publications A polynomial Time Subsumption Algorithm for Nominal Safe E L O ⊥ under Rational Closure Author(s): Giovanni Casini, Umberto Straccia, Thomas Meyer Published in: Information Sciences, 2018, ISSN 0020-0255 Publisher: Elsevier BV DOI: 10.1016/j.ins.2018.09.037 First Steps towards Data-Driven Adversarial Deduplication Author(s): Jose Paredes, Gerardo Simari, Maria Martinez, Marcelo Falappa Published in: Information, Issue 9/8, 2018, Page(s) 189, ISSN 2078-2489 Publisher: Multidisciplinary Digital Publishing Institute (MDPI) DOI: 10.3390/info9080189 Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives Author(s): Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo, Francesco Costamagna Published in: Artificial Intelligence and Law, Issue 27/2, 2019, Page(s) 199-225, ISSN 0924-8463 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10506-018-9236-y Level \epsilon Author(s): Francisco Marmolejo, Matías Menni Published in: cahiers de topologie et géométrie différentielle catégoriques, Issue vol. 60, n. 4, 2019, Page(s) 450-477, ISSN 2681-2363 Publisher: Dunod Monic skeleta, Boundaries, Aufhebung, and the meaning of `one-dimensionality' Author(s): Matias Menni Published in: Theory and Applications of Categories, Issue vol. 34, n. 25, 2019, Page(s) 714-735, ISSN 1201-561X Publisher: R. Rosebrugh Every cohesive topos is infinitesimally generated Author(s): Matias Menni Published in: cahiers de topologie et géométrie différentielle catégoriques, Issue vol. 60, n. 1, 2019, Page(s) 3-31, ISSN 1245-530X Publisher: Dunod The DAta Protection REgulation COmpliance Model Author(s): Cesare Bartolini, Gabriele Lenzini, Livio Robaldo Published in: IEEE Security & Privacy, Issue 17/6, 2019, Page(s) 37-45, ISSN 1540-7993 Publisher: IEEE Computer Society DOI: 10.1109/msec.2019.2937756 Introduction to legal AI Author(s): Livio Robaldo, Lendeert van der Torre Published in: Journal of Applied Logics, Issue vol. 6, n. 5, 2019, Page(s) 711-714, ISSN 2631-9810 Publisher: College Publications Similarity notions in bipolar abstract argumentation Author(s): Paola Daniela Budán, Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Maria Vanina Martinez, Guillermo Ricardo Simari Published in: Argument & Computation, 2019, Page(s) 1-47, ISSN 1946-2166 Publisher: Taylor & Francis DOI: 10.3233/aac-190479 A Structured Argumentation Framework for Modeling Debates in the Formal Sciences Author(s): Marcos Cramer, Jérémie Dauphin Published in: Journal for General Philosophy of Science, 2019, ISSN 0925-4560 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10838-019-09443-z Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base Author(s): Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, Gabriele Lenzini Published in: Journal of Logic, Language and Information, 2019, ISSN 0925-8531 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10849-019-09309-z An axiomatic characterization of temporalised belief revision in the law Author(s): Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo, Guido Governatori Published in: Artificial Intelligence and Law, Issue 27/4, 2019, Page(s) 347-367, ISSN 0924-8463 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10506-019-09241-4 Sequence Semantics for Modelling Reason-based Preferences Author(s): Erica Calardo, Guido Governatori, Antonino Rotolo Published in: Fundamenta Informaticae, Issue 158/1-3, 2018, Page(s) 217-238, ISSN 0169-2968 Publisher: IOS Press DOI: 10.3233/FI-2018-1647 Introduction for artificial intelligence and law: special issue “natural language processing for legal texts” Author(s): Livio Robaldo, Serena Villata, Adam Wyner, Matthias Grabmair Published in: Artificial Intelligence and Law, Issue 27/2, 2019, Page(s) 113-115, ISSN 0924-8463 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10506-019-09251-2 On rational entailment for Propositional Typicality Logic Author(s): Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak Published in: Artificial Intelligence, Issue 277, 2019, Page(s) 103178, ISSN 0004-3702 Publisher: Elsevier BV DOI: 10.1016/j.artint.2019.103178 Semi-automatic knowledge population in a legal document management system Author(s): Guido Boella, Luigi Di Caro, Valentina Leone Published in: Artificial Intelligence and Law, Issue 27/2, 2019, Page(s) 227-251, ISSN 0924-8463 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10506-018-9239-8 Maximising goals achievement through abstract argumentation frameworks: An optimal approach Author(s): Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro J. García, Grigoris Antoniou Published in: Expert Systems with Applications, Issue 141, 2020, Page(s) 112930, ISSN 0957-4174 Publisher: Pergamon Press Ltd. DOI: 10.1016/j.eswa.2019.112930 Time and Compensation Mechanisms in Checking Legal Compliance Author(s): Guido Governatori,JOURNAL OF APPLIED LOGICS Antonino Rotolo Published in: Journal of Applied Logics, Issue Vol. 6, n. 5, 2019, ISSN 2631-9810 Publisher: College Publications A labelling framework for probabilistic argumentation Author(s): Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor Published in: Annals of Mathematics and Artificial Intelligence, Issue 83/1, 2018, Page(s) 21-71, ISSN 1012-2443 Publisher: Kluwer Academic Publishers DOI: 10.1007/s10472-018-9574-1 Prioritized norms in formal argumentation Author(s): Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata Published in: Journal of Logic and Computation, Issue 29/2, 2018, Page(s) 215-240, ISSN 0955-792X Publisher: Oxford University Press DOI: 10.1093/logcom/exy009 Åqvist's Dyadic Deontic Logic E in HOL Author(s): Benzmüller, Christoph; Farjami, Ali; Parent, Xavier Published in: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Issue 6, 2019, Page(s) 733-754, ISSN 2631-9810 Publisher: College Publications I/O Logic in HOL Author(s): Benzmüller, Christoph; Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier Published in: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Issue 6, 2019, Page(s) 715-732, ISSN 2631-9810 Publisher: College Publications Book chapters (15) Text Segmentation with Topic Modeling and Entity Coherence Author(s): Adebayo Kolawole John, Luigi Di Caro, Guido Boella Published in: Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016), Issue 552, 2017, Page(s) 175-185, ISBN 978-3-319-52940-0 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-52941-7_18 Legalbot: A Deep Learning-Based Conversational Agent in the Legal Domain Author(s): Adebayo Kolawole John, Luigi Di Caro, Livio Robaldo, Guido Boella Published in: Natural Language Processing and Information Systems, Issue 10260, 2017, Page(s) 267-273, ISBN 978-3-319-59568-9 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-59569-6_32 Boosting the Development of ASP-Based Applications in Mobile and General Scenarios Author(s): Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari Published in: AI*IA 2016 Advances in Artificial Intelligence, Issue 10037, 2016, Page(s) 223-236, ISBN 978-3-319-49129-5 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-49130-1_17 BioHIPI: Biomedical Hadoop Image Processing Interface Author(s): Francesco Calimeri, Mirco Caracciolo, Aldo Marzullo, Claudio Stamile Published in: Machine Learning, Optimization, and Big Data - Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers, Issue 10710, 2018, Page(s) 540-548, ISBN 978-3-319-72925-1 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-72926-8_45 Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology Author(s): Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, Livio Robaldo Published in: BNAIC 2016: Artificial Intelligence, Issue 765, 2017, Page(s) 47-62, ISBN 978-3-319-67467-4 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-67468-1_4 Explainable ASP Author(s): Jérémie Dauphin, Ken Satoh Published in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings, Issue 11873, 2019, Page(s) 610-617, ISBN 978-3-030-33791-9 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-33792-6_47 Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal Author(s): Jérémie Dauphin, Ken Satoh Published in: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Issue 11224, 2018, Page(s) 449-457, ISBN 978-3-030-03097-1 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-03098-8_29 A KLM Perspective on Defeasible Reasoning for Description Logics Author(s): Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak Published in: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Issue 11560, 2019, Page(s) 147-173, ISBN 978-3-030-22101-0 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-22102-7_7 Taking Defeasible Entailment Beyond Rational Closure Author(s): Giovanni Casini, Thomas Meyer, Ivan Varzinczak Published in: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings, Issue 11468, 2019, Page(s) 182-197, ISBN 978-3-030-19569-4 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-19570-0_12 Sequence Semantics for Normative Agents Author(s): Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani Published in: PRIMA 2016: Princiles and Practice of Multi-Agent Systems, Issue 9862, 2016, Page(s) 230-246, ISBN 978-3-319-44831-2 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-44832-9_14 PrOnto: Privacy Ontology for Legal Reasoning Author(s): Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo Published in: Electronic Government and the Information Systems Perspective - 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings, Issue 11032, 2018, Page(s) 139-152, ISBN 978-3-319-98348-6 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-98349-3_11 ASPIC-END: Structured Argumentation with Explanations and Natural Deduction Author(s): Jérémie Dauphin, Marcos Cramer Published in: Theory and Applications of Formal Argumentation, Issue 10757, 2018, Page(s) 51-66, ISBN 978-3-319-75552-6 Publisher: Springer International Publishing DOI: 10.1007/978-3-319-75553-3_4 Present and Future of Formal Argumentation Author(s): Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre Published in: Dagstuhl Manifestos, 2018 Publisher: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik DOI: 10.4230/dagman.7.1.69 An Argumentative Recommendation Approach Based on Contextual Aspects Author(s): Juan Carlos Lionel Teze, Lluis Godo, Guillermo Ricardo Simari Published in: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, Issue 11142, 2018, Page(s) 405-412, ISBN 978-3-030-00460-6 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-00461-3_31 Inferring Quantitative Preferences: Beyond Logical Deduction Author(s): Maria Vanina Martinez, Lluis Godo, Gerardo I. Simari Published in: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, Issue 11142, 2018, Page(s) 387-395, ISBN 978-3-030-00460-6 Publisher: Springer International Publishing DOI: 10.1007/978-3-030-00461-3_29 Monographic books (2) Lógica modal Author(s): Clara Smith Published in: Capitulo 3, Logic for Informatics, the Editorial of the University of La Plata (EUNLP), Argentina, 2016 Publisher: University of La Plata Lógica para Informática Author(s): Claudia Pons, Ricardo Rosenfeld, Clara Smith Published in: Libros de Cátedra, 2017, ISBN 978-950-34-1510-8 Publisher: Editorial de la Universidad Nacional de La Plata (EDULP) Searching for OpenAIRE data... There was an error trying to search data from OpenAIRE No results available
