CORDIS - Forschungsergebnisse der EU
CORDIS

MIREL - MIning and REasoning with Legal texts

Leistungen

Report and tutorial materials (logical models of legal interpretation)

Report and tutorial materials (also in the form of video-lectures and practicals) of logical models of legal interpretation.

Final exploitation plan
2nd report on Global Evaluation

Second report on Global Evaluation

Technical documents (mining and reasoning techniques)

Technical documents: mining and reasoning techniques.

1st report on dissemination and exploitation

First report on dissemination & upscaling support activities.

Report on ontologies for normative reasoning

Report on MIREL computational ontologies for normative reasoning.

3rd report on dissemination and exploitation

Third report on dissemination & upscaling support activities

1st report on decision making and compliance

First interim report on computational solutions for decision making and compliance.

Preliminary exploitation plan

Preliminary exploitation plan.

Report (knowledge base techniques for norm mining)

Report on the outcomes of the research effort on the use of knowledge base techniques to support norm mining, and on resulting joint publications

2nd report on decision making and compliance

Second interim report on computational solutions for decision making and compliance

Reasoning tools for decision making and compliance

Collection of reasoning tools for decision making and compliance.

1st report on Global Evaluation

First report on Global Evaluation.

Report and tutorial materials (legal KRR)

Report and tutorial materials on research perspectives for theoretical models of legal knowledge representation and reasoning.

2nd report on dissemination and exploitation

Second report on dissemination & upscaling support activities.

4th report on dissemination and exploitation

Fourth report on dissemination & upscaling support activities

Report and tutorial materials (representation of legal knowledge)

Report and tutorial materials on new formal techniques for modelling the representation of embedded legal knowledge in legal texts, concept holism in the legal domain.

Final report on NLP tools

Final report on NLP tools for processing legal text and developed corpora

Collection of NLP tools

Collection of state-of-the-art NLP tools for processing of legal text.

Ontology-based access to normative knowledge

Ontology-based access to normative knowledge.

Mining and reasoning techniques

Multilingual corpora of norms: mining and reasoning techniques

Usage scenarios and prototypes

Usage scenarios and designed prototypes for the 3 main usages.

Reasoning algorithms for normative reasoning

Massively parallel reasoning algorithms for normative reasoning

Ontology population

Ontology population: connecting legal text to ontology concepts and instances.

Licenses and contracts

Licenses and contracts: mining and reasoning techniques.

Veröffentlichungen

Neural Reasoning For Legal Text Understanding

Autoren: Guido Boella Adebayo Kolawole John, Luigi Di Caro
Veröffentlicht in: In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems, JURIX 2016, 2016
Herausgeber: Springer

An approach to information retrieval and question answering in the legal domain

Autoren: Luigi Di Caro, Guido Boella, Adebayo Kolawole John, Cesare Bartolini
Veröffentlicht in: In Proceedings of the 10th International Workshop on Juris-informatics (JURISIN 2016), 2016., 2016
Herausgeber: JURISIN WOrkshop

Combining Input/Output logic and Rei cation for representing real-world obligations

Autoren: Robaldo, Livio; Humphreys, Llio; Sun, Xin; Cupi, Loredana; Muthuri, Robert; Santos, Cristiana
Veröffentlicht in: Proceedings of the 9th International Workshop on Juris-informatic (JURISIN 2015). (2015)., Ausgabe 16, 2015
Herausgeber: Springer

Towards legal compliance by correlating Standards and Laws with a semi-automated methodology

Autoren: Bartolini, Cesare; Lenzini, Gabriele; Robaldo, Livio
Veröffentlicht in: Proceedings of the 28 Benelux Conference on Artificial Intelligence (BNAIC). (2016)., Ausgabe 10, 2016
Herausgeber: Springer

Combining NLP Approaches for Rule Extraction from Legal Documents

Autoren: Serena Villata Williams Rizzi Guido Governatori Mauro Dragoni
Veröffentlicht 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
Herausgeber: IOS Press

A Text Similarity Approach for Automated Transposition Detection of European Union Directives

Autoren: Luigi Di Caro Rohan Nanda, Guido Boella
Veröffentlicht in: In Proceedings of the 29th International Conference on Legal Knowledge and Information Systems (JURIX2016), 2016, 2016
Herausgeber: Springer

An Empirical Comparison of Argumentation Formalisms

Autoren: Kang Xu Beishui Liao Zhe Yu
Veröffentlicht 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
Herausgeber: IOS Press

Textual Inference with Tree-structured LSTMs

Autoren: Luigi Di Caro Livio Robaldo Guido Boella Kolawole J. Adebayo
Veröffentlicht in: In Proceedings of the 28th Benelux conference on Artificial Intelligence., 2016., 2016
Herausgeber: Springer

Laying bare EuroVoc by means of Latent Dirichlet Allocation

Autoren: Luigi Di Caro Giovanni Siragusa
Veröffentlicht 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
Herausgeber: IOS Press

Norm Creation in Proposition Control Games

Autoren: Xin Sun, Livio Robaldo
Veröffentlicht in: In Proceedings of the Chinese Conference on Logic and Argumentation (CLAR2016), 2016., 2016
Herausgeber: CEUR Workshop Proceedings (CEUR-WS.org)

Cumulative Aggregation

Autoren: Xavier Parent Leendert van der Torre Diego Agustin Ambrossio
Veröffentlicht 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
Herausgeber: IOS Press

Legal Tech Start-ups: State of the Art and Trends

Autoren: Valeria de Paiva, Luigi di Caro, Sabrina Praduroux
Veröffentlicht 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
Herausgeber: IOS Press

