Modellierung des Rechts

Kurzanzeige
dc.contributor.authorLeue, Stefan
dc.contributor.authorWilhelmi, Rüdiger
dc.date.accessioned2024-10-31T13:57:03Z
dc.date.available2024-10-31T13:57:03Z
dc.date.issued2024-08-05
dc.description.abstractModeling is a key ingredient of scientific reasoning in the technical and social sciences, and is also performed in law. In this paper we show that modeling methods from computer science, in particular mathematical logic and automated reasoning, can be successfully applied to the legal domain. While logical modeling (as well as automation of law) is only possible and practicable to a certain degree, we show that in the domain of contractual law that we consider it can be applied in a very useful manner. A case study illustrates that modeling and analysis methods adapted from automatic software verification can be successfully applied to the consistency analysis of legal contracts.
dc.description.versionpublisheddeu
dc.identifier.doi10.1515/9783111343341-007
dc.identifier.ppn1907312609
dc.identifier.urihttps://kops.uni-konstanz.de/handle/123456789/71102
dc.language.isodeu
dc.rightsAttribution-NonCommercial-NoDerivatives 4.0 International
dc.rights.urihttp://creativecommons.org/licenses/by-nc-nd/4.0/
dc.subject.ddc340
dc.titleModellierung des Rechtsdeu
dc.typeINCOLLECTION
dspace.entity.typePublication
kops.citation.bibtex
@incollection{Leue2024-08-05Model-71102,
  year={2024},
  doi={10.1515/9783111343341-007},
  title={Modellierung des Rechts},
  number={1},
  isbn={978-3-11-134332-7},
  publisher={De Gruyter},
  address={Berlin},
  series={Recht der Digitalisierung – Digitalisierung des Rechts},
  booktitle={Digitalisierung des Rechts},
  pages={67--90},
  editor={Wörner, Liane and Wilhelmi, Rüdiger and Glöckner, Jochen and Breuer, Marten and Behrendt, Svenja},
  author={Leue, Stefan and Wilhelmi, Rüdiger}
}
kops.citation.iso690LEUE, Stefan, Rüdiger WILHELMI, 2024. Modellierung des Rechts. In: WÖRNER, Liane, Hrsg., Rüdiger WILHELMI, Hrsg., Jochen GLÖCKNER, Hrsg., Marten BREUER, Hrsg., Svenja BEHRENDT, Hrsg.. Digitalisierung des Rechts. Berlin: De Gruyter, 2024, S. 67-90. Recht der Digitalisierung – Digitalisierung des Rechts. 1. ISBN 978-3-11-134332-7. Verfügbar unter: doi: 10.1515/9783111343341-007deu
kops.citation.iso690LEUE, Stefan, Rüdiger WILHELMI, 2024. Modellierung des Rechts. In: WÖRNER, Liane, ed., Rüdiger WILHELMI, ed., Jochen GLÖCKNER, ed., Marten BREUER, ed., Svenja BEHRENDT, ed.. Digitalisierung des Rechts. Berlin: De Gruyter, 2024, pp. 67-90. Recht der Digitalisierung – Digitalisierung des Rechts. 1. ISBN 978-3-11-134332-7. Available under: doi: 10.1515/9783111343341-007eng
kops.citation.rdf
<rdf:RDF
    xmlns:dcterms="http://purl.org/dc/terms/"
    xmlns:dc="http://purl.org/dc/elements/1.1/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:bibo="http://purl.org/ontology/bibo/"
    xmlns:dspace="http://digital-repositories.org/ontologies/dspace/0.1.0#"
    xmlns:foaf="http://xmlns.com/foaf/0.1/"
    xmlns:void="http://rdfs.org/ns/void#"
    xmlns:xsd="http://www.w3.org/2001/XMLSchema#" > 
  <rdf:Description rdf:about="https://kops.uni-konstanz.de/server/rdf/resource/123456789/71102">
    <dc:creator>Wilhelmi, Rüdiger</dc:creator>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/44"/>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/44"/>
    <dcterms:hasPart rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/71102/4/Leue_2-1ar3wvt4ufv5m3.pdf"/>
    <dcterms:title>Modellierung des Rechts</dcterms:title>
    <dc:creator>Leue, Stefan</dc:creator>
    <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/71102"/>
    <dcterms:abstract>Modeling is a key ingredient of scientific reasoning in the technical and social sciences, and is also performed in law. In this paper we show that modeling methods from computer science, in particular mathematical logic and automated reasoning, can be successfully applied to the legal domain. While logical modeling (as well as automation of law) is only possible and practicable to a certain degree, we show that in the domain of contractual law that we consider it can be applied in a very useful manner. A case study illustrates that modeling and analysis methods adapted from automatic software verification can be successfully applied to the consistency analysis of legal contracts.</dcterms:abstract>
    <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/>
    <dc:contributor>Wilhelmi, Rüdiger</dc:contributor>
    <dc:rights>Attribution-NonCommercial-NoDerivatives 4.0 International</dc:rights>
    <dcterms:issued>2024-08-05</dcterms:issued>
    <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/server/rdf/resource/123456789/36"/>
    <dc:language>deu</dc:language>
    <dcterms:rights rdf:resource="http://creativecommons.org/licenses/by-nc-nd/4.0/"/>
    <foaf:homepage rdf:resource="http://localhost:8080/"/>
    <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-10-31T13:57:03Z</dcterms:available>
    <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2024-10-31T13:57:03Z</dc:date>
    <dc:contributor>Leue, Stefan</dc:contributor>
    <dspace:hasBitstream rdf:resource="https://kops.uni-konstanz.de/bitstream/123456789/71102/4/Leue_2-1ar3wvt4ufv5m3.pdf"/>
  </rdf:Description>
