Matches in SemOpenAlex for { <https://semopenalex.org/work/W119897988> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W119897988 endingPage "110" @default.
- W119897988 startingPage "99" @default.
- W119897988 abstract "AbstractLogic programming has been considered a viable solution for distributed computing since the Fifth Generation Computer Systems project [8]. Nowadays, this line of thought is gaining new verve, pushed by the need for new programming paradigms for addressing new emerging issues in distributed computing. We argue that a missing piece in the current state-of-the-art is the capability to express statements about the knowledge state of distributed nodes. In fact, reasoning about the knowledge state of (group of) nodes has been demonstrated to be fundamental in order to design and analyze distributed protocols [7]. To reach this goal, we designed Knowlog: Datalog¬ augmented with a set of epistemic modal operators, allowing the programmer to directly express what a node ”knows” instead of low level communication details.KeywordsModal OperatorLogic ProgrammingGlobal StateKnowledge StateKripke StructureThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W119897988 created "2016-06-24" @default.
- W119897988 creator A5071206013 @default.
- W119897988 date "2012-01-01" @default.
- W119897988 modified "2023-09-26" @default.
- W119897988 title "Reasoning about Knowledge in Distributed Systems Using Datalog" @default.
- W119897988 cites W2009681486 @default.
- W119897988 cites W2015688007 @default.
- W119897988 cites W2032748436 @default.
- W119897988 cites W2106355650 @default.
- W119897988 cites W2123988716 @default.
- W119897988 cites W2134321625 @default.
- W119897988 cites W2136575791 @default.
- W119897988 doi "https://doi.org/10.1007/978-3-642-32925-8_11" @default.
- W119897988 hasPublicationYear "2012" @default.
- W119897988 type Work @default.
- W119897988 sameAs 119897988 @default.
- W119897988 citedByCount "4" @default.
- W119897988 countsByYear W1198979882013 @default.
- W119897988 countsByYear W1198979882015 @default.
- W119897988 countsByYear W1198979882017 @default.
- W119897988 countsByYear W1198979882020 @default.
- W119897988 crossrefType "book-chapter" @default.
- W119897988 hasAuthorship W119897988A5071206013 @default.
- W119897988 hasConcept C102993220 @default.
- W119897988 hasConcept C107247716 @default.
- W119897988 hasConcept C120314980 @default.
- W119897988 hasConcept C127413603 @default.
- W119897988 hasConcept C128838566 @default.
- W119897988 hasConcept C145243422 @default.
- W119897988 hasConcept C148230440 @default.
- W119897988 hasConcept C167822520 @default.
- W119897988 hasConcept C177264268 @default.
- W119897988 hasConcept C199360897 @default.
- W119897988 hasConcept C203659156 @default.
- W119897988 hasConcept C2778514511 @default.
- W119897988 hasConcept C41008148 @default.
- W119897988 hasConcept C48103436 @default.
- W119897988 hasConcept C62611344 @default.
- W119897988 hasConcept C66938386 @default.
- W119897988 hasConcept C80444323 @default.
- W119897988 hasConceptScore W119897988C102993220 @default.
- W119897988 hasConceptScore W119897988C107247716 @default.
- W119897988 hasConceptScore W119897988C120314980 @default.
- W119897988 hasConceptScore W119897988C127413603 @default.
- W119897988 hasConceptScore W119897988C128838566 @default.
- W119897988 hasConceptScore W119897988C145243422 @default.
- W119897988 hasConceptScore W119897988C148230440 @default.
- W119897988 hasConceptScore W119897988C167822520 @default.
- W119897988 hasConceptScore W119897988C177264268 @default.
- W119897988 hasConceptScore W119897988C199360897 @default.
- W119897988 hasConceptScore W119897988C203659156 @default.
- W119897988 hasConceptScore W119897988C2778514511 @default.
- W119897988 hasConceptScore W119897988C41008148 @default.
- W119897988 hasConceptScore W119897988C48103436 @default.
- W119897988 hasConceptScore W119897988C62611344 @default.
- W119897988 hasConceptScore W119897988C66938386 @default.
- W119897988 hasConceptScore W119897988C80444323 @default.
- W119897988 hasLocation W1198979881 @default.
- W119897988 hasOpenAccess W119897988 @default.
- W119897988 hasPrimaryLocation W1198979881 @default.
- W119897988 hasRelatedWork W1518534730 @default.
- W119897988 hasRelatedWork W1538675963 @default.
- W119897988 hasRelatedWork W1582602829 @default.
- W119897988 hasRelatedWork W194088733 @default.
- W119897988 hasRelatedWork W1995189581 @default.
- W119897988 hasRelatedWork W2014236768 @default.
- W119897988 hasRelatedWork W2055587259 @default.
- W119897988 hasRelatedWork W2064276275 @default.
- W119897988 hasRelatedWork W2246353045 @default.
- W119897988 hasRelatedWork W2396825449 @default.
- W119897988 hasRelatedWork W2398345045 @default.
- W119897988 hasRelatedWork W2544648223 @default.
- W119897988 hasRelatedWork W2566015348 @default.
- W119897988 hasRelatedWork W2608344930 @default.
- W119897988 hasRelatedWork W2706437355 @default.
- W119897988 hasRelatedWork W2947881925 @default.
- W119897988 hasRelatedWork W29725558 @default.
- W119897988 hasRelatedWork W3204825678 @default.
- W119897988 hasRelatedWork W328424390 @default.
- W119897988 hasRelatedWork W2560089524 @default.
- W119897988 isParatext "false" @default.
- W119897988 isRetracted "false" @default.
- W119897988 magId "119897988" @default.
- W119897988 workType "book-chapter" @default.