#	Pagina
attuale pagina	/open-h2020/projects/199931/index.html

Opendata, web and dolomites

MIREL SIGNED

MIREL - MIning and REasoning with Legal texts

Total Cost €

EC-Contrib. €

Partnership

Views

Outcomes and
results

MIREL project word cloud

Explore the words cloud of the MIREL project. It provides you a very rough idea of what is the project "MIREL" about.

language formal reasoning argument checking with big mining law network bridges interpretation lacking inter south norm gap web tools computational deployment argumentation community representations informatics modals argentina scientists handling international mobility academies validated africa ai querying first communities complexity artificial innovative staff industrial exchange compliance guided framework data regulatory translating expertise create japan sectorial parsers brings promotes description continental players nlp market norms services conceptual deontic decision smes natural logic mirel involve china semantic interdisciplinary semantics australia ontologies intelligence texts repositories

Project "MIREL" data sheet

The following table provides information about the project.

Coordinator	UNIVERSITE DU LUXEMBOURG Organization address address: 2 AVENUE DE L'UNIVERSITE city: ESCH-SUR-ALZETTE postcode: 4365 website: http://wwwen.uni.lu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.
Coordinator Country	Luxembourg [LU]
Project website	http://www.mirelproject.eu/
Total cost	1˙264˙500 €
EC max contribution	1˙152˙000 € (91%)
Programme	1. H2020-EU.1.3.3. (Stimulating innovation by means of cross-fertilisation of knowledge)
Code Call	H2020-MSCA-RISE-2015
Funding Scheme	MSCA-RISE
Starting year	2016
Duration (year-month-day)	from 2016-01-01 to 2019-12-31

Partnership

Take a look of project's partnership.

#	participants	country	role	EC contrib. [€]
1	UNIVERSITE DU LUXEMBOURG UNIVERSITE DU LUXEMBOURG Organization address address: 2 AVENUE DE L'UNIVERSITE city: ESCH-SUR-ALZETTE postcode: 4365 website: http://wwwen.uni.lu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	LU (ESCH-SUR-ALZETTE)	coordinator	405˙000.00
2	ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA Organization address address: VIA ZAMBONI 33 city: BOLOGNA postcode: 40126 website: www.unibo.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (BOLOGNA)	participant	198˙000.00
3	INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE Organization address address: DOMAINE DE VOLUCEAU ROCQUENCOURT city: LE CHESNAY CEDEX postcode: 78153 website: www.inria.fr contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	FR (LE CHESNAY CEDEX)	participant	193˙500.00
4	UNIVERSITY OF HUDDERSFIELD UNIVERSITY OF HUDDERSFIELD Organization address address: QUEENSGATE city: HUDDERSFIELD postcode: HD1 3DH website: www.hud.ac.uk contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	UK (HUDDERSFIELD)	participant	180˙000.00
5	UNIVERSITA DEGLI STUDI DI TORINO UNIVERSITA DEGLI STUDI DI TORINO Organization address address: VIA GIUSEPPE VERDI 8 city: TORINO postcode: 10124 website: www.unito.it contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (TORINO)	participant	81˙000.00
6	DLVSYSTEM SRL DLVSYSTEM SRL Organization address address: VIA DELLA RESISTENZA 11/P city: RENDE CS postcode: 87036 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (RENDE CS)	participant	72˙000.00
7	APIS HRISTOVICH EOOD APIS HRISTOVICH EOOD Organization address address: GRAF IGNATIEV 7A city: SOFIA postcode: 1000 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	BG (SOFIA)	participant	22˙500.00
8	NOMOTIKA SRL NOMOTIKA SRL Organization address address: VIA PAVIA 11 B city: RIVOLI postcode: 10098 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	IT (RIVOLI)	participant	0.00
9	BOARD OF TRUSTEES OF THE LELAND STANFORD JUNIOR UNIVERSITY BOARD OF TRUSTEES OF THE LELAND STANFORD JUNIOR UNIVERSITY Organization address address: SERRA MALL 450 city: STANFORD postcode: 94305 2004 website: www.stanford.edu contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	US (STANFORD)	partner	0.00
10	INTER-UNIVERSITY RESEARCH INSTITUTECORPORATION RESEARCH ORGANIZATIONOF INFORMATION AND SYSTEMS INTER-UNIVERSITY RESEARCH INSTITUTECORPORATION RESEARCH ORGANIZATIONOF INFORMATION AND SYSTEMS Organization address address: MIDORI CHO 10-3 TACHIKAWA SHI city: TOKYO postcode: 190-8518 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	JP (TOKYO)	partner	0.00
11	NATIONAL ICT AUSTRALIA LIMITED NATIONAL ICT AUSTRALIA LIMITED Organization address address: Level 5, Garden Street 13 city: EVELEIGH postcode: NSW1430 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AU (EVELEIGH)	partner	0.00
12	UNIVERSIDAD NACIONAL DE CORDOBA UNIVERSIDAD NACIONAL DE CORDOBA Organization address address: Haya de la Torre s/n Ciudad Universitaria city: CORDOBA postcode: 5000 website: www.unc.edu.ar contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AR (CORDOBA)	partner	0.00
13	UNIVERSIDAD NACIONAL DE LA PLATA UNIVERSIDAD NACIONAL DE LA PLATA Organization address address: CALLE 7 776 city: LA PLATA postcode: 1900 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AR (LA PLATA)	partner	0.00
14	UNIVERSIDAD NACIONAL DEL SUR UNIVERSIDAD NACIONAL DEL SUR Organization address address: AVENIDA COLON 80 city: BAHIA BLANCA postcode: 8000 website: n.a. contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	AR (BAHIA BLANCA)	partner	0.00
15	UNIVERSITY OF CAPE TOWN UNIVERSITY OF CAPE TOWN Organization address address: PRIVATE BAG X3 city: RONDEBOSCH postcode: 7701 website: www.uct.ac.za contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	ZA (RONDEBOSCH)	partner	0.00
16	Zhejiang University Zhejiang University Organization address address: ZHE DA ROAD 38 city: HANGZHOU postcode: 310027 website: www.zju.edu.cn contact info title: n.a. name: n.a. surname: n.a. function: n.a. email: n.a. telephone: n.a. fax: n.a.	CN (HANGZHOU)	partner	0.00

