FRINK Linked Data Fragments server

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

• W2800376039 abstract "Rewriting Logic and Automata are complimentary approaches for developing executable models of concurrent/distributed systems that can be analyzed by prototyping, and multiple methods of model-checking. A joint project between my group at SRI and Farhad’s group at CWI is developing formal methods to diagnose the cause of undesired behavior of autonomous (cyber physical) systems operating in unpredictable environments. CWI is working on theory development based on automata, exploring composition mechanisms in multiple dimensions, and developing logic that supports reasoning about compositionality. The SRI work is based on rewriting logic and is focused on methods for system specification and model-checking in the context of faults and environmental threats. The two approaches share a common feature, namely the assignment of preferences to possible actions to model locally robust adaptive behavior. Preferences are elements of constraint semirings (soft constraints), structures that provide operations for comparison and composition." @default.
• W2800376039 created "2018-05-17" @default.
• W2800376039 creator A5090498111 @default.
• W2800376039 date "2018-01-01" @default.
• W2800376039 modified "2023-09-27" @default.
• W2800376039 title "From Soft Agents to Soft Component Automata and Back" @default.
• W2800376039 cites W107710200 @default.
• W2800376039 cites W1463766107 @default.
• W2800376039 cites W1487478819 @default.
• W2800376039 cites W1544301742 @default.
• W2800376039 cites W1659349535 @default.
• W2800376039 cites W1663945762 @default.
• W2800376039 cites W1665497870 @default.
• W2800376039 cites W189226382 @default.
• W2800376039 cites W1976195354 @default.
• W2800376039 cites W1988549452 @default.
• W2800376039 cites W2006340882 @default.
• W2800376039 cites W2029080363 @default.
• W2800376039 cites W2083249903 @default.
• W2800376039 cites W2093521359 @default.
• W2800376039 cites W2099395647 @default.
• W2800376039 cites W2107934344 @default.
• W2800376039 cites W2156525231 @default.
• W2800376039 cites W2158280958 @default.
• W2800376039 cites W2336525523 @default.
• W2800376039 cites W2399784584 @default.
• W2800376039 cites W2460389227 @default.
• W2800376039 cites W2470154314 @default.
• W2800376039 cites W2565998050 @default.
• W2800376039 cites W2606550065 @default.
• W2800376039 cites W2606928263 @default.
• W2800376039 cites W2739616762 @default.
• W2800376039 cites W29422724 @default.
• W2800376039 cites W3015129727 @default.
• W2800376039 cites W4234315090 @default.
• W2800376039 cites W71507039 @default.
• W2800376039 cites W82133900 @default.
• W2800376039 cites W1583068981 @default.
• W2800376039 doi "https://doi.org/10.1007/978-3-319-90089-6_13" @default.
• W2800376039 hasPublicationYear "2018" @default.
• W2800376039 type Work @default.
• W2800376039 sameAs 2800376039 @default.
• W2800376039 citedByCount "0" @default.
• W2800376039 crossrefType "book-chapter" @default.
• W2800376039 hasAuthorship W2800376039A5090498111 @default.
• W2800376039 hasConcept C110251889 @default.
• W2800376039 hasConcept C112505250 @default.
• W2800376039 hasConcept C121332964 @default.
• W2800376039 hasConcept C121375916 @default.
• W2800376039 hasConcept C127413603 @default.
• W2800376039 hasConcept C151730666 @default.
• W2800376039 hasConcept C154690210 @default.
• W2800376039 hasConcept C154945302 @default.
• W2800376039 hasConcept C160145156 @default.
• W2800376039 hasConcept C168167062 @default.
• W2800376039 hasConcept C199360897 @default.
• W2800376039 hasConcept C2776036281 @default.
• W2800376039 hasConcept C2779343474 @default.
• W2800376039 hasConcept C41008148 @default.
• W2800376039 hasConcept C78519656 @default.
• W2800376039 hasConcept C80444323 @default.
• W2800376039 hasConcept C86803240 @default.
• W2800376039 hasConcept C97355855 @default.
• W2800376039 hasConceptScore W2800376039C110251889 @default.
• W2800376039 hasConceptScore W2800376039C112505250 @default.
• W2800376039 hasConceptScore W2800376039C121332964 @default.
• W2800376039 hasConceptScore W2800376039C121375916 @default.
• W2800376039 hasConceptScore W2800376039C127413603 @default.
• W2800376039 hasConceptScore W2800376039C151730666 @default.
• W2800376039 hasConceptScore W2800376039C154690210 @default.
• W2800376039 hasConceptScore W2800376039C154945302 @default.
• W2800376039 hasConceptScore W2800376039C160145156 @default.
• W2800376039 hasConceptScore W2800376039C168167062 @default.
• W2800376039 hasConceptScore W2800376039C199360897 @default.
• W2800376039 hasConceptScore W2800376039C2776036281 @default.
• W2800376039 hasConceptScore W2800376039C2779343474 @default.
• W2800376039 hasConceptScore W2800376039C41008148 @default.
• W2800376039 hasConceptScore W2800376039C78519656 @default.
• W2800376039 hasConceptScore W2800376039C80444323 @default.
• W2800376039 hasConceptScore W2800376039C86803240 @default.
• W2800376039 hasConceptScore W2800376039C97355855 @default.
• W2800376039 hasLocation W28003760391 @default.
• W2800376039 hasOpenAccess W2800376039 @default.
• W2800376039 hasPrimaryLocation W28003760391 @default.
• W2800376039 hasRelatedWork W1500534105 @default.
• W2800376039 hasRelatedWork W153904579 @default.
• W2800376039 hasRelatedWork W1541169127 @default.
• W2800376039 hasRelatedWork W1549417369 @default.
• W2800376039 hasRelatedWork W1563337157 @default.
• W2800376039 hasRelatedWork W2097603593 @default.
• W2800376039 hasRelatedWork W2106243726 @default.
• W2800376039 hasRelatedWork W2154999312 @default.
• W2800376039 hasRelatedWork W2166249092 @default.
• W2800376039 hasRelatedWork W2173007823 @default.
• W2800376039 hasRelatedWork W2182253981 @default.
• W2800376039 hasRelatedWork W2282895087 @default.
• W2800376039 hasRelatedWork W2394934717 @default.
• W2800376039 hasRelatedWork W2562722502 @default.
• W2800376039 hasRelatedWork W2579463208 @default.
• W2800376039 hasRelatedWork W2597460389 @default.

• next