Publications and Deliverables

2019
-An axiomatic characterization of temporalised belief revision in the law (Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo, Guido Governatori), In Artificial Intelligence and Law, 2019. [doi]
- Deliverable D5.5 - Final exploitation plan (), In , 2019.
- Deliverable D5.3: Second report on dissemination and upscaling support activities (), In , 2019.
- Deliverable D3.5: Massively parallel reasoning algorithms for normative reasoning (), In , 2019.
- Deliverable D3.3: Second interim report on computational solutions for decision making and compliance (), In , 2019.
- A Structured Argumentation Framework for Modeling Debates in the Formal Sciences (Marcos Cramer, Jérémie Dauphin), In Journal for General Philosophy of Science, Springer, 2019.
- Prioritized norms in formal argumentation (Beishui Liao, Nir Oren, Leender van der Torre, Serena Villata), In J. Log. Comput., volume 29, 2019. [doi]
- Designing Normative Theories of Ethical Reasoning: Formal Framework, Methodology, and Tool Support (Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre), In CoRR, volume abs/1903.10187, 2019.
- Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018, (Beishui Liao, Thomas Ågotnes, Yì N. Wáng, eds.), Springer, 2019. [doi]
2018
-Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives (Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo, Francesco Costamagna), In Artificial Intelligence and Law, 2018. [doi]
-An Argumentative Recommendation Approach Based on Contextual Aspects (Juan Carlos Lionel Teze, Lluis Godo, Guillermo Ricardo Simari), In International Conference on Scalable Uncertainty Management, 2018.
-Increasing argument annotation reproducibility by using inter-annotator agreement to improve guidelines (Milagro Teruel, Cristian Cardellino, Fernando Cardellino, Laura Alonso Alemany, Serena Villata), In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC-2018), 2018.
- Deliverable D2.4: Ontology population: connecting legal text to ontology concepts and instances (), In , 2018.
- Incremental Computation of Warranted Arguments in Dynamic Defeasible Argumentation: The Rule Addition Case (Sergio Greco Francesco Parisi Francesco Parisi Guillermo Ricardo Simari Gianvincenzo Alfano), In In proc. of the 33rd Annual ACM Symposium, 2018.
- Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations (Andrea Cohen Alejandro J. García Guillermo R. Simari Sebastian Gottifredi), In Artificial Intelligence, 262, pp.336–368, 2018.
- Dialogues on Moral Theories (Francesco Olivieri Regis Riveret Antonino Rotolo Guido Governatori, Serena Villata), In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON 2018), 2018.
- Increasing Argument Annotation Reproducibility by Using Inter-annotator Agreement to Improve Guidelines (Cristian Cardellino Fernando Cardellino Laura Alonso Alemany Milagro Teruel, Serena Villata), In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 2018.
- Legal text processing within the MIREL project (Cristian Cardellino Fernando Cardellino Laura Alonso Alemany Milagro Teruel, Serena Villata), In Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 2018.
- Input/Output logics with a consistency check (Xavier Parent, Leendert van der Torre), In Proceedings of the 14th International Conference on Deontic Logic and Normative Systems (DEON2018), 2018.
- Arguing about informant credibility in open multi-agent systems. (L. Tamargo A. García G. Simari S. Gottifredi), In Artificial Intelligence, Vol. 259, 2018.
- A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application. (M. Giacomin B. Liao P. Baroni), In Artificial Intelligence, Vol. 257, Pages 158–207, 2018.
-The unity and identity of decidable objects and double-negation sheaves (Matías Menni), In The Journal of Symbolic Logic, Cambridge University Press, volume 83, 2018.
-Never retreat, never retract: Argumentation analysis for political speeches (Stefano Menini, Elena Cabrio, Sara Tonelli, Serena Villata), In Thirty-Second AAAI Conference on Artificial Intelligence, 2018.
-Characterizing acceptability semantics of argumentation frameworks with recursive attack and support relations (Sebastian Gottifredi, Andrea Cohen, Alejandro J García, Guillermo R Simari), In Artificial Intelligence, Elsevier, volume 262, 2018.
-Arguing about informant credibility in open multi-agent systems (Sebastian Gottifredi, Luciano H Tamargo, Alejandro J García, Guillermo R Simari), In Artificial Intelligence, Elsevier, volume 259, 2018.
-Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal (Jérémie Dauphin, Ken Satoh), In International Conference on Principles and Practice of Multi-Agent Systems, 2018.
-Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks (Jérémie Dauphin, Marcos Cramer, Leon van der Torre), In Computational Models of Argument, 2018.
-Mejora del acceso a Infoleg mediante técnicas de procesamiento automático del lenguaje (Fernando Cardellino, Cristian Cardellino, Karen Haag, Axel Soto, Milagro Teruel, Laura Alonso i Alemany, Serena Villata), In XVIII Simposio Argentino de Informática y Derecho (SID)-JAIIO 47 (CABA, 2018), 2018.
-Preference in Abstract Argumentation (Souhila Kaci, Leon van der Torre, Serena Villata), In Computational Models of Argument, 2018.
-Incremental computation of warranted arguments in dynamic defeasible argumentation: The rule addition case (Gianvincenzo Alfano, Sergio Greco, Francesco Parisi, Gerardo I Simari, Guillermo R Simari), In Proceedings of the 33rd Annual ACM Symposium on Applied Computing, 2018.
-Legal Ontologies and How to Choose Them: the InvestigatiOnt Tool (Valentina Leone, Luigi Di Caro, Serena Villata), In , 2018.
-Legal Reasoning and Big Data: Opportunities and Challenges (Grigoris Antoniou, George Baryannis, Sotiris Batsakis, Guido Governatori, Livio Robaldo, Giovanni Siragusa, Ilias Tachmazidis), 2018. [doi]
-PrOnto: Privacy Ontology for Legal Reasoning (Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo), 2018.
-PrOnto: Privacy Ontology for Legal Compliance (Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo), 2018.
-Rules and Reasoning, Second International Joint Conference, RuleML+RR 2018, Luxembourg, Luxembourg, September 18-21, 2018, Proceedings, (Christoph Benzmüller, Francesco Ricca, Xavier Parent, Dumitru Roman, eds.), Springer, volume 11092, 2018. [doi]
(Xavier Parent, Leendert van der Torre), College Publication, 2018.
- Arguing about constitutive and regulative norms (Gabriella Pigozzi, Leon van der Torre), In Journal of Applied Non-Classical Logics, volume 28, 2018. [doi]
-Present and Future of Formal Argumentation (Dagstuhl Perspectives Workshop 15362) (Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert W. N. van der Torre), In Dagstuhl Manifestos, volume 7, 2018. [doi]
-A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework (Giovanni Casini, Eduardo Fermé, Thomas Meyer, Ivan Varzinczak), In Principles of Knowledge Representation and Reasoning: Proceedings of the Sixteenth International Conference, KR 2018, Tempe, Arizona, 30 October - 2 November 2018., 2018.
- Representation Equivalences Among Argumentation Frameworks (Beishui Liao, Leendert W. N. van der Torre), In Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018 (Sanjay Modgil, Katarzyna Budzynska, John Lawrence, eds.), IOS Press, volume 305, 2018. [doi]
- Computational Models of Argument - Proceedings of COMMA 2018, Warsaw, Poland, 12-14 September 2018, (Sanjay Modgil, Katarzyna Budzynska, John Lawrence, eds.), IOS Press, volume 305, 2018.
- A Dynamic Approach for Combining Abstract Argumentation Semantics (Jérémie Dauphin, Marcos Cramer, Leendert W. N. van der Torre), In Dynamics, Uncertainty and Reasoning, The Second Chinese Conference on Logic and Argumentation, CLAR 2018, Hangzhou, China, 16-17 June 2018. (Beishui Liao, Thomas Ågotnes, Yì N. Wáng, eds.), Springer, 2018. [doi]
-A Deontic Logic Reasoning Infrastructure (Christoph Benzmüller, Xavier Parent, Leendert W. N. van der Torre), In Sailing Routes in the World of Computation - 14th Conference on Computability in Europe, CiE 2018, Kiel, Germany, July 30 - August 3, 2018, Proceedings, 2018.
- Argumentation as Exogenous Coordination (Leendert W. N. van der Torre, Tjitze Rienstra, Dov M. Gabbay), In It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab (Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten, eds.), Springer, volume 10865, 2018. [doi]
- It's All About Coordination - Essays to Celebrate the Lifelong Scientific Achievements of Farhad Arbab, (Frank S. de Boer, Marcello M. Bonsangue, Jan Rutten, eds.), Springer, volume 10865, 2018. [doi]
-Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond (Giovanni Casini, Thomas Meyer, Ivan Varzinczak), In 17th International Workshop on Non-Monotonic Reasoning, NMR 2018, 2018.
-A polynomial Time Subsumption Algorithm for Nominal Safe $ELO_\bot$ under Rational Closure (Giovanni Casini, Umberto Straccia, Thomas Meyer), In Information Sciences, 2018. [doi]
-A general semi-structured formalism for computational argumentation: Definition, properties, and examples of application (Pietro Baroni, Massimiliano Giacomin, Beishui Liao), In Artificial Intelligence, volume 257, 2018. [doi]
-A Model for Regulating of Ethical Preferences in Machine Ethics (Zohreh Baniasadi, Xavier Parent, Charles Max, Marcos Cramer), In Human-Computer Interaction. Theories, Methods, and Human Issues (Masaaki Kurosu, ed.), Springer International Publishing, 2018. ((Best Paper Award))
2017
- Deliverable D5.2: Preliminary exploitation plan (), In , 2017.
- Deliverable D4.2: Licenses and contracts mining and reasoning techniques (), In , 2017.
- Deliverable D3.2: Computational solutions for decision making and compliance (), In , 2017.
- Deliverable D4.1: Users’ Needs and Usage Scenarios for Future Legal Applications (), In , 2017.
- Deliverable D3.1: Ontology-based access to normative knowledge (), In , 2017.
- Deliverable D2.2: Computational ontologies for normative reasoning (), In , 2017.
- Deliverable D1.2: Report and tutorial materials on new formal techniques for modelling the representation of embedded legal knowledge in legal texts, concept holism (), In , 2017.
- A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT). (C. Stamile L. Surace F. Calimeri), In Proc. of the IEEE Congress on Evolutionary Computation (CEC 2017), 2017.
- S-Rep Model for Fundus Image Analysis, ISSPIT-2017. (C. Stamile L. Surace F. Calimeri), In Proc. of the 17th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2017), 2017.
- BioHIPI: Biomedical Hadoop Image Processing Interface. (M. Caracciolo A. Marzullo C. Stamile F. Calimeri), In Proc. of the Third International Conference on Machine Learning, Optimization, and Big Data - MOD 2017, 2017.
- Blood Vessel Segmentation using Hypercube NeuroEvolution of Augmenting Topologies (HyperNeat). (A. Marzullo C. Stamile G. Terracina F. Calimeri), In Proc. of 27th Italian Workshop on Neural Networks (WIRN 2017), 2017.
- Boosting the Development of ASP-Based Applications in Mobile and General Scenarios. (D. Fuscà S. Germano S. Perri J. Zangari F. Calimeri), In Proc. of the Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2017.
- Optic Disc Detection Using Fine Tuned Convolutional Neural Networks. (A. Marzullo C. Stamile G. Terracina F. Calimeri), In Proc. of the 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2017.
- Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective. (L. van der Torre G. Pigozzi), In IfCoLog Journal of Logics and their Applications, Volume 4 (9)., 2017.
- Detachment in Normative Systems: Examples, Inference Patterns, Properties. (L. van der Torre X. Parent), In IfCoLog Journal of Logics and their Applications, Volume 4 (9)., 2017.
- Handling Norms in Multi-agent Systems by Means of Formal Argumentation. (B. Liao A. Malerba A. Rotolo A. Tettamanzi L. van der Torre S. Villata C. da Costa Pereira), In IfCoLog Journal of Logics and their Applications, Volume 4 (9)., 2017.
- The construction of pi_0 in Axiomatic Cohesion. (M. Menni), In Tbilisi Mathematical Journal 10(3) (2017), pp. 183–207., 2017.
- Towards Artificial Argumentation. (P. Baroni M. Giacomin A. Hunter H. Prakken C. Reed G. Simari M. Thimm S. Villata K. Atkinson), In AI Magazine 38, 3 (2017), 25–36., 2017.
- Temporalised Belief Revision in the Law. (D. Martinez A. Rotolo G. Governatori L. Tamargo), In Proc. of the 30th international conference on Legal Knowledge and Information Systems (JURIX2017)., 2017.
- Concept Recognition in European and National Law. (G. Siragusa L. Di Caro M. Theobald G. Boella L. Robaldo F. Costamagna R. Nanda), In Proc. of the 30th international conference on Legal Knowledge and Information Systems (JURIX2017)., 2017.
- Extended Explanatory Argumentation Frameworks. (J. Dauphin, M. Cramer), In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017.
- ASPIC-END: Structured Argumentation with Explanations and Natural Deduction. (J. Dauphin, M. Cramer), In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017.
- Belief Change in a Preferential Non-Monotonic Framework. (G. Casini, T. Meyer), In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017.
- Combining Fuzzy Logic and Formal Argumentation for Legal Interpretation. (C. Da Costa Pereira B. Liao A. Malerba A. Tettamanzi L. van der Torre A. Rotolo), In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017.
- Changes to temporary norms. (F. Olivieri A. Rotolo M. Cristani), In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017.
- A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives. (L. Di Caro G. Boella H. Konstantinov T. Tyankov D. Traykov H. Hristo F. Costamagna L. Humphreys L. Robaldo M. Romano R. Nanda), In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017.
- The pragmatic oddity in a norm-based semantics. (X. Parent, L. van der Torre), In Proc. of the 16th International Conference on Artificial Intelligence and Law (ICAIL-2017)., 2017.
- A Low-cost, High-coverage Legal Named Entity Recognizer, Classifier and Linker. (M. Teruel L. Alonso Alemany C. Cardellino, S. Villata), In Proc. of the 16th International Conference on Artificial Intelligence and Law (ICAIL-2017)., 2017.
- Bottom-up enrichment of top-down ontologies through annotation. (M. Teruel R. Gazzotti L. Alonso Alemany S. Villata C. Cardellino, C. Faron-Zucker), In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.
- Defense semantics of argumentation: encoding reasons for accepting arguments. (B. Liao, L. van der Torre), In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.
- Abstract Agent Argumentation (Triple-A) (K. Satoh R. Arisaka, L. van der Torre), In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.
- Strategically Knowing How (A. Herzig Y. Li Y. Wang R. Fervari), In The 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017.
- Defeasible argumentation over relational databases (S. Dalibon S. Gottifredi M. Falappa C. Chesnevar G.R. Simari C. Deagustini), In Argument and Computation, Vol. 8, 2017.
- Bipolarity in temporal argumentation frameworks (M. Cobo D. Martinez G.R. Simari M. Budan), In International Journal of Approximate Reasoning, Vol. 84, 2017.
- An approach to characterize graded entailment of arguments through a label-based framework (G.I. Simari I. Viglizzo G.R. Simari M. Budan), In International Journal of Approximate Reasoning, Vol. 82, 2017.
- Legalbot: a Deep Learning-Based Conversational Agent in the Legal Domain (L. Di Caro L. Robaldo G. Boella K. Adebayo), In Proc. of the 22nd International Conference on Natural Language & Information Systems (NLDB 2017), 2017.
- On the Computation of Paracoherent Answer Sets (C. Dodaro W. Faber N. Leone G. Amendola, F. Ricca), In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017.
- Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation (L. Robaldo, X. Sun), In The Journal of Logic and Computation, 2017.
- Learning Slowly To Learn Better: Curriculum Learning for Legal Ontology Population (M. Teruel L. Alonso Alemany C. Cardellino, S. Villata), In Proc. of the 30th Florida Artificial Intelligence Research Society (FLAIRS), 2017.
- Legal NERC with ontologies,Wikipedia and curriculum learning (M. Teruel L. Alonso Alemany C. Cardellino, S. Villata), In Proc. of European Chapter of the Association for Computational Linguistics (EACL), 2017.
- The European legal taxonomy syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology (G. Boella L. Di Caro L. Robaldo L. Humphreys S. Praduroux P. Rossi A. Violato G. Ajani), In Applied Ontology, volume 11, 2017.
-Every sufficiently cohesive topos is infinitesimally generated (Matias Menni), In , 2017.
-Temporalised Belief Revision in the Law (Diego C. Martinez Antonino Rotolo Guido Governatori Luciano H. Tamargo), In 30th international conference on Legal Knowledge and Information Systems (JURIX 2017), 2017.
2016
- Semantic Business Process Regulatory Compliance Checking using LegalRuleML (Mustafa Hashmi Ho-Pun Lam Serena Villata Guido Governatori, Monica Palmirani), In Proc. of the 20th International Conference on Knowledge Engineering and Knowledge Management (EKAW2016), 2016.
- A Framework for Easing the Development of Applications Embedding Answer Set Programming (Stefano Germano Jessica Zangari Marco Anastasio Francesco Calimeri Simona Perri Davide Fuscà), In Proc. of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16), 2016.
- Sequence Semantics for Normative Agents (Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani), In Principles and Practice of Multi-Agent Systems conference agent-based modeling programming (PRIMA 2016), 2016.
- On Revision of Partially Specified Convex Probabilistic Belief Bases (Gavin Rens, Thomas Meyer, Giovanni Casini), In European Conference on Artificial Intelligence (ECAI2016), 2016.
- Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the Law (Luigi Di Caro Llio Humphreys Livio Robaldo Piercarlo Rossi Leendert van der Torre Guido Boella), In Artificial Intelligence and Law, to appear., 2016.
- Reified Input/Output logic - a position paper (Livio Robaldo, Xin Sun), In Proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016), The Hague, The Netherlands., 2016.
- Deliverable D5.1: First report on dissemination & upscaling support activities (), In , 2016.
- Prioritized Norms and Defaults in Formal Argumentation (Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata), In Proceedings of the 13th International Conference on Deontic Logic and Normative Systems (DEON2016), 2016.
- Deliverable D2.1: Collection of state-of-the-art NLP tools for processing of legal text (), In , 2016.
- Deliverable D1.1: Report and tutorial materials on research perspectives for theoretical models of legal knowledge representation and reasoning (), In , 2016.
- Legal Tech Start-ups: State of the Art and Trends (Valeria de Paiva Luigi di Caro Sabrina Praduroux), 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.
- Cumulative Aggregation (Xavier Parent Leendert van der Torre Diego Agustin Ambrossio), 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.
- Laying bare EuroVoc by means of Latent Dirichlet Allocation (Luigi Di Caro Giovanni Siragusa), 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.
- An Empirical Comparison of Argumentation Formalisms (Kang Xu Beishui Liao Zhe Yu), 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.
- Combining NLP Approaches for Rule Extraction from Legal Documents (Serena Villata Williams Rizzi Guido Governatori Mauro Dragoni), 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.
- Textual Inference with Tree-structured LSTMs (Luigi Di Caro Livio Robaldo Guido Boella Kolawole J. Adebayo), In Proceedings of the 28th Benelux conference on Artificial Intelligence., 2016.
- Lógica modal (Clara Smith), In Capitulo 3, Logic for Informatics, the Editorial of the University of La Plata (EUNLP), Argentina., 2016.
- An approach to Decision Making based on Dynamic Argumentation Systems (Luciano H. Tamargo Alejandro J. García Marcelo L. Errecalde Guillermo R. Simari Edgardo Ferretti), In Artificial Intelligence, to appear., 2016.
- Norm Creation in Proposition Control Games (Xin Sun, Livio Robaldo), In Proceedings of the Chinese Conference on Logic and Argumentation (CLAR2016), 2016.
- A Framework to Reason about the Legal Compliance of Security Standards (Andra Giurgiu Gabriele Lenzini Cesare Bartolini, Livio Robaldo), In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016.
- Towards legal compliance by correlating Standards and Laws with a semi-automated methodology (Gabriele Lenzini Cesare Bartolini, Livio Robaldo), In Proceedings of the 28th Benelux conference on Artificial Intelligence., 2016.
- Text SegmentationWith Topic Modeling And Entity Coherence (Luigi Di Caro Adebayo Kolawole John, Guido Boella), In Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS2016), 2016.
- A Text Similarity Approach for Automated Transposition Detection of European Union Directives (Luigi Di Caro Rohan Nanda, Guido Boella), In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX2016), 2016.
- Sequence semantics for norms and obligations (Francesco Olivieri Erica Calardo Antonino Rotolo Guido Governatori), In The 13th International Conference on Deontic Logic and Normative Systems (DEON2016), 2016.
- Interpretation Across Legal Systems (Antonino Rotolo Guido Governatori Alessandra Malerba), In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX 2016), 2016.
- The rationale behind the concept of goal (Francesco Olivieri Simone Scannapieco Antonino Rotolo Matteo Cristani Guido Governatori), In TPLP 16(3): 296-324, 2016.
- Quantification in Some Non-normal Modal Logics (Antonino Rotolo Erica Calardo), In Journal of Philosophical Logic, online first, 2016.
- Neural Reasoning For Legal Text Understanding (Guido Boella Adebayo Kolawole John, Luigi Di Caro), In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX2016), 2016.
- An approach to information retrieval and question answering in the legal domain (Luigi Di Caro Guido Boella Adebayo Kolawole John, Cesare Bartolini), In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016.
2015
- Combining Input/Output logic and Reification for representing real-world obligations (Livio Robaldo, Llio Humphreys, Xin Sun, Loredana Cupi, Cristiana Santos, Robert Muthuri), In Proceedings of the Ninth International Workshop on Juris-informatics (JURISIN 2015), 2015.