Opendata, web and dolomites

MIREL SIGNED

MIREL - MIning and REasoning with Legal texts

Total Cost €

0

EC-Contrib. €

0

Partnership

0

Views

0

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 LU (ESCH-SUR-ALZETTE) coordinator 405˙000.00
2    ALMA MATER STUDIORUM - UNIVERSITA DI BOLOGNA IT (BOLOGNA) participant 198˙000.00
3    INSTITUT NATIONAL DE RECHERCHE ENINFORMATIQUE ET AUTOMATIQUE FR (LE CHESNAY CEDEX) participant 193˙500.00
4    UNIVERSITY OF HUDDERSFIELD UK (HUDDERSFIELD) participant 180˙000.00
5    UNIVERSITA DEGLI STUDI DI TORINO IT (TORINO) participant 81˙000.00
6    DLVSYSTEM SRL IT (RENDE CS) participant 72˙000.00
7    APIS HRISTOVICH EOOD BG (SOFIA) participant 22˙500.00
8    NOMOTIKA SRL IT (RIVOLI) participant 0.00
9    BOARD OF TRUSTEES OF THE LELAND STANFORD JUNIOR UNIVERSITY US (STANFORD) partner 0.00
10    INTER-UNIVERSITY RESEARCH INSTITUTECORPORATION RESEARCH ORGANIZATIONOF INFORMATION AND SYSTEMS JP (TOKYO) partner 0.00
11    NATIONAL ICT AUSTRALIA LIMITED AU (EVELEIGH) partner 0.00
12    UNIVERSIDAD NACIONAL DE CORDOBA AR (CORDOBA) partner 0.00
13    UNIVERSIDAD NACIONAL DE LA PLATA AR (LA PLATA) partner 0.00
14    UNIVERSIDAD NACIONAL DEL SUR AR (BAHIA BLANCA) partner 0.00
15    UNIVERSITY OF CAPE TOWN ZA (RONDEBOSCH) partner 0.00
16    Zhejiang University 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

year authors and title journal last update
List of publications.
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.

More projects from the same programme (H2020-EU.1.3.3.)

CONMECH (2019)

Nonsmooth Contact Dynamics

Read More  

ENDORSE (2018)

Safe, Efficient and Integrated Indoor Robotic Fleet for Logistic Applications in Healthcare and Commercial Spaces

Read More  

VIDEC (2020)

Visualizing Death Inducing Protein Complexes

Read More