Map

Project objective

The management of large repositories of norms, and the semantic access and reasoning to these norms are key challenges in Legal Informatics. The MIREL project will create an international and inter-sectorial network to define a formal framework and to develop tools for MIning and REasoning with Legal texts, with the aim of translating these legal texts into formal representations that can be used for querying norms, compliance checking, and decision support. The development of the MIREL framework and tools will be guided by the needs of three industrial partners, and validated by industrial case studies. MIREL promotes mobility and staff exchange between SMEs to academies in order to create an inter-continental interdisciplinary consortium in Law and Artificial Intelligence areas including Natural Language Processing, Computational Ontologies, Argumentation, and Logic & Reasoning. MIREL addresses both conceptual challenges, such as the role of legal interpretation in mining and reasoning, and computational challenges, such as the handling of big legal data, and the complexity of regulatory compliance. It bridges the gap between the community working on legal ontologies and NLP parsers and the community working on reasoning methods and formal logic. Moreover, it is the first project of its kind to involve industrial partners in the future development of innovative products and services in legal reasoning and their deployment in the market. The European MIREL partners are key players in the communities of Deontic, AI & Law, and the Semantic Web, communities that have traditionally been strong in Europe. The MIREL consortium brings these scientists together with researchers with expertise traditionally lacking in Europe, such as norm and argument mining (Argentina, Japan and China), description logic for reasoning about legal ontologies (South Africa), natural language semantics of deontic modals (US), and the complexity analysis of regulatory compliance (Australia).

Deliverables