</rdf:RDF>
kops.description.openAccessopenaccessbookpart
kops.flag.knbibliographytrue
kops.identifier.nbnurn:nbn:de:bsz:352-2-1ar3wvt4ufv5m3
kops.sourcefieldWÖRNER, Liane, Hrsg., Rüdiger WILHELMI, Hrsg., Jochen GLÖCKNER, Hrsg., Marten BREUER, Hrsg., Svenja BEHRENDT, Hrsg.. <i>Digitalisierung des Rechts</i>. Berlin: De Gruyter, 2024, S. 67-90. Recht der Digitalisierung – Digitalisierung des Rechts. 1. ISBN 978-3-11-134332-7. Verfügbar unter: doi: 10.1515/9783111343341-007deu
kops.sourcefield.plainWÖRNER, Liane, Hrsg., Rüdiger WILHELMI, Hrsg., Jochen GLÖCKNER, Hrsg., Marten BREUER, Hrsg., Svenja BEHRENDT, Hrsg.. Digitalisierung des Rechts. Berlin: De Gruyter, 2024, S. 67-90. Recht der Digitalisierung – Digitalisierung des Rechts. 1. ISBN 978-3-11-134332-7. Verfügbar unter: doi: 10.1515/9783111343341-007deu
kops.sourcefield.plainWÖRNER, Liane, ed., Rüdiger WILHELMI, ed., Jochen GLÖCKNER, ed., Marten BREUER, ed., Svenja BEHRENDT, ed.. Digitalisierung des Rechts. Berlin: De Gruyter, 2024, pp. 67-90. Recht der Digitalisierung – Digitalisierung des Rechts. 1. ISBN 978-3-11-134332-7. Available under: doi: 10.1515/9783111343341-007eng
relation.isAuthorOfPublicationa0cf1380-ebf9-403b-a02e-6e97bae25ef6
relation.isAuthorOfPublicationd00369c0-a31a-49e1-ba9a-2da81f19de65
relation.isAuthorOfPublication.latestForDiscoverya0cf1380-ebf9-403b-a02e-6e97bae25ef6
source.bibliographicInfo.fromPage67
source.bibliographicInfo.seriesNumber1
source.bibliographicInfo.toPage90
source.contributor.editorWörner, Liane
source.contributor.editorWilhelmi, Rüdiger
source.contributor.editorGlöckner, Jochen
source.contributor.editorBreuer, Marten
source.contributor.editorBehrendt, Svenja
source.identifier.isbn978-3-11-134332-7
source.publisherDe Gruyter
source.publisher.locationBerlin
source.relation.ispartofseriesRecht der Digitalisierung – Digitalisierung des Rechts
source.titleDigitalisierung des Rechts
temp.internal.duplicatesitems/fabff924-1145-4b55-9489-68b1755b700f;true;Die Steuerung von Migration durch Recht : Problemorientierte Modellierung eines rechtlichen Zugriffs auf das tatsächliche Migrationsgeschehen am Beispiel des Aufenthaltsgesetzes

Dateien

Originalbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
Leue_2-1ar3wvt4ufv5m3.pdf
Größe:
1 MB
Format:
Adobe Portable Document Format
Leue_2-1ar3wvt4ufv5m3.pdf
Leue_2-1ar3wvt4ufv5m3.pdfGröße: 1 MBDownloads: 108

Lizenzbündel

Gerade angezeigt 1 - 1 von 1
Vorschaubild nicht verfügbar
Name:
license.txt
Größe:
3.96 KB
Format:
Item-specific license agreed upon to submission
Beschreibung:
license.txt
license.txtGröße: 3.96 KBDownloads: 0

Sammlungen

Rechtswissenschaft: Publikationen
Informatik und Informationswissenschaft: Publikationen