Reference : Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter jur... |
Scientific congresses, symposiums and conference proceedings : Paper published in a book | |||
Law, criminology & political science : Multidisciplinary, general & others Engineering, computing & technology : Computer science | |||
Computational Sciences | |||
http://hdl.handle.net/10993/49007 | |||
Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter juristischer Entscheidungen | |
German | |
[en] On object and meta levels: Requirement analysis of software for computer-assisted legal decisions | |
Adrian, Axel [Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU] | |
Rapp, Max [Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU] | |
Steen, Alexander ![]() | |
In press | |
Recht DIGITAL – 25 Jahre IRIS, Proceedings of the International Legal Informatics Symposium (IRIS 2022) | |
Yes | |
No | |
International | |
Internationales Rechtsinformatik Symposion (IRIS 2022) | |
23-02-2022 to 26-02-2022 | |
Salzburg | |
AT | |
[en] Automated Theorem Proving ; normative reasoning ; Automated Reasoning | |
[de] Die Interpretation und Anwendung von Gesetzestexten auf einem konkreten
Lebenssachverhalt erfordert von menschlichen Experten ein hohes Maß an Wissen, Erfahrung und die Fähigkeit zahlreiche kontextuelle Überlegungen anzustellen. Die Formalisierung und Automatisierung solch eines Prozesses in einem computergestützten Verfahren muss dies entsprechend reflektieren. Ausgehend von einer Fallstudie werden in dieser Arbeit erforderliche juridische Schritte der Rechtsanwendung identifiziert und verschiedenen Objekt- und Meta-Ebenen zugeordnet. Diese Zuordnung erlaubt eine abstrakte Analyse von Softwareanforderungen, die juristische Assistenzsysteme erfüllen müssen, um bei juristischen Fallentscheidungen unterstützen zu können. | |
Fonds National de la Recherche - FnR | |
Automated Reasoning with Legal Entities (AuReLeE) | |
Researchers | |
http://hdl.handle.net/10993/49007 | |
FnR ; FNR14616644 > Alexander Steen > AuReLeE > Automated Reasoning With Legal Entities > 01/03/2021 > 28/02/2023 > 2020 |
File(s) associated to this reference | ||||||||||||||
Fulltext file(s):
| ||||||||||||||
All documents in ORBilu are protected by a user license.