Matches in SemOpenAlex for { <https://semopenalex.org/work/W2106073504> ?p ?o ?g. }
Showing items 1 to 73 of
73
with 100 items per page.
- W2106073504 abstract "The generation of too much information prohibits efficient resolution proof search in classical logics. Hence subsumption is used to discard redundant information and strategies have been developed to guide the proof search avoiding irrelevant information. The extension of the resolution method to temporal logics, for example that by Fisher (1991) for propositional linear-time temporal logics, further magnifies this problem. We provide an algorithm to efficiently remove irrelevant information prior to the application of Fisher's temporal resolution rule, show that it retains the completeness of the temporal resolution system and demonstrate its efficiency on a set of examples." @default.
- W2106073504 created "2016-06-24" @default.
- W2106073504 creator A5013515770 @default.
- W2106073504 date "2002-11-22" @default.
- W2106073504 modified "2023-09-26" @default.
- W2106073504 title "Temporal resolution: removing irrelevant information" @default.
- W2106073504 cites W1506588809 @default.
- W2106073504 cites W1507805823 @default.
- W2106073504 cites W1536696821 @default.
- W2106073504 cites W1537740740 @default.
- W2106073504 cites W1972956465 @default.
- W2106073504 cites W2003227046 @default.
- W2106073504 cites W2057354456 @default.
- W2106073504 cites W2086440639 @default.
- W2106073504 cites W2100738443 @default.
- W2106073504 cites W2101604841 @default.
- W2106073504 cites W2140408450 @default.
- W2106073504 cites W2149914135 @default.
- W2106073504 cites W2166656159 @default.
- W2106073504 cites W2167789485 @default.
- W2106073504 cites W4245260564 @default.
- W2106073504 doi "https://doi.org/10.1109/time.1997.600775" @default.
- W2106073504 hasPublicationYear "2002" @default.
- W2106073504 type Work @default.
- W2106073504 sameAs 2106073504 @default.
- W2106073504 citedByCount "5" @default.
- W2106073504 crossrefType "proceedings-article" @default.
- W2106073504 hasAuthorship W2106073504A5013515770 @default.
- W2106073504 hasConcept C11413529 @default.
- W2106073504 hasConcept C134306372 @default.
- W2106073504 hasConcept C138268822 @default.
- W2106073504 hasConcept C154945302 @default.
- W2106073504 hasConcept C17231256 @default.
- W2106073504 hasConcept C177264268 @default.
- W2106073504 hasConcept C199360897 @default.
- W2106073504 hasConcept C25016198 @default.
- W2106073504 hasConcept C2778029271 @default.
- W2106073504 hasConcept C33923547 @default.
- W2106073504 hasConcept C41008148 @default.
- W2106073504 hasConcept C4777664 @default.
- W2106073504 hasConcept C69562738 @default.
- W2106073504 hasConcept C80444323 @default.
- W2106073504 hasConceptScore W2106073504C11413529 @default.
- W2106073504 hasConceptScore W2106073504C134306372 @default.
- W2106073504 hasConceptScore W2106073504C138268822 @default.
- W2106073504 hasConceptScore W2106073504C154945302 @default.
- W2106073504 hasConceptScore W2106073504C17231256 @default.
- W2106073504 hasConceptScore W2106073504C177264268 @default.
- W2106073504 hasConceptScore W2106073504C199360897 @default.
- W2106073504 hasConceptScore W2106073504C25016198 @default.
- W2106073504 hasConceptScore W2106073504C2778029271 @default.
- W2106073504 hasConceptScore W2106073504C33923547 @default.
- W2106073504 hasConceptScore W2106073504C41008148 @default.
- W2106073504 hasConceptScore W2106073504C4777664 @default.
- W2106073504 hasConceptScore W2106073504C69562738 @default.
- W2106073504 hasConceptScore W2106073504C80444323 @default.
- W2106073504 hasLocation W21060735041 @default.
- W2106073504 hasOpenAccess W2106073504 @default.
- W2106073504 hasPrimaryLocation W21060735041 @default.
- W2106073504 hasRelatedWork W1523903952 @default.
- W2106073504 hasRelatedWork W1572612329 @default.
- W2106073504 hasRelatedWork W1748450182 @default.
- W2106073504 hasRelatedWork W1982302236 @default.
- W2106073504 hasRelatedWork W2022782457 @default.
- W2106073504 hasRelatedWork W2560930356 @default.
- W2106073504 hasRelatedWork W3082838271 @default.
- W2106073504 hasRelatedWork W3136949035 @default.
- W2106073504 hasRelatedWork W3204303740 @default.
- W2106073504 hasRelatedWork W4294104586 @default.
- W2106073504 isParatext "false" @default.
- W2106073504 isRetracted "false" @default.
- W2106073504 magId "2106073504" @default.
- W2106073504 workType "article" @default.