List of deliverables.
Technical documents (mining and reasoning techniques)	Documents, reports	2020-04-16 15:30:16
4th report on dissemination and exploitation	Documents, reports	2020-04-16 15:31:57
2nd report on Global Evaluation	Documents, reports	2020-04-16 15:31:47
2nd report on decision making and compliance	Documents, reports	2020-04-16 15:31:09
Final report on NLP tools	Documents, reports	2020-04-16 15:30:59
1st report on Global Evaluation	Documents, reports	2020-04-16 15:30:24
3rd report on dissemination and exploitation	Documents, reports	2020-04-16 15:30:33
Final exploitation plan	Documents, reports	2020-04-16 15:30:42
Ontology population	Demonstrators, pilots, prototypes	2020-04-16 15:30:07
Report and tutorial materials (logical models of legal interpretation)	Documents, reports	2020-04-16 15:29:59
Mining and reasoning techniques	Demonstrators, pilots, prototypes	2020-04-16 15:31:38
Reasoning algorithms for normative reasoning	Demonstrators, pilots, prototypes	2020-04-16 15:31:27
Reasoning tools for decision making and compliance	Documents, reports	2020-04-16 15:31:19
Report (knowledge base techniques for norm mining)	Documents, reports	2020-04-16 15:30:50
2nd report on dissemination and exploitation	Documents, reports	2019-07-30 11:13:24
1st report on dissemination and exploitation	Documents, reports	2019-07-30 11:13:19
Usage scenarios and prototypes	Demonstrators, pilots, prototypes	2019-07-30 11:13:19
Collection of NLP tools	Documents, reports	2019-07-30 11:13:19
Report and tutorial materials (legal KRR)	Documents, reports	2019-07-30 11:13:19
Preliminary exploitation plan	Documents, reports	2019-07-30 11:13:24
Report and tutorial materials (representation of legal knowledge)	Documents, reports	2019-07-30 11:13:24
Licenses and contracts	Websites, patent fillings, videos etc.	2019-07-30 11:13:24
Ontology-based access to normative knowledge	Demonstrators, pilots, prototypes	2019-07-30 11:13:24
1st report on decision making and compliance	Documents, reports	2019-07-30 11:13:24
Report on ontologies for normative reasoning	Documents, reports	2019-07-30 11:13:24

Take a look to the deliverables list in detail: detailed list of MIREL deliverables.

Publications

