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="" xmlns:dc="" xmlns:rdf="" xmlns:bibo="" xmlns:dspace="" xmlns:foaf="" xmlns:void="" xmlns:xsd="" > <rdf:Description rdf:about=""> <dspace:isPartOfCollection rdf:resource=""/> <dc:date rdf:datatype="">2022-11-16T08:28:58Z</dc:date> <dcterms:available rdf:datatype="">2022-11-16T08:28:58Z</dcterms:available> <dcterms:isPartOf rdf:resource=""/> <dc:creator>Kölbl, Martin</dc:creator> <dcterms:isPartOf rdf:resource=""/> <dc:creator>Leue, Stefan</dc:creator> <dspace:isPartOfCollection rdf:resource=""/> <dcterms:rights rdf:resource=""/> <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=""/> <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


My Account