Matches in SemOpenAlex for { <https://semopenalex.org/work/W2119310367> ?p ?o ?g. }
Showing items 1 to 78 of
78
with 100 items per page.
- W2119310367 abstract "As one of the possible solutions to the problem of model checking multi-agent systems, we have suggested model checking for deontic logic using the formalism of deontic interpreted systems and the possible world semantics." @default.
- W2119310367 created "2016-06-24" @default.
- W2119310367 creator A5084942048 @default.
- W2119310367 date "2008-11-01" @default.
- W2119310367 modified "2023-09-26" @default.
- W2119310367 title "A Study on the Model Checking for Deontic Logic" @default.
- W2119310367 cites W1517483046 @default.
- W2119310367 cites W1568323880 @default.
- W2119310367 cites W2129559415 @default.
- W2119310367 cites W4237609729 @default.
- W2119310367 cites W4248447990 @default.
- W2119310367 doi "https://doi.org/10.1109/iccit.2008.240" @default.
- W2119310367 hasPublicationYear "2008" @default.
- W2119310367 type Work @default.
- W2119310367 sameAs 2119310367 @default.
- W2119310367 citedByCount "2" @default.
- W2119310367 countsByYear W21193103672014 @default.
- W2119310367 crossrefType "proceedings-article" @default.
- W2119310367 hasAuthorship W2119310367A5084942048 @default.
- W2119310367 hasConcept C102993220 @default.
- W2119310367 hasConcept C110251889 @default.
- W2119310367 hasConcept C111472728 @default.
- W2119310367 hasConcept C114092440 @default.
- W2119310367 hasConcept C138885662 @default.
- W2119310367 hasConcept C142362112 @default.
- W2119310367 hasConcept C153349607 @default.
- W2119310367 hasConcept C154945302 @default.
- W2119310367 hasConcept C184337299 @default.
- W2119310367 hasConcept C185592680 @default.
- W2119310367 hasConcept C188027245 @default.
- W2119310367 hasConcept C199360897 @default.
- W2119310367 hasConcept C203659156 @default.
- W2119310367 hasConcept C25016198 @default.
- W2119310367 hasConcept C27508121 @default.
- W2119310367 hasConcept C41008148 @default.
- W2119310367 hasConcept C558565934 @default.
- W2119310367 hasConcept C6377922 @default.
- W2119310367 hasConcept C71139939 @default.
- W2119310367 hasConcept C73301696 @default.
- W2119310367 hasConcept C80444323 @default.
- W2119310367 hasConceptScore W2119310367C102993220 @default.
- W2119310367 hasConceptScore W2119310367C110251889 @default.
- W2119310367 hasConceptScore W2119310367C111472728 @default.
- W2119310367 hasConceptScore W2119310367C114092440 @default.
- W2119310367 hasConceptScore W2119310367C138885662 @default.
- W2119310367 hasConceptScore W2119310367C142362112 @default.
- W2119310367 hasConceptScore W2119310367C153349607 @default.
- W2119310367 hasConceptScore W2119310367C154945302 @default.
- W2119310367 hasConceptScore W2119310367C184337299 @default.
- W2119310367 hasConceptScore W2119310367C185592680 @default.
- W2119310367 hasConceptScore W2119310367C188027245 @default.
- W2119310367 hasConceptScore W2119310367C199360897 @default.
- W2119310367 hasConceptScore W2119310367C203659156 @default.
- W2119310367 hasConceptScore W2119310367C25016198 @default.
- W2119310367 hasConceptScore W2119310367C27508121 @default.
- W2119310367 hasConceptScore W2119310367C41008148 @default.
- W2119310367 hasConceptScore W2119310367C558565934 @default.
- W2119310367 hasConceptScore W2119310367C6377922 @default.
- W2119310367 hasConceptScore W2119310367C71139939 @default.
- W2119310367 hasConceptScore W2119310367C73301696 @default.
- W2119310367 hasConceptScore W2119310367C80444323 @default.
- W2119310367 hasLocation W21193103671 @default.
- W2119310367 hasOpenAccess W2119310367 @default.
- W2119310367 hasPrimaryLocation W21193103671 @default.
- W2119310367 hasRelatedWork W137456412 @default.
- W2119310367 hasRelatedWork W1515452107 @default.
- W2119310367 hasRelatedWork W1545861088 @default.
- W2119310367 hasRelatedWork W1563278802 @default.
- W2119310367 hasRelatedWork W2106546068 @default.
- W2119310367 hasRelatedWork W2112997772 @default.
- W2119310367 hasRelatedWork W2294983741 @default.
- W2119310367 hasRelatedWork W2567123134 @default.
- W2119310367 hasRelatedWork W1737749028 @default.
- W2119310367 hasRelatedWork W2924122917 @default.
- W2119310367 isParatext "false" @default.
- W2119310367 isRetracted "false" @default.
- W2119310367 magId "2119310367" @default.
- W2119310367 workType "article" @default.