Community Research and Development Information Service - CORDIS

MIREL - MIning and REasoning with Legal texts

From 2016-01-01 to 2019-12-31, ongoing project | MIREL Website

Project details

Total cost:

EUR 1 264 500

EU contribution:

EUR 1 152 000

Coordinated in:

Luxembourg

Call for proposal:

H2020-MSCA-RISE-2015See other projects for this call

Funding scheme:

MSCA-RISE - Marie Skłodowska-Curie Research and Innovation Staff Exchange (RISE)

Objective

Deliverables

Publications

  • ASPIC-END: Structured Argumentation with Explanations and Natural Deduction
    Author(s): J. Dauphin, M. Cramer
    Published in: In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017., 2017. 
  • 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. 
  • Neural Reasoning For Legal Text Understanding
    Author(s): Guido Boella Adebayo Kolawole John, Luigi Di Caro
    Published in: In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016., 2016. 
  • 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. 
  • 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. 
  • 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. 
  • A Low-cost, High-coverage Legal Named Entity Recognizer, Classifier and Linker
    Author(s): Cardellino, Cristian; Teruel, Milagro; Alonso Alemany, Laura; Villata, Serena
    Published in: https://hal.archives-ouvertes.fr/hal-01541446, issue 3, 2017. 
  • Concept Recognition in European and National Law
    Author(s): Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Martin Theobald, Guido Boella, Livio Robaldo and Francesco Costamagna
    Published in: In Proc. of the 30th international conference on Legal Knowledge and Information Systems (JURIX2017)., 2017., 2017. 
  • 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. 
  • Sequence semantics for norms and obligations
    Author(s): Francesco Olivieri Erica Calardo Antonino Rotolo Guido Governatori
    Published in: In The 13th International Conference on Deontic Logic and Normative Systems (DEON2016), 2016, 2016. 
  • A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives
    Author(s): Nanda, Rohan; Di Caro, Luigi; Boella, Guido; Konstantinov, Hristo; Tyankov, Tenyo; Traykov, Daniel; Hristov, Hristo; Costamagna, Francesco; Humphreys, Llio; Robaldo, Livio; Romano, Michele
    Published in: A Unifying Similarity Measure for Automated Identification of National Implementations of European Union Directives. (2017)., issue 4, 2017. 
  • 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. 
  • Text SegmentationWith Topic Modeling And Entity Coherence
    Author(s): Luigi Di Caro Adebayo Kolawole John, Guido Boella
    Published in: In Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS2016), 2016, 2016. 
  • 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. 
    DOI: 10.18653/v1/E17-2041
  • Semantic Business Process Regulatory Compliance Checking using LegalRuleML
    Author(s): Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani
    DOI: 10.1007/978-3-319-49004-5_48
  • 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. 
  • Changes to temporary norms
    Author(s): F. Olivieri A. Rotolo M. Cristani
    Published in: In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017. 
  • A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT)
    Author(s): C. Stamile L. Surace F. Calimeri
    Published in: In Proc. of the IEEE Congress on Evolutionary Computation (CEC 2017), 2017., 2017. 
  • Combining Fuzzy Logic and Formal Argumentation for Legal Interpretation
    Author(s): C. Da Costa Pereira B. Liao A. Malerba A. Tettamanzi L. van der Torre A. Rotolo
    Published in: In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017., 2017. 
  • Bottom-up enrichment of top-down ontologies through annotation
    Author(s): (M. Teruel R. Gazzotti L. Alonso Alemany S. Villata C. Cardellino, C. Faron-Zucker
    Published in: In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017., 2017. 
  • Belief Change in a Preferential Non-Monotonic Framework
    Author(s): Casini, Giovanni; Meyer, Thomas
    Published in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence (pp. 929-935). International Joint Conferences on Artificial Intelligence (2017)., issue 2, 2017. 
  • 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. 
  • Strategically Knowing How
    Author(s): A. Herzig Y. Li Y. Wang R. Fervari
  • 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. 
  • -Defense semantics of argumentation: encoding reasons for accepting arguments
    Author(s): B. Liao, L. van der Torre
    Published in: In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017., 2017. 
  • Learning Slowly To Learn Better: Curriculum Learning for Legal Ontology Population
    Author(s): Cardellino, Cristian; Teruel, Milagro; Alemany, Laura,; Villata, Serena
    Published in: https://hal.archives-ouvertes.fr/hal-01572442, issue 5, 2017. 
  • 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. 
  • Optic Disc Detection Using Fine Tuned Convolutional Neural Networks
    Author(s): A. Marzullo C. Stamile G. Terracina F. Calimeri
    Published in: In Proc. of the 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2017., 2017. 
  • Interpretation Across Legal Systems
    Author(s): Antonino Rotolo Guido Governatori Alessandra Malerba
    Published in: In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems, 2016. 
  • BioHIPI: Biomedical Hadoop Image Processing Interface
    Author(s): M. Caracciolo A. Marzullo C. Stamile F. Calimeri
    Published in: In Proc. of the Third International Conference on Machine Learning, Optimization, and Big Data - MOD 2017, 2017., 2017. 
  • Sequence Semantics for Normative Agents
    Author(s): Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
    Published in: In Principles and Practice of Multi-Agent Systems conference agent-based modeling programming (PRIMA 2016), 2016., 2016. 
  • 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. 
  • 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. 
  • A Framework to Reason about the Legal Compliance of Security Standards
    Author(s): Andra Giurgiu Gabriele Lenzini Cesare Bartolini, Livio Robaldo
    Published in: In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016., 2016. 
  • 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. 
  • Boosting the Development of ASP-Based Applications in Mobile and General Scenarios
    Author(s): D. Fuscà S. Germano S. Perri J. Zangari F. Calimeri
    Published in: In Proc. of the Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2017., 2017. 
  • Abstract Agent Argumentation (Triple-A)
    Author(s): K. Satoh R. Arisaka, L. van der Torre
    Published in: In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017., 2017. 
  • 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. 
  • Legalbot: a Deep Learning-Based Conversational Agent in the Legal Domain
    Author(s): L. Di Caro L. Robaldo G. Boella K. Adebayo
    Published in: In Proc. of the 22nd International Conference on Natural Language & Information Systems (NLDB 2017), 2017., 2017. 
  • The pragmatic oddity in a norm-based semantics
    Author(s): Parent, Xavier; Van der Torre, Leon
    Published in: In G., Governatori (Ed.), 16th International Conference on Artificial Intelligence & Law (ICAIL-17). New York, USA: ACM (2017)., issue 3, 2017. 
  • S-Rep Model for Fundus Image Analysis
    Author(s): C. Stamile L. Surace F. Calimeri
    Published in: In Proc. of the 17th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2017), 2017., 2017. 
  • 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. 
  • 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. 
  • Never Retreat, Never Retract: Argumentation Analysis for Political Speeches
    Author(s): E. Cabrio S. Tonelli S. Villata S. Menini
    Published in: In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-18)., 2018., 2018. 
  • 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. 
  • 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
    DOI: 10.1016/j.artint.2016.10.004
  • 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
  • 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
    DOI: 10.1016/j.ijar.2017.01.013
  • 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
    DOI: 10.1007/s10992-016-9410-1
  • 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
    DOI: 10.3233/AAC-170017
  • 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
    DOI: 10.1007/s10506-016-9184-3
  • The rationale behind the concept of goal
    Author(s): Francesco Olivieri Simone Scannapieco Antonino Rotolo Matteo Cristani Guido Governatori
    Published in: The rationale behind the concept of goal. Theory and Practice of Logic Programming, 2016.  ISSN: 1471-0684
  • Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective
    Author(s): L. van der Torre G. Pigozzi
    Published in: fCoLog Journal of Logics and their Applications, issue Volume 4(9), 2017.  ISSN: 2055-3714
  • The construction of π0 in Axiomatic Cohesion
    Author(s): Matías Menni
    Published in: Tbilisi Mathematical Journal, issue 10/3, 2017.  ISSN: 1512-0139
    DOI: 10.1515/tmj-2017-0108
  • 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
    DOI: 10.1609/aimag.v38i3.2704
  • 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
    DOI: 10.1093/logcom/exx009
  • Detachment in Normative Systems: Examples, inference Patterns, Properties
    Author(s): Parent, Xavier; Van der Torre, Leon
    Published in: The IfCoLog Journal of Logics and their Applications, 4(9), 2295-3039. London, UK: College Publications (2017)., issue 1, 2017.  ISSN: 2055-3714
  • 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
    DOI: 10.3233/AO-170174
  • 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
    DOI: 10.1016/j.ijar.2016.12.016
  • 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. 

