FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W156194945> ?p ?o ?g. }

• W156194945 abstract "The work reported here is concerned with the definition of a logic (which we call CL) for reasoning about legal contracts. The report presents the syntax of the logic and the associated semantics. There are two semantics presented: one is defined with respect to linear structures (i.e. traces of actions) and is intended for run-time monitoring of executions of contracts; the second semantics is given over branching structures (i.e. Kripke-like structures) and is intended for reasoning about contracts in a static manner (i.e. model-checking and theorem proving). In the first part of the report we present the theoretical results underlying the branching semantics. It presents an algebra of actions and restates some of previous results presented in another report, as well as new results useful for the definition of the branching semantics and for the proofs. The rest of the report is concerned with the definition of the two semantics. Moreover, several (non-standard) desired properties of the logic are proven." @default.
• W156194945 created "2016-06-24" @default.
• W156194945 creator A5046080344 @default.
• W156194945 creator A5051084250 @default.
• W156194945 date "2008-01-01" @default.
• W156194945 modified "2023-09-26" @default.
• W156194945 title "CL - a logic for reasoning about legal contracts: - Semantics" @default.
• W156194945 cites W1481489750 @default.
• W156194945 cites W1491747574 @default.
• W156194945 cites W1503973138 @default.
• W156194945 cites W1509862761 @default.
• W156194945 cites W1557559121 @default.
• W156194945 cites W1559271391 @default.
• W156194945 cites W1568454198 @default.
• W156194945 cites W1570949334 @default.
• W156194945 cites W1574129634 @default.
• W156194945 cites W1579659592 @default.
• W156194945 cites W1583295953 @default.
• W156194945 cites W1586267180 @default.
• W156194945 cites W1586502670 @default.
• W156194945 cites W1594459256 @default.
• W156194945 cites W1605326465 @default.
• W156194945 cites W1612453857 @default.
• W156194945 cites W164550212 @default.
• W156194945 cites W16542559 @default.
• W156194945 cites W1660542712 @default.
• W156194945 cites W1705394006 @default.
• W156194945 cites W1754555079 @default.
• W156194945 cites W1971616901 @default.
• W156194945 cites W1979030266 @default.
• W156194945 cites W1980738498 @default.
• W156194945 cites W1986058515 @default.
• W156194945 cites W1998368317 @default.
• W156194945 cites W2001748564 @default.
• W156194945 cites W2009819247 @default.
• W156194945 cites W2015640848 @default.
• W156194945 cites W2021548155 @default.
• W156194945 cites W2021916230 @default.
• W156194945 cites W2023808162 @default.
• W156194945 cites W2030442671 @default.
• W156194945 cites W2059396299 @default.
• W156194945 cites W2064204259 @default.
• W156194945 cites W2073245887 @default.
• W156194945 cites W2101995394 @default.
• W156194945 cites W2109740450 @default.
• W156194945 cites W2111229114 @default.
• W156194945 cites W2115298872 @default.
• W156194945 cites W2136920408 @default.
• W156194945 cites W2150320481 @default.
• W156194945 cites W2151428389 @default.
• W156194945 cites W2162518765 @default.
• W156194945 cites W2163152086 @default.
• W156194945 cites W2167501322 @default.
• W156194945 cites W2336123333 @default.
• W156194945 cites W2403123180 @default.
• W156194945 cites W2464440858 @default.
• W156194945 cites W3144368627 @default.
• W156194945 hasPublicationYear "2008" @default.
• W156194945 type Work @default.
• W156194945 sameAs 156194945 @default.
• W156194945 citedByCount "4" @default.
• W156194945 crossrefType "journal-article" @default.
• W156194945 hasAuthorship W156194945A5046080344 @default.
• W156194945 hasAuthorship W156194945A5051084250 @default.
• W156194945 hasConcept C102993220 @default.
• W156194945 hasConcept C108710211 @default.
• W156194945 hasConcept C136119220 @default.
• W156194945 hasConcept C146499914 @default.
• W156194945 hasConcept C154945302 @default.
• W156194945 hasConcept C156325763 @default.
• W156194945 hasConcept C159985019 @default.
• W156194945 hasConcept C160131679 @default.
• W156194945 hasConcept C184337299 @default.
• W156194945 hasConcept C192562407 @default.
• W156194945 hasConcept C199360897 @default.
• W156194945 hasConcept C202444582 @default.
• W156194945 hasConcept C206175624 @default.
• W156194945 hasConcept C207648694 @default.
• W156194945 hasConcept C2524010 @default.
• W156194945 hasConcept C33203268 @default.
• W156194945 hasConcept C33923547 @default.
• W156194945 hasConcept C41008148 @default.
• W156194945 hasConcept C60048249 @default.
• W156194945 hasConcept C61151141 @default.
• W156194945 hasConcept C80444323 @default.
• W156194945 hasConcept C89497691 @default.
• W156194945 hasConceptScore W156194945C102993220 @default.
• W156194945 hasConceptScore W156194945C108710211 @default.
• W156194945 hasConceptScore W156194945C136119220 @default.
• W156194945 hasConceptScore W156194945C146499914 @default.
• W156194945 hasConceptScore W156194945C154945302 @default.
• W156194945 hasConceptScore W156194945C156325763 @default.
• W156194945 hasConceptScore W156194945C159985019 @default.
• W156194945 hasConceptScore W156194945C160131679 @default.
• W156194945 hasConceptScore W156194945C184337299 @default.
• W156194945 hasConceptScore W156194945C192562407 @default.
• W156194945 hasConceptScore W156194945C199360897 @default.
• W156194945 hasConceptScore W156194945C202444582 @default.
• W156194945 hasConceptScore W156194945C206175624 @default.
• W156194945 hasConceptScore W156194945C207648694 @default.

• next