List of publications.
year	authors and title	journal	last update
2019	BenzmÃ¼ller, Christoph; Farjami, Ali; Parent, Xavier Ã…qvist\'s Dyadic Deontic Logic E in HOL published pages: 733-754, ISSN: 2631-9810, DOI:	Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications 6	2020-03-11
2019	BenzmÃ¼ller, Christoph; Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier I/O Logic in HOL published pages: 715-732, ISSN: 2631-9810, DOI:	Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications 6	2020-03-11
2018	Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata Prioritized norms in formal argumentation published pages: 215-240, ISSN: 0955-792X, DOI: 10.1093/logcom/exy009	Journal of Logic and Computation 29/2	2020-02-18
2016	Malerba, Alessandra; Rotolo, Antonino; Governatori, Guido Interpretation across legal systems published pages: , ISSN: , DOI: 10.3233/978-1-61499-726-9-83	Frontiers in Artificial Intelligence and Applications vol. 294	2020-02-13
2019	Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid Arbitrary Ranking of Defeasible Subsumption published pages: , ISSN: , DOI:	Proceedings of the 32nd International Workshop on Description Logics. CEUR (2019).	2020-02-13
2019	Livio Robaldo, Serena Villata, Adam Wyner, Matthias Grabmair Introduction for artificial intelligence and law: special issue â€œnatural language processing for legal textsâ€ published pages: 113-115, ISSN: 0924-8463, DOI: 10.1007/s10506-019-09251-2	Artificial Intelligence and Law 27/2	2020-02-13
2019	Matias Menni Every cohesive topos is infinitesimally generated published pages: 3-31, ISSN: 1245-530X, DOI:	cahiers de topologie et gÃ©omÃ©trie diffÃ©rentielle catÃ©goriques vol. 60, n. 1	2020-02-13
2019	Paola Daniela BudÃ¡n, Melisa Gisselle EscaÃ±uela Gonzalez, Maximiliano Celmo David BudÃ¡n, Maria Vanina Martinez, Guillermo Ricardo Simari Similarity notions in bipolar abstract argumentation published pages: 1-47, ISSN: 1946-2166, DOI: 10.3233/aac-190479	Argument & Computation	2020-02-13
2016	Stefano Germano Jessica Zangari Marco Anastasio Francesco Calimeri Simona Perri Davide FuscÃ A Framework for Easing the Development of Applications Embedding Answer Set Programming published pages: , ISSN: , DOI:	In Proc. of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP \'16), 2016.	2020-02-13
2019	Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo, Guido Governatori An axiomatic characterization of temporalised belief revision in the law published pages: 347-367, ISSN: 0924-8463, DOI: 10.1007/s10506-019-09241-4	Artificial Intelligence and Law 27/4	2020-02-13
2019	Palmirani Monica; Bincoletto Giorgia; Leone Valentina; Sapienza Salvatore; Sovrano Francesco PrOnto Ontology Refinement Through Open Knowledge Extraction published pages: , ISSN: , DOI: 10.3233/FAIA190326	Frontiers in Artificial Intelligence and Applications vol. 322	2020-02-13
2019	Francisco Marmolejo, MatÃas Menni Level epsilon published pages: 450-477, ISSN: 2681-2363, DOI:	cahiers de topologie et gÃ©omÃ©trie diffÃ©rentielle catÃ©goriques vol. 60, n. 4	2020-02-13
2019	Matias Menni Monic skeleta, Boundaries, Aufhebung, and the meaning of `one-dimensionality\' published pages: 714-735, ISSN: 1201-561X, DOI:	Theory and Applications of Categories vol. 34, n. 25	2020-02-13
2019	JÃ©rÃ©mie Dauphin, Marcos Cramer, Leendert van der Torre A dynamic approach for combining abstract argumentation semantics published pages: , ISSN: , DOI:	Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation	2020-02-13
2019	Marcos Cramer, JÃ©rÃ©mie Dauphin A Structured Argumentation Framework for Modeling Debates in the Formal Sciences published pages: , ISSN: 0925-4560, DOI: 10.1007/s10838-019-09443-z	Journal for General Philosophy of Science	2020-02-13
2019	Cesare Bartolini, Gabriele Lenzini, Livio Robaldo The DAta Protection REgulation COmpliance Model published pages: 37-45, ISSN: 1540-7993, DOI: 10.1109/msec.2019.2937756	IEEE Security & Privacy 17/6	2020-02-13
2018	BudÃ¡n, Maximiliano C. D.; Cobo, MarÃa Laura; MartÃnez, Diego I.; Rotolo, Antonino Dealing with Qualitative and Quantitative Features in Legal Domains published pages: , ISSN: , DOI: 10.3233/978-1-61499-935-5-176	Frontiers in Artificial Intelligence and Applications vol. 313	2020-02-13
2019	Livio Robaldo, Lendeert van der Torre Introduction to legal AI published pages: 711-714, ISSN: 2631-9810, DOI:	Journal of Applied Logics vol. 6, n. 5	2020-02-13
2018	Monica Palmirani; Michele Martoni; Arianna Rossi; Cesare Bartolini; Livio Robaldo Legal Ontology for Modelling GDPR Concepts and Norms published pages: 91-100, ISSN: , DOI: 10.3233/978-1-61499-935-5-91	Frontiers in Artificial Intelligence and Applications vol. 313	2020-02-13
2019	Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak On rational entailment for Propositional Typicality Logic published pages: 103178, ISSN: 0004-3702, DOI: 10.1016/j.artint.2019.103178	Artificial Intelligence 277	2020-02-13
2018	Valentina Leone, Luigi Di Caro, Serena Villata Legal Ontologies and How to Choose Them:the InvestigatiOnt Tool published pages: , ISSN: , DOI:	ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks	2020-01-28
2019	Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo, Francesco Costamagna Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives published pages: 199-225, ISSN: 0924-8463, DOI: 10.1007/s10506-018-9236-y	Artificial Intelligence and Law 27/2	2020-01-28
2017	Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco On the Computation of Paracoherent Answer Sets published pages: , ISSN: , DOI:	Proc. of AAAI 2017 6	2019-07-30
2016	Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio A Framework to Reason about the Legal Compliance of Security Standards published pages: , ISSN: , DOI:	Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN). (2016). 1	2019-07-30
2017	Peirera, CÃ©lia da Costa; Tettamanzi, Andrea G. B.; Villata, Serena; Liao, Beishui; Malerba, Alessandra; Rotolo, Antonino; van der Torre, Leon Handling Norms in Multi-Agent System by Means of Formal Argumentation published pages: , ISSN: 2055-3714, DOI:	http://www.collegepublications.co.uk/journals/ifcolog/?00018 6	2019-07-30
2017	Amendola, Giovanni; Dodaro, Carmine; Faber, Wolfgang; Leone, Nicola; Ricca, Francesco On the Computation of Paracoherent Answer Sets published pages: , ISSN: , DOI:	Amendola , G , Dodaro , C , Faber , W , Leone , N & Ricca , F 2017 , On the Computation of Paracoherent Answer Sets . in Proceedings of the Thirty-First AAAI Conference on Artificial Intelligence, February 4-9, 2017, San Francisco, California, USA. . pp. 1034-1040 , Thirty-First AAAI Conference on Artificial Intelligence , San Francisco , United States , 4/02/17 . 6	2019-07-30
2018	Jose Paredes, Gerardo Simari, Maria Martinez, Marcelo Falappa First Steps towards Data-Driven Adversarial Deduplication published pages: 189, ISSN: 2078-2489, DOI: 10.3390/info9080189	Information 9/8	2019-07-30
2018	Giovanni Casini, Umberto Straccia, Thomas Meyer A polynomial Time Subsumption Algorithm for Nominal Safe E L O âŠ¥ under Rational Closure published pages: , ISSN: 0020-0255, DOI: 10.1016/j.ins.2018.09.037	Information Sciences	2019-07-30
2016	Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani Semantic Business Process Regulatory Compliance Checking using LegalRuleML published pages: 746-761, ISSN: , DOI: 10.1007/978-3-319-49004-5_48	Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016	2019-07-30
2016	Antonino Rotolo Guido Governatori Alessandra Malerba Interpretation Across Legal Systems published pages: , ISSN: , DOI:	In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems	2019-07-30
2016	Guido Boella Adebayo Kolawole John, Luigi Di Caro Neural Reasoning For Legal Text Understanding published pages: , ISSN: , DOI:	In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems, JURIX 2016	2019-07-30
2016	Andra Giurgiu Gabriele Lenzini Cesare Bartolini, Livio Robaldo A Framework to Reason about the Legal Compliance of Security Standards published pages: , ISSN: , DOI:	In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016.	2019-07-30
2016	Clara Smith LÃ³gica modal published pages: , ISSN: , DOI:	Capitulo 3, Logic for Informatics, the Editorial of the University of La Plata (EUNLP), Argentina	2019-07-30
2017	L. Di Caro L. Robaldo G. Boella K. Adebayo Legalbot: a Deep Learning-Based Conversational Agent in the Legal Domain published pages: , ISSN: , DOI:	In Proc. of the 22nd International Conference on Natural Language & Information Systems (NLDB 2017), 2017.	2019-07-30
2016	Stefano Germano Jessica Zangari Marco Anastasio Francesco Calimeri Simona Perri Davide FuscÃ A Framework for Easing the Development of Applications Embedding Answer Set Programming published pages: , ISSN: , DOI:	In Proc. of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP \'16), 2016.	2019-07-30
2016	Francesco Olivieri, Erica Calardo, Antonino Rotolo, Guido Governatori Sequence semantics for norms and obligations published pages: , ISSN: , DOI:	In The 13th International Conference on Deontic Logic and Normative Systems (DEON2016), 2016	2019-07-30
2016	Xin Sun, Livio Robaldo Norm Creation in Proposition Control Games published pages: , ISSN: , DOI:	In Proceedings of the Chinese Conference on Logic and Argumentation (CLAR2016), 2016.	2019-07-30
2018	Jose Paredes, Gerardo Simari, Maria Martinez, Marcelo Falappa First Steps towards Data-Driven Adversarial Deduplication published pages: 189, ISSN: 2078-2489, DOI: 10.3390/info9080189	Information 9/8	2019-07-30
2017	Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Simari, Matthias Thimm, Serena Villata Towards Artificial Argumentation published pages: 25, ISSN: 0738-4602, DOI: 10.1609/aimag.v38i3.2704	AI Magazine 38/3	2019-07-30
2017	MatÃas Menni The construction of Ï€0 in Axiomatic Cohesion published pages: , ISSN: 1512-0139, DOI: 10.1515/tmj-2017-0108	Tbilisi Mathematical Journal 10/3	2019-07-30
2017	Cristhian Ariel David Deagustini, Santiago Emanuel Fulladoza DalibÃ³n, SebastiÃ¡n Gottifredi, Marcelo Alejandro Falappa, Carlos IvÃ¡n ChesÃ±evar, Guillermo Ricardo Simari Defeasible argumentation over relational databases published pages: 35-59, ISSN: 1946-2166, DOI: 10.3233/AAC-170017	Argument & Computation 8/1	2019-07-30
2017	Parent, Xavier; Van der Torre, Leon Detachment in Normative Systems: Examples, inference Patterns, Properties published pages: 2995-3038, ISSN: 2055-3714, DOI:	IfCoLog Journal of Logics and their Applications Volume 4 (9)	2019-07-30
2017	Parent, Xavier; Van der Torre, Leon The pragmatic oddity in a norm-based semantics published pages: , ISSN: , DOI:	In G., Governatori (Ed.), 16th International Conference on Artificial Intelligence & Law (ICAIL-17). New York, USA: ACM (2017). 3	2019-07-30
2016	Luigi Di Caro Rohan Nanda, Guido Boella A Text Similarity Approach for Automated Transposition Detection of European Union Directives published pages: , ISSN: , DOI:	In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX2016), 2016	2019-07-30
2017	Maximiliano C.D. BudÃ¡n, Gerardo I. Simari, Ignacio Viglizzo, Guillermo R. Simari An approach to characterize graded entailment of arguments through a label-based framework published pages: 242-269, ISSN: 0888-613X, DOI: 10.1016/j.ijar.2016.12.016	International Journal of Approximate Reasoning 82	2019-07-30
2018	Giovanni Casini, Umberto Straccia, Thomas Meyer A polynomial Time Subsumption Algorithm for Nominal Safe E L O âŠ¥ under Rational Closure published pages: , ISSN: 0020-0255, DOI: 10.1016/j.ins.2018.09.037	Information Sciences	2019-07-30
2017	(M. Teruel R. Gazzotti L. Alonso Alemany S. Villata C. Cardellino, C. Faron-Zucker Bottom-up enrichment of top-down ontologies through annotation published pages: , ISSN: , DOI:	In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.	2019-07-30
2017	J. Dauphin, M. Cramer Extended Explanatory Argumentation Frameworks published pages: , ISSN: , DOI:	In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017.	2019-07-30
2017	B. Liao, L. van der Torre -Defense semantics of argumentation: encoding reasons for accepting arguments published pages: , ISSN: , DOI:	In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.	2019-07-30
2016	Luigi Di Caro Adebayo Kolawole John, Guido Boella Text Segmentation With Topic Modeling And Entity Coherence published pages: , ISSN: , DOI:	In Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS2016), 2016	2019-07-30
2016	Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert vanÂ der Torre Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law published pages: 245-283, ISSN: 0924-8463, DOI: 10.1007/s10506-016-9184-3	Artificial Intelligence and Law 24/3	2019-07-30
2017	Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. GarcÃa, Marcelo L. Errecalde, Guillermo R. Simari An approach to decision making based on dynamic argumentation systems published pages: 107-131, ISSN: 0004-3702, DOI: 10.1016/j.artint.2016.10.004	Artificial Intelligence 242	2019-07-30
2017	M. Caracciolo A. Marzullo C. Stamile F. Calimeri BioHIPI: Biomedical Hadoop Image Processing Interface published pages: , ISSN: , DOI:	In Proc. of the Third International Conference on Machine Learning, Optimization, and Big Data - MOD 2017, 2017.	2019-07-30
2016	Valeria de Paiva, Luigi di Caro, Sabrina Praduroux Legal Tech Start-ups: State of the Art and Trends published pages: , ISSN: , DOI:	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.	2019-07-30
2016	Luigi Di Caro, Guido Boella, Adebayo Kolawole John, Cesare Bartolini An approach to information retrieval and question answering in the legal domain published pages: , ISSN: , DOI:	In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016.	2019-07-30
2017	L. van der Torre G. Pigozzi Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective published pages: 2930 - 2993, ISSN: 2055-3714, DOI:	IfCoLog Journal of Logics and their Applications Volume 4 (9)	2019-07-30
2016	Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio Towards legal compliance by correlating Standards and Laws with a semi-automated methodology published pages: , ISSN: , DOI:	Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC). (2016). 10	2019-07-30
2016	Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani Sequence Semantics for Normative Agents published pages: , ISSN: , DOI:	In Principles and Practice of Multi-Agent Systems conference agent-based modeling programming (PRIMA 2016), 2016.	2019-07-30
2017	Livio Robaldo, Xin Sun Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation published pages: 2471-2503, ISSN: 0955-792X, DOI: 10.1093/logcom/exx009	Journal of Logic and Computation 27/8	2019-07-30
2017	Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato The European Taxonomy Syllabus: AÂ multi-lingual, multi-level ontology framework to untangle the web of EuropeanÂ legal terminology published pages: 325-375, ISSN: 1570-5838, DOI: 10.3233/AO-170174	Applied Ontology 11/4	2019-07-30
2016	Robaldo, Livio; Sun, Xin Reified Input/Output logic - a position paper published pages: , ISSN: , DOI:	proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016). (2016). 11	2019-07-30
2016	Xavier Parent Leendert van der Torre Diego Agustin Ambrossio Cumulative Aggregation published pages: , ISSN: , DOI:	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.	2019-07-30
2017	C. Dodaro W. Faber N. Leone G. Amendola, F. Ricca On the Computation of Paracoherent Answer Sets published pages: , ISSN: , DOI:	In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017.	2019-07-30
2017	J. Dauphin, M. Cramer ASPIC-END: Structured Argumentation with Explanations and Natural Deduction published pages: , ISSN: , DOI:	In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017.	2019-07-30
2017	Cardellino, Cristian; Teruel, Milagro; Alemany, Laura,; Villata, Serena Learning Slowly To Learn Better: Curriculum Learning for Legal Ontology Population published pages: , ISSN: , DOI:	In Proc. of the 30th Florida Artificial Intelligence Research Society (FLAIRS), 2017. 5	2019-07-30
2018	E. Cabrio S. Tonelli S. Villata S. Menini Never Retreat, Never Retract: Argumentation Analysis for Political Speeches published pages: , ISSN: , DOI:	In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-18)., 2018.	2019-07-30
2017	K. Satoh R. Arisaka, L. van der Torre Abstract Agent Argumentation (Triple-A) published pages: , ISSN: , DOI:	In The paper has been presented on MIREL workshop at ICAIL. It will be resubmitted to AICOL series., 2017.	2019-07-30
2015	Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Muthuri, Robert; Santos, Cristiana Combining Input/Output logic and Rei cation for representing real-world obligations published pages: , ISSN: , DOI:	Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015). (2015). 16	2019-07-30
2016	Serena Villata Williams Rizzi Guido Governatori Mauro Dragoni Combining NLP Approaches for Rule Extraction from Legal Documents published pages: , ISSN: , DOI:	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	2019-07-30
2017	Cristian Cardellino, Milagro Teruel, Laura Alonso Alemany, Serena Villata Legal NERC with ontologies, Wikipedia and curriculum learning published pages: 254-259, ISSN: , DOI: 10.18653/v1/E17-2041	Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers	2019-07-30
2017	M. Caracciolo A. Marzullo C. Stamile F. Calimeri BioHIPI: Biomedical Hadoop Image Processing Interface published pages: , ISSN: , DOI:	In Proc. of the Third International Conference on Machine Learning, Optimization, and Big Data - MOD 2017, 2017.	2019-07-30
2017	C. Stamile L. Surace F. Calimeri A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) published pages: , ISSN: , DOI:	In Proc. of the IEEE Congress on Evolutionary Computation (CEC 2017), 2017.	2019-07-30
2017	D. FuscÃ S. Germano S. Perri J. Zangari F. Calimeri Boosting the Development of ASP-Based Applications in Mobile and General Scenarios published pages: , ISSN: , DOI:	In Proc. of the Conference of the Italian Association for Artificial Intelligence (AI*IA 2016), 2017.	2019-07-30
2017	MatÃas Menni The construction of Ï€0 in Axiomatic Cohesion published pages: , ISSN: 1512-0139, DOI: 10.1515/tmj-2017-0108	Tbilisi Mathematical Journal 10/3	2019-07-30
2017	Cardellino, Cristian; Teruel, Milagro; Alonso Alemany, Laura; Villata, Serena A Low-cost, High-coverage Legal Named Entity Recognizer, Classifier and Linker published pages: , ISSN: , DOI:	https://hal.archives-ouvertes.fr/hal-01541446 3	2019-07-30
2016	Kang Xu Beishui Liao Zhe Yu An Empirical Comparison of Argumentation Formalisms published pages: , ISSN: , DOI:	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.	2019-07-30
2017	Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Simari, Matthias Thimm, Serena Villata Towards Artificial Argumentation published pages: 25, ISSN: 0738-4602, DOI: 10.1609/aimag.v38i3.2704	AI Magazine 38/3	2019-07-30
2017	B. Liao A. Malerba A. Rotolo A. Tettamanzi L. van der Torre S. Villata C. da Costa Pereira Handling Norms in Multi-agent Systems by Means of Formal Argumentation published pages: , ISSN: 2055-3714, DOI:	IfCoLog Journal of Logics and their Applications Volume 4 (9)	2019-07-30
2016	GUIDO GOVERNATORI, FRANCESCO OLIVIERI, SIMONE SCANNAPIECO, ANTONINO ROTOLO, MATTEO CRISTANI The rationale behind the concept of goal published pages: 296-324, ISSN: 1471-0684, DOI: 10.1017/s1471068416000053	Theory and Practice of Logic Programming 16/03	2019-07-30
2017	Maximiliano C.D. BudÃ¡n, Maria Laura Cobo, Diego C. Martinez, Guillermo R. Simari Bipolarity in temporal argumentation frameworks published pages: 1-22, ISSN: 0888-613X, DOI: 10.1016/j.ijar.2017.01.013	International Journal of Approximate Reasoning 84	2019-07-30
2017	Erica Calardo, Antonino Rotolo Quantification in Some Non-normal Modal Logics published pages: 541-576, ISSN: 0022-3611, DOI: 10.1007/s10992-016-9410-1	Journal of Philosophical Logic 46/5	2019-07-30
2016	Luigi Di Caro Livio Robaldo Guido Boella Kolawole J. Adebayo Textual Inference with Tree-structured LSTMs published pages: , ISSN: , DOI:	In Proceedings of the 28th Benelux conference on Artificial Intelligence., 2016.	2019-07-30
2016	Luigi Di Caro Giovanni Siragusa Laying bare EuroVoc by means of Latent Dirichlet Allocation published pages: , ISSN: , DOI:	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.	2019-07-30
2017	B. Liao A. Malerba A. Rotolo A. Tettamanzi L. van der Torre S. Villata C. da Costa Pereira Handling Norms in Multi-agent Systems by Means of Formal Argumentation published pages: , ISSN: 2055-3714, DOI:	IfCoLog Journal of Logics and their Applications Volume 4 (9)	2019-07-30
2017	A. Herzig Y. Li Y. Wang R. Fervari Strategically Knowing How published pages: , ISSN: , DOI:		2019-07-30
2017	C. Da Costa Pereira B. Liao A. Malerba A. Tettamanzi L. van der Torre A. Rotolo Combining Fuzzy Logic and Formal Argumentation for Legal Interpretation published pages: , ISSN: , DOI:	In Proc. of the 26th International Joint Conference on Artificial Intelligence (IJCAI2017), 2017.	2019-07-30
2017	C. Stamile L. Surace F. Calimeri A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT) published pages: , ISSN: , DOI:	In Proc. of the IEEE Congress on Evolutionary Computation (CEC 2017), 2017.	2019-07-30
2017	C. Stamile L. Surace F. Calimeri S-Rep Model for Fundus Image Analysis published pages: , ISSN: , DOI:	In Proc. of the 17th IEEE International Symposium on Signal Processing and Information Technology (ISSPIT 2017), 2017.	2019-07-30

Are you the coordinator (or a participant) of this project? Plaese send me more information about the "MIREL" project.

For instance: the website url (it has not provided by EU-opendata yet), the logo, a more detailed description of the project (in plain text as a rtf file or a word file), some pictures (as picture files, not embedded into any word file), twitter account, linkedin page, etc.

Send me an email (fabio@fabiodisconzi.com) and I put them in your project's page as son as possible.

Thanks. And then put a link of this page into your project's website.

The information about "MIREL" are provided by the European Opendata Portal: CORDIS opendata.