Coordinator

UNIVERSITE DU LUXEMBOURG
Luxembourg

EU contribution: EUR 405 000


2 AVENUE DE L'UNIVERSITE
4365 ESCH-SUR-ALZETTE
Luxembourg
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Participants

UNIVERSITA DEGLI STUDI DI TORINO
Italy

EU contribution: EUR 81 000


VIA GIUSEPPE VERDI 8
10124 TORINO
Italy
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA
Italy

EU contribution: EUR 198 000


VIA ZAMBONI 33
40126 BOLOGNA
Italy
See on map
Activity type: Higher or Secondary Education Establishments
Administrative contact: Claudio Rossi
Tel.: +39 051 20 9 3564
Fax: +390512093588

Contact the organisation

THE UNIVERSITY OF HUDDERSFIELD
United Kingdom

EU contribution: EUR 180 000


Queensgate
HD13DH HUDDERSFIELD
United Kingdom
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE
France

EU contribution: EUR 193 500


DOMAINE DE VOLUCEAU ROCQUENCOURT
78153 LE CHESNAY CEDEX
France
See on map
Activity type: Research Organisations

Contact the organisation

APIS HRISTOVICH EOOD
Bulgaria

EU contribution: EUR 22 500


GRAF IGNATIEV 7A
1000 SOFIA
Bulgaria
See on map
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)

