Automated Consistency Analysis for Legal Contracts

Cite This

Files in this item

Checksum: MD5:ae73aedf0b4ccf07ac4ae4760b8a4282

KHOJA, Alan, Martin KÖLBL, Stefan LEUE, Rüdiger WILHELMI, 2022. Automated Consistency Analysis for Legal Contracts. Model Checking Software : 28th International Symposium, SPIN 2022 (virtual), May 21, 2022. In: LEGUNSEN, Owolabi, ed., Grigore ROSU, ed.. Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings. Cham:Springer, pp. 1-23. ISSN 0302-9743. eISSN 1611-3349. ISBN 978-3-031-15076-0. Available under: doi: 10.1007/978-3-031-15077-7_1

@inproceedings{Khoja2022Autom-59164, title={Automated Consistency Analysis for Legal Contracts}, year={2022}, doi={10.1007/978-3-031-15077-7_1}, number={13255}, isbn={978-3-031-15076-0}, issn={0302-9743}, address={Cham}, publisher={Springer}, series={Lecture Notes in Computer Science}, booktitle={Model Checking Software : 28th International Symposium, SPIN 2022, Virtual Event, May 21, 2022 : Proceedings}, pages={1--23}, editor={Legunsen, Owolabi and Rosu, Grigore}, author={Khoja, Alan and Kölbl, Martin and Leue, Stefan and Wilhelmi, Rüdiger} }

<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/rdf/resource/123456789/59164"> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:date rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-11-16T08:28:58Z</dc:date> <dcterms:available rdf:datatype="http://www.w3.org/2001/XMLSchema#dateTime">2022-11-16T08:28:58Z</dcterms:available> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/36"/> <dc:creator>Kölbl, Martin</dc:creator> <dcterms:isPartOf rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/44"/> <dc:creator>Leue, Stefan</dc:creator> <dspace:isPartOfCollection rdf:resource="https://kops.uni-konstanz.de/rdf/resource/123456789/44"/> <dcterms:rights rdf:resource="https://rightsstatements.org/page/InC/1.0/"/> <dcterms:abstract xml:lang="eng">Contracts in business life, and in particular company purchase agreements, often comprise a large number of provisions and are correspondingly long and complex. In practice, it is therefore a great challenge to keep track of their regulatory context and to identify and avoid inconsistencies in such contracts. Against this background, we propose a semi-formal as well as a formal logical modeling of this type of contracts, using decidable first-order theories. We also present the tool ContractCheck, which performs fully automated inconsistency analyses on the considered contracts using Satisfiability Modulo Theories (SMT) solving.</dcterms:abstract> <dcterms:issued>2022</dcterms:issued> <bibo:uri rdf:resource="https://kops.uni-konstanz.de/handle/123456789/59164"/> <dc:rights>terms-of-use</dc:rights> <dc:contributor>Kölbl, Martin</dc:contributor> <dc:creator>Wilhelmi, Rüdiger</dc:creator> <dc:language>eng</dc:language> <foaf:homepage rdf:resource="http://localhost:8080/jspui"/> <dc:creator>Khoja, Alan</dc:creator> <dc:contributor>Wilhelmi, Rüdiger</dc:contributor> <dc:contributor>Khoja, Alan</dc:contributor> <dc:contributor>Leue, Stefan</dc:contributor> <dcterms:title>Automated Consistency Analysis for Legal Contracts</dcterms:title> <void:sparqlEndpoint rdf:resource="http://localhost/fuseki/dspace/sparql"/> </rdf:Description> </rdf:RDF>

This item appears in the following Collection(s)

Search KOPS


Browse

My Account