Reified Input/Output logic - a position paper

Autoren: Robaldo, Livio; Sun, Xin
Veröffentlicht in: proceedings of Workshop on Artificial Intelligence for Justice (AI4J), collocated at the 22nd European Conference on Artificial Intelligence (ECAI 2016). (2016)., Ausgabe 11, 2016
Herausgeber: AI4J Workshop

On Revision of Partially Specified Convex Probabilistic Belief Bases

Autoren: Gavin Rens, Thomas Meyer, Giovanni Casini
Veröffentlicht in: In European Conference on Artificial Intelligence (ECAI2016), 2016., 2016
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-672-9-921

A Framework for Easing the Development of Applications Embedding Answer Set Programming

Autoren: Stefano Germano Jessica Zangari Marco Anastasio Francesco Calimeri Simona Perri Davide Fuscà
Veröffentlicht in: In Proc. of the 18th International Symposium on Principles and Practice of Declarative Programming (PPDP '16), 2016., 2016
Herausgeber: ACM Digital Library

Semantic Business Process Regulatory Compliance Checking using LegalRuleML

Autoren: Guido Governatori, Mustafa Hashmi, Ho-Pun Lam, Serena Villata, Monica Palmirani
Veröffentlicht in: Proceedings of the 20th International Conference on Knowledge Engineering and Knowledge Management, EKAW 2016, 2016, Seite(n) 746-761
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-49004-5_48

Legal NERC with ontologies, Wikipedia and curriculum learning

Autoren: Cristian Cardellino, Milagro Teruel, Laura Alonso Alemany, Serena Villata
Veröffentlicht in: Proceedings of the 15th Conference of the European Chapter of the Association for Computational Linguistics: Volume 2, Short Papers, 2017, Seite(n) 254-259
Herausgeber: Association for Computational Linguistics
DOI: 10.18653/v1/E17-2041

Learning Slowly To Learn Better: Curriculum Learning for Legal Ontology Population

Autoren: Cardellino, Cristian; Teruel, Milagro; Alemany, Laura,; Villata, Serena
Veröffentlicht in: In Proc. of the 30th Florida Artificial Intelligence Research Society (FLAIRS), 2017., Ausgabe 5, 2017
Herausgeber: AAAI Press

On the Computation of Paracoherent Answer Sets

Autoren: C. Dodaro W. Faber N. Leone G. Amendola, F. Ricca
Veröffentlicht in: In Proc. of the 31st AAAI Conference on Artificial Intelligence (AAAI-17), 2017., 2017
Herausgeber: AAAI Press

Strategically knowing how

Autoren: Raul Fervari, Andreas Herzig, Yanjun Li, Yanjing Wang
Veröffentlicht in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Seite(n) 1031-1038, ISBN 9780-999241103
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/143

A low-cost, high-coverage legal named entity recognizer, classifier and linker

Autoren: Cristian Cardellino, Milagro Teruel, Laura Alonso Alemany, Serena Villata
Veröffentlicht in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Seite(n) 9-18, ISBN 9781-450348911
Herausgeber: ACM Press
DOI: 10.1145/3086512.3086514

The pragmatic oddity in norm-based deontic logics

Autoren: Xavier Parent, Leendert van der Torre
Veröffentlicht in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Seite(n) 169-178, ISBN 9781-450348911
Herausgeber: ACM Press
DOI: 10.1145/3086512.3086529

A unifying similarity measure for automated identification of national implementations of european union directives

Autoren: Rohan Nanda, Livio Robaldo, Michele Romano, Luigi Di Caro, Guido Boella, Hristo Konstantinov, Tenyo Tyankov, Daniel Traykov, Hristo Hristov, Francesco Costamagna, Llio Humphreys
Veröffentlicht in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Seite(n) 149-158, ISBN 9781-450348911
Herausgeber: ACM Press
DOI: 10.1145/3086512.3086527

Changes to temporary norms

Autoren: Matteo Cristani, Francesco Olivieri, Antonino Rotolo
Veröffentlicht in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Seite(n) 39-48, ISBN 9781-450348911
Herausgeber: ACM Press
DOI: 10.1145/3086512.3086517

Belief Change in a Preferential Non-monotonic Framework

Autoren: Giovanni Casini, Thomas Meyer
Veröffentlicht in: Proceedings of the Twenty-Sixth International Joint Conference on Artificial Intelligence, 2017, Seite(n) 929-935, ISBN 9780-999241103
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2017/129

Extended Explanatory Argumentation Frameworks

Autoren: J. Dauphin, M. Cramer
Veröffentlicht in: In Proc. of the 2017 International Workshop on Theory and Applications of Formal Argument., 2017., 2017
Herausgeber: ACM

Temporalised Belief Revision in the Law

Autoren: D. Martinez A. Rotolo G. Governatori L. Tamargo
Veröffentlicht in: In Proc. of the 30th international conference on Legal Knowledge and Information Systems (JURIX2017)., 2017., 2017, Seite(n) 49 - 58, ISBN 978-1-61499-838-9
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-838-9-49

Optic Disc Detection Using Fine Tuned Convolutional Neural Networks

Autoren: Francesco Calimeri, Aldo Marzullo, Claudio Stamile, Giorgio Terracina
Veröffentlicht in: 2016 12th International Conference on Signal-Image Technology & Internet-Based Systems (SITIS), 2016, Seite(n) 69-75, ISBN 978-1-5090-5698-9
Herausgeber: IEEE
DOI: 10.1109/sitis.2016.20

Blood Vessel Segmentation using Hypercube NeuroEvolution of Augmenting Topologies (HyperNeat)

Autoren: A. Marzullo C. Stamile G. Terracina F. Calimeri
Veröffentlicht in: In Proc. of 27th Italian Workshop on Neural Networks (WIRN 2017), 2017., 2017, Seite(n) 173-183, ISBN 978-3-319-95095-2
Herausgeber: Springer

S-rep model for fundus image analysis

Autoren: Francesco Calimeri, Claudio Starnile, Luca Surace
Veröffentlicht in: 2017 IEEE International Symposium on Signal Processing and Information Technology (ISSPIT), 2017, Seite(n) 078-082, ISBN 978-1-5386-4662-5
Herausgeber: IEEE
DOI: 10.1109/isspit.2017.8388623

Textual Inference with Deep Learning Technique

Autoren: Adebayo, Kolawole; Di Caro, Luigi; Robaldo, Livio; Boella, Guido
Veröffentlicht in: Proc. of the 28th Annual Benelux Conference on Artificial Intelligence (BNAIC2016)., Ausgabe 9, 2017, Seite(n) 17-31, ISBN 978-3-319-67468-1
Herausgeber: Springer

A Semantic Perspective on Belief Change in a Preferential Non-Monotonic Framework

Autoren: Casini, Giovanni; Ferme, Eduardo; Meyer, Thomas; Varzinczak, Ivan
Veröffentlicht in: Proceedings of the Sixteenth International Conference on Principles of Knowledge Representation and Reasoning (KR 2018) (pp. 220-229). Palo Alto, California, USA: AAAI Press (2018)., 2018, Seite(n) 220-229, ISBN 978-1-57735-803-9
Herausgeber: AAAI

Prioritized Norms and Defaults in Formal Argumentation

Autoren: Liao , Beishui; Oren , Nir; Van Der Torre , Leendert; Villata , Serena
Veröffentlicht in: "Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016), Jul 2016, Bayreuth, Germany. College Publications, 2016, Proceedings of the 13th International Conference on Deontic logic and Normative Systems (DEON 2016). 〈http://www.neu.uni-bayreuth.de/de/Uni_Bayreuth/Fakultaeten/5_Kulturwissenschaft/Philosophie/deon2016/en/index.html〉", Ausgabe 9, 2016, ISBN 978-1-84890-215-2
Herausgeber: College Publications

Combining fuzzy logic and formal argumentation for legal interpretation

Autoren: Célia da Costa Pereira, Andrea G. B. Tettamanzi, Beishui Liao, Alessandra Malerba, Antonino Rotolo, Leendert van der Torre
Veröffentlicht in: Proceedings of the 16th edition of the International Conference on Articial Intelligence and Law - ICAIL '17, 2017, Seite(n) 49-58, ISBN 9781-450348911
Herausgeber: ACM Press
DOI: 10.1145/3086512.3086532

Concept Recognition in European and National Law

Autoren: Nanda, Rohan; Siragusa, Giovanni; Di caro, Luigi; Theobald, Martin; Boella, Guido; Robaldo, Livio; Costamagna, Francesco
Veröffentlicht in: proc. of The 30th international conference on Legal Knowledge and Information Systems (JURIX 2017). (2017)., Ausgabe 8, 2017, Seite(n) 193-198, ISBN 978-1-61499-838-9
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-838-9-193

A framework for easing the development of applications embedding answer set programming

Autoren: Davide Fuscà, Stefano Germano, Jessica Zangari, Marco Anastasio, Francesco Calimeri, Simona Perri
Veröffentlicht in: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming - PPDP '16, 2016, Seite(n) 38-49, ISBN 9781-450341486
Herausgeber: ACM Press
DOI: 10.1145/2967973.2968594

A Dyadic Deontic Logic in HOL

Autoren: Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
Veröffentlicht in: In J., Broersen, C., Condoravdi, S., Nair, & G., Pigozzi (Eds.), Deontic Logic and Normative Systems --- 14th International Conference, DEON 2018, Utrecht, The Netherlands, 3-6 July, 2018 (pp. 33-50). College Publications (2018)., Ausgabe 4, 2018, ISBN 978-1-84890-278-7
Herausgeber: College Publications

Input/output logics with a consistency check

Autoren: Parent, Xavier; van der Torre, Leon
Veröffentlicht in: In G., Pigozzi, J., Broersen (Ed.), C., Condoravdi (Ed.), & S., Nair (Ed.), Deontic Logic and Normative Systems (DEON 2018). London, UK: College Publications (2018)., 2018, ISBN 978-1-84890-278-7
Herausgeber: College Publications

Defeasible Entailment: from Rational Closure to Lexicographic Closure and Beyond

Autoren: Casini, Giovanni; Meyer, Thomas; Varzinczak, Ivan
Veröffentlicht in: Proceeding of the 17th International Workshop on Non-Monotonic Reasoning (NMR 2018) (pp. 109-118). (2018)., 2018
Herausgeber: NMR Workshop

A Framework to Reason about the Legal Compliance of Security Standards

Autoren: Bartolini, Cesare; Giurgiu, Andra; Lenzini, Gabriele; Robaldo, Livio
Veröffentlicht in: Proceedings of the Tenth International Workshop on Juris-informatics (JURISIN). (2016)., Ausgabe 1, 2016
Herausgeber: JURISIN Workshop

Legal Ontologies and How to Choose Them: the InvestigatiOnt Tool

Autoren: Valentina Leone, Luigi Di Caro, Serena Villata
Veröffentlicht in: ISWC 2018 Posters & Demonstrations, Industry and Blue Sky Ideas Tracks, 2018
Herausgeber: CEUR

On the Formal Structure of Rules in Conflict of Laws

Autoren: Réka Markovich
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 322, 2019, Seite(n) 199-204, ISBN 978-1-64368-048-4
Herausgeber: IOS Press
DOI: 10.3233/faia190325

Representation Equalences among Argumentation Frameworks

Autoren: Beishui Liao, Leon van der Torre
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 305, 2018, Seite(n) 21-28, ISBN 978-1-61499-905-8
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-906-5-21

Legal Representation and Reasoning in Practice: A Critical Comparison

Autoren: Sotiris Batsakis, George Baryannis, Guido Governatori, Ilias Tachmazidis, Grigoris Antoniou
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 313, 2019, Seite(n) 31-40, ISBN 9781-614999348
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-935-5-31

Abstract and Concrete Decision Graphs for Choosing Extensions of Argumentation Frameworks

Autoren: Jérémie Dauphin, Marcos Cramer, Leendert Van Der Torre
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 305, 2019, Seite(n) 437-444, ISBN 978-1-61499-905-8
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-906-5-437

Simple Conditionals with Constrained Right Weakening

Autoren: Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 1632-1638, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/226

Never Retreat, Never Retract: Argumentation Analysis for Political Speeches

Autoren: Menini, Stefano; Cabrio, Elena; Tonelli, Sara; Villata, Serena
Veröffentlicht in: In Proceedings of the 32nd AAAI Conference on Artificial Intelligence (AAAI-18), 2018, Seite(n) 4889-4896, ISBN 978-1-57735-800-8
Herausgeber: AAAI

A tensor-based mutation operator for Neuroevolution of Augmenting Topologies (NEAT)

Autoren: Aldo Marzullo, Claudio Stamile, Giorgio Terracina, Francesco Calimeri, Sabine Van Huffel
Veröffentlicht in: 2017 IEEE Congress on Evolutionary Computation (CEC), 2017, Seite(n) 681-687, ISBN 978-1-5090-4601-0
Herausgeber: IEEE
DOI: 10.1109/cec.2017.7969376

Dialogues on moral theories

Autoren: Francesco Olivieri, Regis Riveret, Antonino Rotolo, Guido Governatori, Serena Villata
Veröffentlicht in: 2018
Herausgeber: College Publications

Preference in Abstract Argumentation

Autoren: Kaci, Souhila; van der Torre, Leon; Villata, Serena
Veröffentlicht in: Seventh International Conference on Computational Models of Argument, 2018
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-906-5-405

PrOnto: Privacy Ontology for Legal Compliance

Autoren: Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo
Veröffentlicht in: Proceedings of the 18th European Conference on Digital Government ECDG 2018, 2018
Herausgeber: Academic Conferences and Publishing International Ltd

Legal Ontology for Modelling GDPR Concepts and Norms

Autoren: Monica Palmirani; Michele Martoni; Arianna Rossi; Cesare Bartolini; Livio Robaldo
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 313, 2018, Seite(n) 91-100
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-935-5-91

PrOnto Ontology Refinement Through Open Knowledge Extraction

Autoren: Palmirani Monica; Bincoletto Giorgia; Leone Valentina; Sapienza Salvatore; Sovrano Francesco
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 322, 2019
Herausgeber: IOS Press
DOI: 10.3233/FAIA190326

Interpretation across legal systems

Autoren: Malerba, Alessandra; Rotolo, Antonino; Governatori, Guido
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 294, 2016
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-726-9-83

Arbitrary Ranking of Defeasible Subsumption

Autoren: Casini, Giovanni; Harrison, Michael; Meyer, Thomas; Swan, Reid
Veröffentlicht in: Proceedings of the 32nd International Workshop on Description Logics. CEUR (2019)., 2019
Herausgeber: CEUR Workshop Proceedings

Dealing with Qualitative and Quantitative Features in Legal Domains

Autoren: Budán, Maximiliano C. D.; Cobo, María Laura; Martínez, Diego I.; Rotolo, Antonino
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe vol. 313, 2018
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-935-5-176

Modelling legal knowledge for GDPR compliance checking

Autoren: Palmirani M.; Governatori G.
Veröffentlicht in: Frontiers in Artificial Intelligence and Applications, Ausgabe 313, 2018
Herausgeber: IOS Press
DOI: 10.3233/978-1-61499-935-5-101

Sequence Semantics for Norms and Obligations

Autoren: Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo
Veröffentlicht in: Proceedings of the 13th International Conference, DEON 2016, 2016
Herausgeber: College Publications

Akoma Ntoso - Flexibility and Customization to Meet Different Legal Traditions

Autoren: Fabio Vitali, Monica Palmirani
Veröffentlicht in: Proceedings of the Symposium on Markup Vocabulary Customization, 2019, ISBN 978-1-935958-19-2
Herausgeber: Mulberry Technologies, Inc.
DOI: 10.4242/BalisageVol24.Palmirani01

DISPUTool -- A tool for the Argumentative Analysis of Political Debates

Autoren: Shohreh Haddadan, Elena Cabrio, Serena Villata
Veröffentlicht in: Proceedings of the Twenty-Eighth International Joint Conference on Artificial Intelligence, 2019, Seite(n) 6524-6526, ISBN 978-0-9992411-4-1
Herausgeber: International Joint Conferences on Artificial Intelligence Organization
DOI: 10.24963/ijcai.2019/944

AI to Facilitate Legal Analysis in the PESTLE Context

Autoren: Mauro Vallati, Alessia Grassi
Veröffentlicht in: Proceedings of the EMerging Technology conference (EMiT) 2019, 2019
Herausgeber: EMiT/University of Huddersfield/High End Compute Ltd/University of Manchester

Modelling Dialogues for Optimal Legislation

Autoren: Guido Governatori, Antonino Rotolo, Régis Riveret, Serena Villata
Veröffentlicht in: Proceedings of the Seventeenth International Conference on Artificial Intelligence and Law - ICAIL '19, 2019, Seite(n) 229-233, ISBN 9781-450367547
Herausgeber: ACM Press
DOI: 10.1145/3322640.3326731

Convolutional Ladder Networks for Legal NERC and the Impact of Unsupervised Data in Better Generalizations

Autoren: Cristian Cardellino, Laura Alonso Alemany, Milagro Teruel, Serena Villata, Santiago Marro
Veröffentlicht in: Proceedings of The Thirty-Second International Flairs Conference, 2019
Herausgeber: AAAI Publications

Yes, we can! Mining Arguments in 50 Years of US Presidential Campaign Debates

Autoren: Shohreh Haddadan, Elena Cabrio, Serena Villata
Veröffentlicht in: Proceedings of the 57th Annual Meeting of the Association for Computational Linguistics, 2019, Seite(n) 4684-4690
Herausgeber: Association for Computational Linguistics
DOI: 10.18653/v1/p19-1463

Different Flavors of Attention Networks for Argument Mining

Autoren: Johanna Frau, Milagro Teruel, Laura Alonso Alemany, Serena Villata
Veröffentlicht in: Proceedings of The Thirty-Second International Flairs Conference, 2019
Herausgeber: AAAI Publications

A dynamic approach for combining abstract argumentation semantics

Autoren: Jérémie Dauphin, Marcos Cramer, Leendert van der Torre
Veröffentlicht in: Dynamics, Uncertainty and Reasoning - The Second Chinese Conference on Logic and Argumentation, 2019
Herausgeber: Springer

Increasing Argument Annotation Reproducibility by Using Inter-annotator Agreement to Improve Guidelines

Autoren: Milagro Teruel, Cristian Cardellino, Fernando Cardellino, Laura Alonso Alemany, Serena Villata
Veröffentlicht in: Proceedings of the Eleventh International Conference on Language Resources and Evaluation (LREC 2018), 2019, ISBN 979-10-95546-00-9
Herausgeber: European Language Resources Association (ELRA)

Quantification in Some Non-normal Modal Logics

Autoren: Erica Calardo, Antonino Rotolo
Veröffentlicht in: Journal of Philosophical Logic, Ausgabe 46/5, 2017, Seite(n) 541-576, ISSN 0022-3611
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10992-016-9410-1

The rationale behind the concept of goal

Autoren: GUIDO GOVERNATORI, FRANCESCO OLIVIERI, SIMONE SCANNAPIECO, ANTONINO ROTOLO, MATTEO CRISTANI
Veröffentlicht in: Theory and Practice of Logic Programming, Ausgabe 16/03, 2016, Seite(n) 296-324, ISSN 1471-0684
Herausgeber: Cambridge University Press
DOI: 10.1017/s1471068416000053

An approach to decision making based on dynamic argumentation systems

Autoren: Edgardo Ferretti, Luciano H. Tamargo, Alejandro J. García, Marcelo L. Errecalde, Guillermo R. Simari
Veröffentlicht in: Artificial Intelligence, Ausgabe 242, 2017, Seite(n) 107-131, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2016.10.004

Eunomos, a legal document and knowledge management system for the Web to provide relevant, reliable and up-to-date information on the law

Autoren: Guido Boella, Luigi Di Caro, Llio Humphreys, Livio Robaldo, Piercarlo Rossi, Leendert van der Torre
Veröffentlicht in: Artificial Intelligence and Law, Ausgabe 24/3, 2016, Seite(n) 245-283, ISSN 0924-8463
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10506-016-9184-3

An approach to characterize graded entailment of arguments through a label-based framework

Autoren: Maximiliano C.D. Budán, Gerardo I. Simari, Ignacio Viglizzo, Guillermo R. Simari
Veröffentlicht in: International Journal of Approximate Reasoning, Ausgabe 82, 2017, Seite(n) 242-269, ISSN 0888-613X
Herausgeber: Elsevier BV
DOI: 10.1016/j.ijar.2016.12.016

The European Taxonomy Syllabus: A multi-lingual, multi-level ontology framework to untangle the web of European legal terminology

Autoren: Gianmaria Ajani, Guido Boella, Luigi di Caro, Livio Robaldo, Llio Humphreys, Sabrina Praduroux, Piercarlo Rossi, Andrea Violato
Veröffentlicht in: Applied Ontology, Ausgabe 11/4, 2017, Seite(n) 325-375, ISSN 1570-5838
Herausgeber: IOS Press
DOI: 10.3233/AO-170174

Reified Input/Output logic: Combining Input/Output logic and Reification to represent norms coming from existing legislation

Autoren: Livio Robaldo, Xin Sun
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 27/8, 2017, Seite(n) 2471-2503, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exx009

Bipolarity in temporal argumentation frameworks

Autoren: Maximiliano C.D. Budán, Maria Laura Cobo, Diego C. Martinez, Guillermo R. Simari
Veröffentlicht in: International Journal of Approximate Reasoning, Ausgabe 84, 2017, Seite(n) 1-22, ISSN 0888-613X
Herausgeber: Elsevier BV
DOI: 10.1016/j.ijar.2017.01.013

Defeasible argumentation over relational databases

Autoren: Cristhian Ariel David Deagustini, Santiago Emanuel Fulladoza Dalibón, Sebastián Gottifredi, Marcelo Alejandro Falappa, Carlos Iván Chesñevar, Guillermo Ricardo Simari
Veröffentlicht in: Argument & Computation, Ausgabe 8/1, 2017, Seite(n) 35-59, ISSN 1946-2166
Herausgeber: Taylor & Francis
DOI: 10.3233/AAC-170017

Towards Artificial Argumentation

Autoren: Katie Atkinson, Pietro Baroni, Massimiliano Giacomin, Anthony Hunter, Henry Prakken, Chris Reed, Guillermo Simari, Matthias Thimm, Serena Villata
Veröffentlicht in: AI Magazine, Ausgabe 38/3, 2017, Seite(n) 25, ISSN 0738-4602
Herausgeber: American Association for Artificial Intelligence (AAAI) Press
DOI: 10.1609/aimag.v38i3.2704

The construction of π0 in Axiomatic Cohesion

Autoren: Matías Menni
Veröffentlicht in: Tbilisi Mathematical Journal, Ausgabe 10/3, 2017, ISSN 1512-0139
Herausgeber: DE GRUYTER OPEN
DOI: 10.1515/tmj-2017-0108

Handling Norms in Multi-agent Systems by Means of Formal Argumentation

Autoren: B. Liao A. Malerba A. Rotolo A. Tettamanzi L. van der Torre S. Villata C. da Costa Pereira
Veröffentlicht in: IfCoLog Journal of Logics and their Applications, Ausgabe Volume 4 (9), 2017, ISSN 2055-3714
Herausgeber: College Publications

Detachment in Normative Systems: Examples, inference Patterns, Properties

Autoren: Parent, Xavier; Van der Torre, Leon
Veröffentlicht in: IfCoLog Journal of Logics and their Applications, Ausgabe Volume 4 (9), 2017, Seite(n) 2995-3038, ISSN 2055-3714
Herausgeber: College Publications

Multiagent Deontic Logic and its Challenges from a Normative Systems Perspective

Autoren: L. van der Torre G. Pigozzi
Veröffentlicht in: IfCoLog Journal of Logics and their Applications, Ausgabe Volume 4 (9), 2017, Seite(n) 2930 - 2993, ISSN 2055-3714
Herausgeber: College Publications

A polynomial Time Subsumption Algorithm for Nominal Safe E L O ⊥ under Rational Closure

Autoren: Giovanni Casini, Umberto Straccia, Thomas Meyer
Veröffentlicht in: Information Sciences, 2018, ISSN 0020-0255
Herausgeber: Elsevier BV
DOI: 10.1016/j.ins.2018.09.037

First Steps towards Data-Driven Adversarial Deduplication

Autoren: Jose Paredes, Gerardo Simari, Maria Martinez, Marcelo Falappa
Veröffentlicht in: Information, Ausgabe 9/8, 2018, Seite(n) 189, ISSN 2078-2489
Herausgeber: Multidisciplinary Digital Publishing Institute (MDPI)
DOI: 10.3390/info9080189

Unsupervised and supervised text similarity systems for automated identification of national implementing measures of European directives

Autoren: Rohan Nanda, Giovanni Siragusa, Luigi Di Caro, Guido Boella, Lorenzo Grossio, Marco Gerbaudo, Francesco Costamagna
Veröffentlicht in: Artificial Intelligence and Law, Ausgabe 27/2, 2019, Seite(n) 199-225, ISSN 0924-8463
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10506-018-9236-y

Level \epsilon

Autoren: Francisco Marmolejo, Matías Menni
Veröffentlicht in: cahiers de topologie et géométrie différentielle catégoriques, Ausgabe vol. 60, n. 4, 2019, Seite(n) 450-477, ISSN 2681-2363
Herausgeber: Dunod

Monic skeleta, Boundaries, Aufhebung, and the meaning of `one-dimensionality'

Autoren: Matias Menni
Veröffentlicht in: Theory and Applications of Categories, Ausgabe vol. 34, n. 25, 2019, Seite(n) 714-735, ISSN 1201-561X
Herausgeber: R. Rosebrugh

Every cohesive topos is infinitesimally generated

Autoren: Matias Menni
Veröffentlicht in: cahiers de topologie et géométrie différentielle catégoriques, Ausgabe vol. 60, n. 1, 2019, Seite(n) 3-31, ISSN 1245-530X
Herausgeber: Dunod

The DAta Protection REgulation COmpliance Model

Autoren: Cesare Bartolini, Gabriele Lenzini, Livio Robaldo
Veröffentlicht in: IEEE Security & Privacy, Ausgabe 17/6, 2019, Seite(n) 37-45, ISSN 1540-7993
Herausgeber: IEEE Computer Society
DOI: 10.1109/msec.2019.2937756

Introduction to legal AI

Autoren: Livio Robaldo, Lendeert van der Torre
Veröffentlicht in: Journal of Applied Logics, Ausgabe vol. 6, n. 5, 2019, Seite(n) 711-714, ISSN 2631-9810
Herausgeber: College Publications

Similarity notions in bipolar abstract argumentation

Autoren: Paola Daniela Budán, Melisa Gisselle Escañuela Gonzalez, Maximiliano Celmo David Budán, Maria Vanina Martinez, Guillermo Ricardo Simari
Veröffentlicht in: Argument & Computation, 2019, Seite(n) 1-47, ISSN 1946-2166
Herausgeber: Taylor & Francis
DOI: 10.3233/aac-190479

A Structured Argumentation Framework for Modeling Debates in the Formal Sciences

Autoren: Marcos Cramer, Jérémie Dauphin
Veröffentlicht in: Journal for General Philosophy of Science, 2019, ISSN 0925-4560
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10838-019-09443-z

Formalizing GDPR Provisions in Reified I/O Logic: The DAPRECO Knowledge Base

Autoren: Livio Robaldo, Cesare Bartolini, Monica Palmirani, Arianna Rossi, Michele Martoni, Gabriele Lenzini
Veröffentlicht in: Journal of Logic, Language and Information, 2019, ISSN 0925-8531
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10849-019-09309-z

An axiomatic characterization of temporalised belief revision in the law

Autoren: Luciano H. Tamargo, Diego C. Martinez, Antonino Rotolo, Guido Governatori
Veröffentlicht in: Artificial Intelligence and Law, Ausgabe 27/4, 2019, Seite(n) 347-367, ISSN 0924-8463
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10506-019-09241-4

Sequence Semantics for Modelling Reason-based Preferences

Autoren: Erica Calardo, Guido Governatori, Antonino Rotolo
Veröffentlicht in: Fundamenta Informaticae, Ausgabe 158/1-3, 2018, Seite(n) 217-238, ISSN 0169-2968
Herausgeber: IOS Press
DOI: 10.3233/FI-2018-1647

Introduction for artificial intelligence and law: special issue “natural language processing for legal texts”

Autoren: Livio Robaldo, Serena Villata, Adam Wyner, Matthias Grabmair
Veröffentlicht in: Artificial Intelligence and Law, Ausgabe 27/2, 2019, Seite(n) 113-115, ISSN 0924-8463
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10506-019-09251-2

On rational entailment for Propositional Typicality Logic

Autoren: Richard Booth, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Veröffentlicht in: Artificial Intelligence, Ausgabe 277, 2019, Seite(n) 103178, ISSN 0004-3702
Herausgeber: Elsevier BV
DOI: 10.1016/j.artint.2019.103178

Semi-automatic knowledge population in a legal document management system

Autoren: Guido Boella, Luigi Di Caro, Valentina Leone
Veröffentlicht in: Artificial Intelligence and Law, Ausgabe 27/2, 2019, Seite(n) 227-251, ISSN 0924-8463
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10506-018-9239-8

Maximising goals achievement through abstract argumentation frameworks: An optimal approach

Autoren: Andrea Cohen, Sebastian Gottifredi, Mauro Vallati, Alejandro J. García, Grigoris Antoniou
Veröffentlicht in: Expert Systems with Applications, Ausgabe 141, 2020, Seite(n) 112930, ISSN 0957-4174
Herausgeber: Pergamon Press Ltd.
DOI: 10.1016/j.eswa.2019.112930

Time and Compensation Mechanisms in Checking Legal Compliance

Autoren: Guido Governatori,JOURNAL OF APPLIED LOGICS Antonino Rotolo
Veröffentlicht in: Journal of Applied Logics, Ausgabe Vol. 6, n. 5, 2019, ISSN 2631-9810
Herausgeber: College Publications

A labelling framework for probabilistic argumentation

Autoren: Régis Riveret, Pietro Baroni, Yang Gao, Guido Governatori, Antonino Rotolo, Giovanni Sartor
Veröffentlicht in: Annals of Mathematics and Artificial Intelligence, Ausgabe 83/1, 2018, Seite(n) 21-71, ISSN 1012-2443
Herausgeber: Kluwer Academic Publishers
DOI: 10.1007/s10472-018-9574-1

Prioritized norms in formal argumentation

Autoren: Beishui Liao, Nir Oren, Leendert van der Torre, Serena Villata
Veröffentlicht in: Journal of Logic and Computation, Ausgabe 29/2, 2018, Seite(n) 215-240, ISSN 0955-792X
Herausgeber: Oxford University Press
DOI: 10.1093/logcom/exy009

Åqvist's Dyadic Deontic Logic E in HOL

Autoren: Benzmüller, Christoph; Farjami, Ali; Parent, Xavier
Veröffentlicht in: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Ausgabe 6, 2019, Seite(n) 733-754, ISSN 2631-9810
Herausgeber: College Publications

I/O Logic in HOL

Autoren: Benzmüller, Christoph; Farjami, Ali; Meder, Paul Joseph Yves; Parent, Xavier
Veröffentlicht in: Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, Ausgabe 6, 2019, Seite(n) 715-732, ISSN 2631-9810
Herausgeber: College Publications

Text Segmentation with Topic Modeling and Entity Coherence

Autoren: Adebayo Kolawole John, Luigi Di Caro, Guido Boella
Veröffentlicht in: Proceedings of the 16th International Conference on Hybrid Intelligent Systems (HIS 2016), Ausgabe 552, 2017, Seite(n) 175-185, ISBN 978-3-319-52940-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-52941-7_18

Legalbot: A Deep Learning-Based Conversational Agent in the Legal Domain

Autoren: Adebayo Kolawole John, Luigi Di Caro, Livio Robaldo, Guido Boella
Veröffentlicht in: Natural Language Processing and Information Systems, Ausgabe 10260, 2017, Seite(n) 267-273, ISBN 978-3-319-59568-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-59569-6_32

Boosting the Development of ASP-Based Applications in Mobile and General Scenarios

Autoren: Francesco Calimeri, Davide Fuscà, Stefano Germano, Simona Perri, Jessica Zangari
Veröffentlicht in: AI*IA 2016 Advances in Artificial Intelligence, Ausgabe 10037, 2016, Seite(n) 223-236, ISBN 978-3-319-49129-5
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-49130-1_17

BioHIPI: Biomedical Hadoop Image Processing Interface

Autoren: Francesco Calimeri, Mirco Caracciolo, Aldo Marzullo, Claudio Stamile
Veröffentlicht in: Machine Learning, Optimization, and Big Data - Third International Conference, MOD 2017, Volterra, Italy, September 14–17, 2017, Revised Selected Papers, Ausgabe 10710, 2018, Seite(n) 540-548, ISBN 978-3-319-72925-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-72926-8_45

Towards Legal Compliance by Correlating Standards and Laws with a Semi-automated Methodology

Autoren: Cesare Bartolini, Andra Giurgiu, Gabriele Lenzini, Livio Robaldo
Veröffentlicht in: BNAIC 2016: Artificial Intelligence, Ausgabe 765, 2017, Seite(n) 47-62, ISBN 978-3-319-67467-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-67468-1_4

Explainable ASP

Autoren: Jérémie Dauphin, Ken Satoh
Veröffentlicht in: PRIMA 2019: Principles and Practice of Multi-Agent Systems - 22nd International Conference, Turin, Italy, October 28–31, 2019, Proceedings, Ausgabe 11873, 2019, Seite(n) 610-617, ISBN 978-3-030-33791-9
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-33792-6_47

Dialogue Games for Enforcement of Argument Acceptance and Rejection via Attack Removal

Autoren: Jérémie Dauphin, Ken Satoh
Veröffentlicht in: PRIMA 2018: Principles and Practice of Multi-Agent Systems - 21st International Conference, Tokyo, Japan, October 29-November 2, 2018, Proceedings, Ausgabe 11224, 2018, Seite(n) 449-457, ISBN 978-3-030-03097-1
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-03098-8_29

A KLM Perspective on Defeasible Reasoning for Description Logics

Autoren: Katarina Britz, Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Veröffentlicht in: Description Logic, Theory Combination, and All That - Essays Dedicated to Franz Baader on the Occasion of His 60th Birthday, Ausgabe 11560, 2019, Seite(n) 147-173, ISBN 978-3-030-22101-0
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-22102-7_7

Taking Defeasible Entailment Beyond Rational Closure

Autoren: Giovanni Casini, Thomas Meyer, Ivan Varzinczak
Veröffentlicht in: Logics in Artificial Intelligence - 16th European Conference, JELIA 2019, Rende, Italy, May 7–11, 2019, Proceedings, Ausgabe 11468, 2019, Seite(n) 182-197, ISBN 978-3-030-19569-4
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-19570-0_12

Sequence Semantics for Normative Agents

Autoren: Guido Governatori, Francesco Olivieri, Erica Calardo, Antonino Rotolo, Matteo Cristani
Veröffentlicht in: PRIMA 2016: Princiles and Practice of Multi-Agent Systems, Ausgabe 9862, 2016, Seite(n) 230-246, ISBN 978-3-319-44831-2
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-44832-9_14

PrOnto: Privacy Ontology for Legal Reasoning

Autoren: Monica Palmirani, Michele Martoni, Arianna Rossi, Cesare Bartolini, Livio Robaldo
Veröffentlicht in: Electronic Government and the Information Systems Perspective - 7th International Conference, EGOVIS 2018, Regensburg, Germany, September 3–5, 2018, Proceedings, Ausgabe 11032, 2018, Seite(n) 139-152, ISBN 978-3-319-98348-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-98349-3_11

ASPIC-END: Structured Argumentation with Explanations and Natural Deduction

Autoren: Jérémie Dauphin, Marcos Cramer
Veröffentlicht in: Theory and Applications of Formal Argumentation, Ausgabe 10757, 2018, Seite(n) 51-66, ISBN 978-3-319-75552-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-319-75553-3_4

Present and Future of Formal Argumentation

Autoren: Dov M. Gabbay, Massimiliano Giacomin, Beishui Liao, Leendert van der Torre
Veröffentlicht in: Dagstuhl Manifestos, 2018
Herausgeber: Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik
DOI: 10.4230/dagman.7.1.69

An Argumentative Recommendation Approach Based on Contextual Aspects

Autoren: Juan Carlos Lionel Teze, Lluis Godo, Guillermo Ricardo Simari
Veröffentlicht in: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, Ausgabe 11142, 2018, Seite(n) 405-412, ISBN 978-3-030-00460-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-00461-3_31

Inferring Quantitative Preferences: Beyond Logical Deduction

Autoren: Maria Vanina Martinez, Lluis Godo, Gerardo I. Simari
Veröffentlicht in: Scalable Uncertainty Management - 12th International Conference, SUM 2018, Milan, Italy, October 3-5, 2018, Proceedings, Ausgabe 11142, 2018, Seite(n) 387-395, ISBN 978-3-030-00460-6
Herausgeber: Springer International Publishing
DOI: 10.1007/978-3-030-00461-3_29

Lógica modal

Autoren: Clara Smith
Veröffentlicht in: Capitulo 3, Logic for Informatics, the Editorial of the University of La Plata (EUNLP), Argentina, 2016
Herausgeber: University of La Plata

Lógica para Informática

Autoren: Claudia Pons, Ricardo Rosenfeld, Clara Smith
Veröffentlicht in: Libros de Cátedra, 2017, ISBN 978-950-34-1510-8
Herausgeber: Editorial de la Universidad Nacional de La Plata (EDULP)

Suche nach OpenAIRE-Daten ...

Bei der Suche nach OpenAIRE-Daten ist ein Fehler aufgetreten

Es liegen keine Ergebnisse vor