FRINK Linked Data Fragments server

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

• W3202344462 endingPage "3151" @default.
• W3202344462 startingPage "3075" @default.
• W3202344462 abstract "Abstract We present and discuss a novel language restriction for modal logics for multiagent systems, called modal context restriction, that reduces the complexity of the satisfiability problem from EXPTIME complete to NPTIME complete. We focus on BDI multimodal logics that contain fix-point modalities like common beliefs and mutual intentions together with realism and introspection axioms. We show how this combination of modalities and axioms affects complexity of the satisfiability problem and how it can be reduced by restricting the modal context of formulas." @default.
• W3202344462 created "2021-10-11" @default.
• W3202344462 creator A5058148440 @default.
• W3202344462 date "2021-10-06" @default.
• W3202344462 modified "2023-10-18" @default.
• W3202344462 title "Modal context restriction for multiagent BDI logics" @default.
• W3202344462 cites W1480750333 @default.
• W3202344462 cites W1494976167 @default.
• W3202344462 cites W1514303417 @default.
• W3202344462 cites W1528600100 @default.
• W3202344462 cites W1529406291 @default.
• W3202344462 cites W1577139107 @default.
• W3202344462 cites W1606647729 @default.
• W3202344462 cites W1946373803 @default.
• W3202344462 cites W2002128397 @default.
• W3202344462 cites W2019485515 @default.
• W3202344462 cites W2038571075 @default.
• W3202344462 cites W2048592740 @default.
• W3202344462 cites W2076073997 @default.
• W3202344462 cites W2080461902 @default.
• W3202344462 cites W2085858758 @default.
• W3202344462 cites W2103739844 @default.
• W3202344462 cites W2106172458 @default.
• W3202344462 cites W2156912430 @default.
• W3202344462 cites W2160811334 @default.
• W3202344462 cites W2176946442 @default.
• W3202344462 cites W2337050893 @default.
• W3202344462 cites W2431139695 @default.
• W3202344462 cites W2560328153 @default.
• W3202344462 cites W2593041881 @default.
• W3202344462 cites W2602990746 @default.
• W3202344462 cites W2771778895 @default.
• W3202344462 cites W2944361028 @default.
• W3202344462 cites W2951449870 @default.
• W3202344462 cites W3021122522 @default.
• W3202344462 cites W3047185590 @default.
• W3202344462 cites W3140030144 @default.
• W3202344462 cites W4246965510 @default.
• W3202344462 cites W4251228600 @default.
• W3202344462 cites W4252284432 @default.
• W3202344462 cites W4252706706 @default.
• W3202344462 cites W579004349 @default.
• W3202344462 doi "https://doi.org/10.1007/s10462-021-10064-6" @default.
• W3202344462 hasPublicationYear "2021" @default.
• W3202344462 type Work @default.
• W3202344462 sameAs 3202344462 @default.
• W3202344462 citedByCount "1" @default.
• W3202344462 countsByYear W32023444622023 @default.
• W3202344462 crossrefType "journal-article" @default.
• W3202344462 hasAuthorship W3202344462A5058148440 @default.
• W3202344462 hasBestOaLocation W32023444621 @default.
• W3202344462 hasConcept C102993220 @default.
• W3202344462 hasConcept C111472728 @default.
• W3202344462 hasConcept C11191006 @default.
• W3202344462 hasConcept C11413529 @default.
• W3202344462 hasConcept C120665830 @default.
• W3202344462 hasConcept C121332964 @default.
• W3202344462 hasConcept C129671850 @default.
• W3202344462 hasConcept C138885662 @default.
• W3202344462 hasConcept C144024400 @default.
• W3202344462 hasConcept C151730666 @default.
• W3202344462 hasConcept C154945302 @default.
• W3202344462 hasConcept C167729594 @default.
• W3202344462 hasConcept C168773769 @default.
• W3202344462 hasConcept C179799912 @default.
• W3202344462 hasConcept C185592680 @default.
• W3202344462 hasConcept C188027245 @default.
• W3202344462 hasConcept C192209626 @default.
• W3202344462 hasConcept C197685441 @default.
• W3202344462 hasConcept C203659156 @default.
• W3202344462 hasConcept C2524010 @default.
• W3202344462 hasConcept C27508121 @default.
• W3202344462 hasConcept C2779343474 @default.
• W3202344462 hasConcept C2779903281 @default.
• W3202344462 hasConcept C2780226545 @default.
• W3202344462 hasConcept C33923547 @default.
• W3202344462 hasConcept C36289849 @default.
• W3202344462 hasConcept C41008148 @default.
• W3202344462 hasConcept C56049555 @default.
• W3202344462 hasConcept C71139939 @default.
• W3202344462 hasConcept C78344899 @default.
• W3202344462 hasConcept C80444323 @default.
• W3202344462 hasConcept C86803240 @default.
• W3202344462 hasConceptScore W3202344462C102993220 @default.
• W3202344462 hasConceptScore W3202344462C111472728 @default.
• W3202344462 hasConceptScore W3202344462C11191006 @default.
• W3202344462 hasConceptScore W3202344462C11413529 @default.
• W3202344462 hasConceptScore W3202344462C120665830 @default.
• W3202344462 hasConceptScore W3202344462C121332964 @default.
• W3202344462 hasConceptScore W3202344462C129671850 @default.
• W3202344462 hasConceptScore W3202344462C138885662 @default.
• W3202344462 hasConceptScore W3202344462C144024400 @default.
• W3202344462 hasConceptScore W3202344462C151730666 @default.
• W3202344462 hasConceptScore W3202344462C154945302 @default.
• W3202344462 hasConceptScore W3202344462C167729594 @default.
• W3202344462 hasConceptScore W3202344462C168773769 @default.
• W3202344462 hasConceptScore W3202344462C179799912 @default.
• W3202344462 hasConceptScore W3202344462C185592680 @default.

• next