Reference : Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter jur...

	Document type :	Scientific congresses, symposiums and conference proceedings : Paper published in a book
	Discipline(s) :	Law, criminology & political science : Multidisciplinary, general & others Engineering, computing & technology : Computer science
	Focus Areas :	Computational Sciences
	To cite this reference:	http://hdl.handle.net/10993/49007

Title :	Von Objekt- und Meta-Ebenen: Analyse der Softwareanforderungen computergestützter juristischer Entscheidungen
Language :	German
Translated title :	[en] On object and meta levels: Requirement analysis of software for computer-assisted legal decisions
Author, co-author :	Adrian, Axel [Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU]
	Rapp, Max [Friedrich-Alexander-Universität Erlangen-Nürnberg - FAU]
	Steen, Alexander [University of Luxembourg > Faculty of Science, Technology and Medicine (FSTM) > Department of Computer Science (DCS) >]
Publication date :	In press
Main document title :	Recht DIGITAL – 25 Jahre IRIS, Proceedings of the International Legal Informatics Symposium (IRIS 2022)
Peer reviewed :	Yes
On invitation :	No
Audience :	International
Event name :	Internationales Rechtsinformatik Symposion (IRIS 2022)
Event date :	23-02-2022 to 26-02-2022
Event place (city) :	Salzburg
Event country :	AT
Keywords :	[en] Automated Theorem Proving ; normative reasoning ; Automated Reasoning
Abstract :	[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.
Funders :	Fonds National de la Recherche - FnR
Name of the research project :	Automated Reasoning with Legal Entities (AuReLeE)
Target :	Researchers
Permalink :	http://hdl.handle.net/10993/49007
FnR project :	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): File Commentary Version Size Access Limited access IRIS 2022 submission.pdf Author preprint 202.67 kB Request a copy

All documents in ORBi^lu are protected by a user license.

 

University of Luxembourg Library |  Feedback |  Legal notices Site Map