EasyChair Smart SlideDocs/Log in
Title:Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability
Authors:Axel Adrian, Stephanie Evert, Michael Kohlhase, Andreas Maier, Lutz Schröder, Osman Anil Basaran, Steffen Bothe, Merlin Humml, Stephan Prettner, Max Gabriel Rapp, Michael Gritz, Verena Stürmer, Johannes Lindner and Moritz Blöcher
Conference:IRIS25
Tags:Handels- und Gesellschaftsrecht, Logik, logische Formalisierung, maschinelles Schließen, Register- und Notarrecht, s(CASP), symbolische KI, Wissensrepräsentation and XAI
Abstract:

The research project DIREGA is investigating possibilities and limitations of the computational automation of the legal review process for commercial register entries. Using the example of an application for a change of managing director, we demonstrate how the legal review process can be formalized using methods of symbolic AI and carried out automatically through computational reasoning in the answer set programming language s(CASP), exploiting that s(CASP) is capable of providing simplified logical justifications not only in case of success but also in case of failure of computational verification.

 
Computational Reasoning with S(CASP) – Registration of a New Management Director of a Company with Limited Liability
 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
1of24
1
2
3
4
Copyright © 2002 – 2025 EasyChair