Matches in SemOpenAlex for { <https://semopenalex.org/work/W2292289718> ?p ?o ?g. }
Showing items 1 to 96 of
96
with 100 items per page.
- W2292289718 abstract "In this paper we present a SAT-based Bounded Model Checking (BMC) method for weighted deontic interpreted systems (i.e., Kripke structures where transitions carry a weight, which is an arbitrary natural number) and properties expressed in the existential fragment of a weighted temporal logic augmented to include knowledge and deontic components (Wectlkd). In particular, since in BMC both the system model and the checked property are translated into a Boolean formula to be analysed by a SAT-solver, we introduce a new Boolean encoding of the Wectlkd formulae that is particularly optimized for managing quantitative weighted temporal operators, knowledge operators, and deontic operators, which are typically found in properties of complex multi-agent systems in models of which we assume the possibility that agents may not behave as they are supposed to, and that acting (coordination, negotiation, cooperation, etc.) of agents may cost. We illustrate how the weighted deontic interpreted systems can be applied to the analysis of a variant of the standard bit transmission problem in which an agent may fail to do something it is supposed to do." @default.
- W2292289718 created "2016-06-24" @default.
- W2292289718 creator A5040200686 @default.
- W2292289718 date "2016-02-02" @default.
- W2292289718 modified "2023-09-23" @default.
- W2292289718 title "SAT-based Bounded Model Checking for Weighted Deontic Interpreted Systems" @default.
- W2292289718 cites W129354385 @default.
- W2292289718 cites W1410435552 @default.
- W2292289718 cites W1508302995 @default.
- W2292289718 cites W1553268179 @default.
- W2292289718 cites W1568323880 @default.
- W2292289718 cites W1581639155 @default.
- W2292289718 cites W1631431469 @default.
- W2292289718 cites W1787074469 @default.
- W2292289718 cites W1819209966 @default.
- W2292289718 cites W1882581446 @default.
- W2292289718 cites W2013878945 @default.
- W2292289718 cites W2052810966 @default.
- W2292289718 cites W208863569 @default.
- W2292289718 cites W2132364217 @default.
- W2292289718 cites W2146819619 @default.
- W2292289718 cites W2148717074 @default.
- W2292289718 cites W2396555304 @default.
- W2292289718 cites W249579701 @default.
- W2292289718 cites W267423502 @default.
- W2292289718 cites W2913459036 @default.
- W2292289718 cites W2938781954 @default.
- W2292289718 cites W3021943749 @default.
- W2292289718 cites W63272327 @default.
- W2292289718 cites W1853362858 @default.
- W2292289718 doi "https://doi.org/10.3233/fi-2016-1310" @default.
- W2292289718 hasPublicationYear "2016" @default.
- W2292289718 type Work @default.
- W2292289718 sameAs 2292289718 @default.
- W2292289718 citedByCount "2" @default.
- W2292289718 countsByYear W22922897182017 @default.
- W2292289718 countsByYear W22922897182021 @default.
- W2292289718 crossrefType "journal-article" @default.
- W2292289718 hasAuthorship W2292289718A5040200686 @default.
- W2292289718 hasConcept C102993220 @default.
- W2292289718 hasConcept C110251889 @default.
- W2292289718 hasConcept C111472728 @default.
- W2292289718 hasConcept C11413529 @default.
- W2292289718 hasConcept C118615104 @default.
- W2292289718 hasConcept C134306372 @default.
- W2292289718 hasConcept C138885662 @default.
- W2292289718 hasConcept C160131679 @default.
- W2292289718 hasConcept C203659156 @default.
- W2292289718 hasConcept C33923547 @default.
- W2292289718 hasConcept C34388435 @default.
- W2292289718 hasConcept C41008148 @default.
- W2292289718 hasConcept C6377922 @default.
- W2292289718 hasConcept C78344899 @default.
- W2292289718 hasConcept C80444323 @default.
- W2292289718 hasConceptScore W2292289718C102993220 @default.
- W2292289718 hasConceptScore W2292289718C110251889 @default.
- W2292289718 hasConceptScore W2292289718C111472728 @default.
- W2292289718 hasConceptScore W2292289718C11413529 @default.
- W2292289718 hasConceptScore W2292289718C118615104 @default.
- W2292289718 hasConceptScore W2292289718C134306372 @default.
- W2292289718 hasConceptScore W2292289718C138885662 @default.
- W2292289718 hasConceptScore W2292289718C160131679 @default.
- W2292289718 hasConceptScore W2292289718C203659156 @default.
- W2292289718 hasConceptScore W2292289718C33923547 @default.
- W2292289718 hasConceptScore W2292289718C34388435 @default.
- W2292289718 hasConceptScore W2292289718C41008148 @default.
- W2292289718 hasConceptScore W2292289718C6377922 @default.
- W2292289718 hasConceptScore W2292289718C78344899 @default.
- W2292289718 hasConceptScore W2292289718C80444323 @default.
- W2292289718 hasLocation W22922897181 @default.
- W2292289718 hasOpenAccess W2292289718 @default.
- W2292289718 hasPrimaryLocation W22922897181 @default.
- W2292289718 hasRelatedWork W1532447905 @default.
- W2292289718 hasRelatedWork W1843148560 @default.
- W2292289718 hasRelatedWork W2072111049 @default.
- W2292289718 hasRelatedWork W2100973900 @default.
- W2292289718 hasRelatedWork W2106142143 @default.
- W2292289718 hasRelatedWork W2111763696 @default.
- W2292289718 hasRelatedWork W2113389546 @default.
- W2292289718 hasRelatedWork W2197993586 @default.
- W2292289718 hasRelatedWork W2465914719 @default.
- W2292289718 hasRelatedWork W2530874236 @default.
- W2292289718 hasRelatedWork W2539839969 @default.
- W2292289718 hasRelatedWork W2560587823 @default.
- W2292289718 hasRelatedWork W267423502 @default.
- W2292289718 hasRelatedWork W2922620979 @default.
- W2292289718 hasRelatedWork W2995216536 @default.
- W2292289718 hasRelatedWork W3014291813 @default.
- W2292289718 hasRelatedWork W3126289824 @default.
- W2292289718 hasRelatedWork W1745255149 @default.
- W2292289718 hasRelatedWork W2182556708 @default.
- W2292289718 hasRelatedWork W2183503654 @default.
- W2292289718 isParatext "false" @default.
- W2292289718 isRetracted "false" @default.
- W2292289718 magId "2292289718" @default.
- W2292289718 workType "article" @default.