FRINK Linked Data Fragments server

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

• W1582268538 endingPage "326" @default.
• W1582268538 startingPage "322" @default.
• W1582268538 abstract "In this paper, we show how to establish correctness and time bounds (e.g., quality of service guarantees) for multi-agent systems composed of communicating rule-based agents. The formal models of multi-agent systems we study are transition systems where each transition corresponds to either a rule firing or an act of communication by an agent. We present a complete and sound modal logic which formalises how the beliefs of communicating rule-based agents change over time. Using a simple example, we show how this logic can be used to specify temporal properties of belief change in multi-agent systems in a precise and realistic way, and how existing modal logic techniques such as model-checking can be used to state and verify properties of agents." @default.
• W1582268538 created "2016-06-24" @default.
• W1582268538 creator A5000579390 @default.
• W1582268538 creator A5052831741 @default.
• W1582268538 creator A5064693586 @default.
• W1582268538 date "2006-05-22" @default.
• W1582268538 modified "2023-09-30" @default.
• W1582268538 title "Modal logics for communicating rule-based agents" @default.
• W1582268538 cites W1482030804 @default.
• W1582268538 cites W1545256954 @default.
• W1582268538 cites W1550887598 @default.
• W1582268538 cites W1562643504 @default.
• W1582268538 cites W1582622569 @default.
• W1582268538 cites W1778372197 @default.
• W1582268538 cites W181161903 @default.
• W1582268538 cites W1973154161 @default.
• W1582268538 cites W1988495336 @default.
• W1582268538 cites W2004046103 @default.
• W1582268538 cites W2034679184 @default.
• W1582268538 cites W2047931023 @default.
• W1582268538 cites W2095995891 @default.
• W1582268538 cites W2096122629 @default.
• W1582268538 cites W2100317875 @default.
• W1582268538 cites W2126738461 @default.
• W1582268538 cites W2134801262 @default.
• W1582268538 cites W2146351829 @default.
• W1582268538 cites W2163150506 @default.
• W1582268538 cites W2165108943 @default.
• W1582268538 cites W2169361377 @default.
• W1582268538 hasPublicationYear "2006" @default.
• W1582268538 type Work @default.
• W1582268538 sameAs 1582268538 @default.
• W1582268538 citedByCount "9" @default.
• W1582268538 countsByYear W15822685382012 @default.
• W1582268538 crossrefType "proceedings-article" @default.
• W1582268538 hasAuthorship W1582268538A5000579390 @default.
• W1582268538 hasAuthorship W1582268538A5052831741 @default.
• W1582268538 hasAuthorship W1582268538A5064693586 @default.
• W1582268538 hasConcept C102993220 @default.
• W1582268538 hasConcept C107247716 @default.
• W1582268538 hasConcept C110251889 @default.
• W1582268538 hasConcept C111472728 @default.
• W1582268538 hasConcept C11191006 @default.
• W1582268538 hasConcept C11413529 @default.
• W1582268538 hasConcept C138885662 @default.
• W1582268538 hasConcept C149271511 @default.
• W1582268538 hasConcept C154945302 @default.
• W1582268538 hasConcept C185592680 @default.
• W1582268538 hasConcept C188027245 @default.
• W1582268538 hasConcept C203659156 @default.
• W1582268538 hasConcept C25016198 @default.
• W1582268538 hasConcept C27508121 @default.
• W1582268538 hasConcept C2779167558 @default.
• W1582268538 hasConcept C2780586882 @default.
• W1582268538 hasConcept C41008148 @default.
• W1582268538 hasConcept C41550386 @default.
• W1582268538 hasConcept C4777664 @default.
• W1582268538 hasConcept C55439883 @default.
• W1582268538 hasConcept C71139939 @default.
• W1582268538 hasConcept C78344899 @default.
• W1582268538 hasConcept C80444323 @default.
• W1582268538 hasConceptScore W1582268538C102993220 @default.
• W1582268538 hasConceptScore W1582268538C107247716 @default.
• W1582268538 hasConceptScore W1582268538C110251889 @default.
• W1582268538 hasConceptScore W1582268538C111472728 @default.
• W1582268538 hasConceptScore W1582268538C11191006 @default.
• W1582268538 hasConceptScore W1582268538C11413529 @default.
• W1582268538 hasConceptScore W1582268538C138885662 @default.
• W1582268538 hasConceptScore W1582268538C149271511 @default.
• W1582268538 hasConceptScore W1582268538C154945302 @default.
• W1582268538 hasConceptScore W1582268538C185592680 @default.
• W1582268538 hasConceptScore W1582268538C188027245 @default.
• W1582268538 hasConceptScore W1582268538C203659156 @default.
• W1582268538 hasConceptScore W1582268538C25016198 @default.
• W1582268538 hasConceptScore W1582268538C27508121 @default.
• W1582268538 hasConceptScore W1582268538C2779167558 @default.
• W1582268538 hasConceptScore W1582268538C2780586882 @default.
• W1582268538 hasConceptScore W1582268538C41008148 @default.
• W1582268538 hasConceptScore W1582268538C41550386 @default.
• W1582268538 hasConceptScore W1582268538C4777664 @default.
• W1582268538 hasConceptScore W1582268538C55439883 @default.
• W1582268538 hasConceptScore W1582268538C71139939 @default.
• W1582268538 hasConceptScore W1582268538C78344899 @default.
• W1582268538 hasConceptScore W1582268538C80444323 @default.
• W1582268538 hasLocation W15822685381 @default.
• W1582268538 hasOpenAccess W1582268538 @default.
• W1582268538 hasPrimaryLocation W15822685381 @default.
• W1582268538 hasRelatedWork W1506199548 @default.
• W1582268538 hasRelatedWork W1516421150 @default.
• W1582268538 hasRelatedWork W1596365597 @default.
• W1582268538 hasRelatedWork W1607917053 @default.
• W1582268538 hasRelatedWork W1936168968 @default.
• W1582268538 hasRelatedWork W1973154161 @default.
• W1582268538 hasRelatedWork W1994227541 @default.
• W1582268538 hasRelatedWork W2004046103 @default.
• W1582268538 hasRelatedWork W2096122629 @default.
• W1582268538 hasRelatedWork W2099143991 @default.
• W1582268538 hasRelatedWork W2101254238 @default.

• next