Matches in SemOpenAlex for { <https://semopenalex.org/work/W2968764582> ?p ?o ?g. }
- W2968764582 endingPage "38" @default.
- W2968764582 startingPage "1" @default.
- W2968764582 abstract "Resolution-based provers for multimodal normal logics require pruning of the search space for a proof to ameliorate the inherent intractability of the satisfiability problem for such logics. We present a clausal modal-layered hyper-resolution calculus for the basic multimodal logic, which divides the clause set according to the modal level at which clauses occur to reduce the number of possible inferences. We show that the calculus is complete for the logics being considered. We also show that the calculus can be combined with other strategies. In particular, we discuss the completeness of combining modal layering with negative and ordered resolution and provide experimental results comparing the different refinements." @default.
- W2968764582 created "2019-08-22" @default.
- W2968764582 creator A5013515770 @default.
- W2968764582 creator A5070055601 @default.
- W2968764582 creator A5076121047 @default.
- W2968764582 date "2019-08-13" @default.
- W2968764582 modified "2023-09-28" @default.
- W2968764582 title "Modal Resolution" @default.
- W2968764582 cites W139679001 @default.
- W2968764582 cites W1482585805 @default.
- W2968764582 cites W1546773510 @default.
- W2968764582 cites W1593443951 @default.
- W2968764582 cites W1781094 @default.
- W2968764582 cites W1972956465 @default.
- W2968764582 cites W1979654686 @default.
- W2968764582 cites W1991981864 @default.
- W2968764582 cites W1999997889 @default.
- W2968764582 cites W2016570675 @default.
- W2968764582 cites W2020794409 @default.
- W2968764582 cites W2028312452 @default.
- W2968764582 cites W2047056871 @default.
- W2968764582 cites W2047961808 @default.
- W2968764582 cites W2072883183 @default.
- W2968764582 cites W2073491323 @default.
- W2968764582 cites W2076073997 @default.
- W2968764582 cites W2088374045 @default.
- W2968764582 cites W2092795970 @default.
- W2968764582 cites W2100738443 @default.
- W2968764582 cites W2136935557 @default.
- W2968764582 cites W2146345041 @default.
- W2968764582 cites W2162361330 @default.
- W2968764582 cites W2164389533 @default.
- W2968764582 cites W2240236149 @default.
- W2968764582 cites W2494487003 @default.
- W2968764582 cites W2945005331 @default.
- W2968764582 cites W302791680 @default.
- W2968764582 doi "https://doi.org/10.1145/3331448" @default.
- W2968764582 hasPublicationYear "2019" @default.
- W2968764582 type Work @default.
- W2968764582 sameAs 2968764582 @default.
- W2968764582 citedByCount "8" @default.
- W2968764582 countsByYear W29687645822021 @default.
- W2968764582 countsByYear W29687645822022 @default.
- W2968764582 countsByYear W29687645822023 @default.
- W2968764582 crossrefType "journal-article" @default.
- W2968764582 hasAuthorship W2968764582A5013515770 @default.
- W2968764582 hasAuthorship W2968764582A5070055601 @default.
- W2968764582 hasAuthorship W2968764582A5076121047 @default.
- W2968764582 hasBestOaLocation W29687645821 @default.
- W2968764582 hasConcept C108710211 @default.
- W2968764582 hasConcept C11191006 @default.
- W2968764582 hasConcept C114092440 @default.
- W2968764582 hasConcept C11413529 @default.
- W2968764582 hasConcept C134306372 @default.
- W2968764582 hasConcept C136119220 @default.
- W2968764582 hasConcept C138268822 @default.
- W2968764582 hasConcept C154945302 @default.
- W2968764582 hasConcept C168773769 @default.
- W2968764582 hasConcept C17231256 @default.
- W2968764582 hasConcept C179799912 @default.
- W2968764582 hasConcept C185592680 @default.
- W2968764582 hasConcept C188027245 @default.
- W2968764582 hasConcept C197685441 @default.
- W2968764582 hasConcept C199343813 @default.
- W2968764582 hasConcept C202444582 @default.
- W2968764582 hasConcept C2524010 @default.
- W2968764582 hasConcept C27508121 @default.
- W2968764582 hasConcept C2777686260 @default.
- W2968764582 hasConcept C33923547 @default.
- W2968764582 hasConcept C41008148 @default.
- W2968764582 hasConcept C65880906 @default.
- W2968764582 hasConcept C71139939 @default.
- W2968764582 hasConcept C71924100 @default.
- W2968764582 hasConceptScore W2968764582C108710211 @default.
- W2968764582 hasConceptScore W2968764582C11191006 @default.
- W2968764582 hasConceptScore W2968764582C114092440 @default.
- W2968764582 hasConceptScore W2968764582C11413529 @default.
- W2968764582 hasConceptScore W2968764582C134306372 @default.
- W2968764582 hasConceptScore W2968764582C136119220 @default.
- W2968764582 hasConceptScore W2968764582C138268822 @default.
- W2968764582 hasConceptScore W2968764582C154945302 @default.
- W2968764582 hasConceptScore W2968764582C168773769 @default.
- W2968764582 hasConceptScore W2968764582C17231256 @default.
- W2968764582 hasConceptScore W2968764582C179799912 @default.
- W2968764582 hasConceptScore W2968764582C185592680 @default.
- W2968764582 hasConceptScore W2968764582C188027245 @default.
- W2968764582 hasConceptScore W2968764582C197685441 @default.
- W2968764582 hasConceptScore W2968764582C199343813 @default.
- W2968764582 hasConceptScore W2968764582C202444582 @default.
- W2968764582 hasConceptScore W2968764582C2524010 @default.
- W2968764582 hasConceptScore W2968764582C27508121 @default.
- W2968764582 hasConceptScore W2968764582C2777686260 @default.
- W2968764582 hasConceptScore W2968764582C33923547 @default.
- W2968764582 hasConceptScore W2968764582C41008148 @default.
- W2968764582 hasConceptScore W2968764582C65880906 @default.
- W2968764582 hasConceptScore W2968764582C71139939 @default.
- W2968764582 hasConceptScore W2968764582C71924100 @default.
- W2968764582 hasFunder F4320334627 @default.