Matches in SemOpenAlex for { <https://semopenalex.org/work/W88387621> ?p ?o ?g. }
Showing items 1 to 49 of
49
with 100 items per page.
- W88387621 abstract "In the last few years, researchers started to investigate how recursive queries and deductive languages can be applied to find solutions to the new emerging trends in distributed computing. We conjecture that a missing piece in the current state-of-the-art in logic programming is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the state of remote nodes is fundamental in distributed contexts in order to design and analyze protocols behavior. To reach this goal, we leveraged Datalog¬ with an epistemic modal operator, allowing the programmer to directly express nodes' state of knowledge instead of low level communication details. To support the effectiveness of our proposal, we introduce, as example, the declarative implementation of the two phase commit protocol." @default.
- W88387621 created "2016-06-24" @default.
- W88387621 creator A5071206013 @default.
- W88387621 date "2012-01-01" @default.
- W88387621 modified "2023-10-05" @default.
- W88387621 title "Knowlog: A Declarative Language for Reasoning about Knowledge in Distributed Systems" @default.
- W88387621 cites W1486653873 @default.
- W88387621 cites W2009681486 @default.
- W88387621 cites W2015688007 @default.
- W88387621 cites W2106355650 @default.
- W88387621 cites W2134321625 @default.
- W88387621 cites W2136575791 @default.
- W88387621 cites W88387621 @default.
- W88387621 doi "https://doi.org/10.1007/978-3-642-34002-4_47" @default.
- W88387621 hasPublicationYear "2012" @default.
- W88387621 type Work @default.
- W88387621 sameAs 88387621 @default.
- W88387621 citedByCount "3" @default.
- W88387621 countsByYear W883876212012 @default.
- W88387621 countsByYear W883876212013 @default.
- W88387621 crossrefType "book-chapter" @default.
- W88387621 hasAuthorship W88387621A5071206013 @default.
- W88387621 hasConcept C115925183 @default.
- W88387621 hasConcept C154945302 @default.
- W88387621 hasConcept C199360897 @default.
- W88387621 hasConcept C204321447 @default.
- W88387621 hasConcept C41008148 @default.
- W88387621 hasConceptScore W88387621C115925183 @default.
- W88387621 hasConceptScore W88387621C154945302 @default.
- W88387621 hasConceptScore W88387621C199360897 @default.
- W88387621 hasConceptScore W88387621C204321447 @default.
- W88387621 hasConceptScore W88387621C41008148 @default.
- W88387621 hasLocation W883876211 @default.
- W88387621 hasOpenAccess W88387621 @default.
- W88387621 hasPrimaryLocation W883876211 @default.
- W88387621 hasRelatedWork W2104078272 @default.
- W88387621 hasRelatedWork W2112962394 @default.
- W88387621 hasRelatedWork W2118300983 @default.
- W88387621 hasRelatedWork W2166247150 @default.
- W88387621 hasRelatedWork W2382501300 @default.
- W88387621 hasRelatedWork W3137189469 @default.
- W88387621 hasRelatedWork W3162240892 @default.
- W88387621 hasRelatedWork W4235530921 @default.
- W88387621 hasRelatedWork W4243252198 @default.
- W88387621 hasRelatedWork W4245713008 @default.
- W88387621 isParatext "false" @default.
- W88387621 isRetracted "false" @default.
- W88387621 magId "88387621" @default.
- W88387621 workType "book-chapter" @default.