Matches in SemOpenAlex for { <https://semopenalex.org/work/W3091938314> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W3091938314 abstract "A contract is a legally binding agreement that expresses high-level requirements of parties in terms of obligations, powers and constraints. Parties’ actions influence the status of a contract and shall comply with its clauses. Manual contract monitoring is very laborious in real markets, such as transactive energy, where plenty of complex contracts are running concurrently. Furthermore, liability, right and performance transition through run-time operations such as subcontracting, assignment and substitution complicate contract interpretation. Automation is needed to ensure that contracts respect desirable properties and to support monitoring of compliance and handling of violations. In this thesis research, I propose an innovative ontology that defines fundamental contractual notions (such as the ones mentioned above) and their relationships, on which is built a specification language, called Symboleo, that provides syntax and axiomatic semantics of contracts via first-order logic. Symboleo enables the development of advanced automation tools such as a compliance checker that monitors contracts at runtime, and a model checking verification method that analyzes liveness and safety properties of contracts. This paper reports on the problem domain, research method, current status, expected contributions, and main foreseen challenges." @default.
- W3091938314 created "2020-10-15" @default.
- W3091938314 creator A5069773958 @default.
- W3091938314 date "2020-08-01" @default.
- W3091938314 modified "2023-09-25" @default.
- W3091938314 title "Towards the Specification and Verification of Legal Contracts" @default.
- W3091938314 cites W1518252295 @default.
- W3091938314 cites W1522342316 @default.
- W3091938314 cites W1542292100 @default.
- W3091938314 cites W1590488718 @default.
- W3091938314 cites W1852523103 @default.
- W3091938314 cites W1969344535 @default.
- W3091938314 cites W1971780996 @default.
- W3091938314 cites W1974258029 @default.
- W3091938314 cites W2004537989 @default.
- W3091938314 cites W2039169898 @default.
- W3091938314 cites W2109559108 @default.
- W3091938314 cites W2109740450 @default.
- W3091938314 cites W2114305512 @default.
- W3091938314 cites W2131518018 @default.
- W3091938314 cites W2136451344 @default.
- W3091938314 cites W2138950394 @default.
- W3091938314 cites W2153106571 @default.
- W3091938314 cites W2169472045 @default.
- W3091938314 cites W2577387864 @default.
- W3091938314 cites W2794161035 @default.
- W3091938314 cites W2794946149 @default.
- W3091938314 cites W2808749305 @default.
- W3091938314 cites W2893349283 @default.
- W3091938314 cites W2894955077 @default.
- W3091938314 cites W3101879006 @default.
- W3091938314 cites W3143775862 @default.
- W3091938314 cites W71751999 @default.
- W3091938314 doi "https://doi.org/10.1109/re48521.2020.00066" @default.
- W3091938314 hasPublicationYear "2020" @default.
- W3091938314 type Work @default.
- W3091938314 sameAs 3091938314 @default.
- W3091938314 citedByCount "2" @default.
- W3091938314 countsByYear W30919383142021 @default.
- W3091938314 crossrefType "proceedings-article" @default.
- W3091938314 hasAuthorship W3091938314A5069773958 @default.
- W3091938314 hasConcept C10138342 @default.
- W3091938314 hasConcept C111472728 @default.
- W3091938314 hasConcept C112930515 @default.
- W3091938314 hasConcept C115903868 @default.
- W3091938314 hasConcept C138885662 @default.
- W3091938314 hasConcept C144133560 @default.
- W3091938314 hasConcept C154945302 @default.
- W3091938314 hasConcept C15569618 @default.
- W3091938314 hasConcept C17744445 @default.
- W3091938314 hasConcept C182306322 @default.
- W3091938314 hasConcept C184337299 @default.
- W3091938314 hasConcept C199360897 @default.
- W3091938314 hasConcept C199539241 @default.
- W3091938314 hasConcept C25810664 @default.
- W3091938314 hasConcept C2779777834 @default.
- W3091938314 hasConcept C38652104 @default.
- W3091938314 hasConcept C41008148 @default.
- W3091938314 hasConcept C60048249 @default.
- W3091938314 hasConceptScore W3091938314C10138342 @default.
- W3091938314 hasConceptScore W3091938314C111472728 @default.
- W3091938314 hasConceptScore W3091938314C112930515 @default.
- W3091938314 hasConceptScore W3091938314C115903868 @default.
- W3091938314 hasConceptScore W3091938314C138885662 @default.
- W3091938314 hasConceptScore W3091938314C144133560 @default.
- W3091938314 hasConceptScore W3091938314C154945302 @default.
- W3091938314 hasConceptScore W3091938314C15569618 @default.
- W3091938314 hasConceptScore W3091938314C17744445 @default.
- W3091938314 hasConceptScore W3091938314C182306322 @default.
- W3091938314 hasConceptScore W3091938314C184337299 @default.
- W3091938314 hasConceptScore W3091938314C199360897 @default.
- W3091938314 hasConceptScore W3091938314C199539241 @default.
- W3091938314 hasConceptScore W3091938314C25810664 @default.
- W3091938314 hasConceptScore W3091938314C2779777834 @default.
- W3091938314 hasConceptScore W3091938314C38652104 @default.
- W3091938314 hasConceptScore W3091938314C41008148 @default.
- W3091938314 hasConceptScore W3091938314C60048249 @default.
- W3091938314 hasLocation W30919383141 @default.
- W3091938314 hasOpenAccess W3091938314 @default.
- W3091938314 hasPrimaryLocation W30919383141 @default.
- W3091938314 hasRelatedWork W12399970 @default.
- W3091938314 hasRelatedWork W12785170 @default.
- W3091938314 hasRelatedWork W2966141 @default.
- W3091938314 hasRelatedWork W3204327 @default.
- W3091938314 hasRelatedWork W5413953 @default.
- W3091938314 hasRelatedWork W5745568 @default.
- W3091938314 hasRelatedWork W6688141 @default.
- W3091938314 hasRelatedWork W6734206 @default.
- W3091938314 hasRelatedWork W7840950 @default.
- W3091938314 hasRelatedWork W8891213 @default.
- W3091938314 isParatext "false" @default.
- W3091938314 isRetracted "false" @default.
- W3091938314 magId "3091938314" @default.
- W3091938314 workType "article" @default.