Contact the organisation

NOMOTIKA SRL
Italy

EU contribution: EUR 0


VIA PAVIA 11 B
10098 RIVOLI
Italy
See on map
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)

Contact the organisation

DLVSYSTEM SRL
Italy

EU contribution: EUR 72 000


VIA DELLA RESISTENZA 11/P
87036 RENDE CS
Italy
See on map
Activity type: Private for-profit entities (excluding Higher or Secondary Education Establishments)

Contact the organisation

Partner organisations

UNIVERSIDAD NACIONAL DE LA PLATA
Argentina
CALLE 7 776
1900 LA PLATA
Argentina
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSIDAD NACIONAL DEL SUR
Argentina
AVENIDA COLON 80
8000 BAHIA BLANCA
Argentina
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSIDAD NACIONAL DE CORDOBA
Argentina
Haya de la Torre s/n Ciudad Universitaria
5000 CORDOBA
Argentina
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

UNIVERSITY OF CAPE TOWN
South Africa
PRIVATE BAG X3
7701 RONDEBOSCH
South Africa
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

BOARD OF TRUSTEES OF THE LELAND STANFORD JUNIOR UNIVERSITY
United States
SERRA MALL 450
94305 2004 STANFORD
United States
Activity type: Higher or Secondary Education Establishments

Contact the organisation

NATIONAL ICT AUSTRALIA LIMITED
Australia
Level 5, Garden Street 13
NSW1430 EVELEIGH
Australia
See on map
Activity type: Research Organisations

Contact the organisation

INTER-UNIVERSITY RESEARCH INSTITUTECORPORATION RESEARCH ORGANIZATIONOF INFORMATION AND SYSTEMS
Japan
MIDORI CHO 10-3 TACHIKAWA SHI
190-8518 TOKYO
Japan
See on map
Activity type: Research Organisations

Contact the organisation

Zhejiang University
China
ZHE DA ROAD 38
310027 HANGZHOU
China
See on map
Activity type: Higher or Secondary Education Establishments

Contact the organisation

Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top