Matches in SemOpenAlex for { <https://semopenalex.org/work/W2022782457> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2022782457 endingPage "121" @default.
- W2022782457 startingPage "95" @default.
- W2022782457 abstract "The generation of too much information prohibits efficient resolution proof search in classical logics. 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, further magnifies this problem. Here we develop an algorithm for the removal of irrelevant information during resolution proofs for a particular resolution proof system for propositional linear-time temporal logic. The resolution system operates on formulae in a normal form. Following a phase of classical style resolution, temporal resolution is carried out by detecting sets of formulae that together represent an □-formula to be resolved with a ◊-formula. It is before the application of the temporal resolution rule that the new algorithm is applied to efficiently remove irrelevant information. The completeness of the new algorithm is discussed and its complexity considered. Its practical efficiency is demonstrated by giving timings for a set of examples." @default.
- W2022782457 created "2016-06-24" @default.
- W2022782457 creator A5013515770 @default.
- W2022782457 date "1999-01-01" @default.
- W2022782457 modified "2023-09-26" @default.
- W2022782457 title "Removing irrelevant information in temporal resolution proofs" @default.
- W2022782457 cites W120333500 @default.
- W2022782457 cites W1488387378 @default.
- W2022782457 cites W1491593738 @default.
- W2022782457 cites W1506588809 @default.
- W2022782457 cites W1507805823 @default.
- W2022782457 cites W1534502685 @default.
- W2022782457 cites W1537740740 @default.
- W2022782457 cites W1675507648 @default.
- W2022782457 cites W1972956465 @default.
- W2022782457 cites W2003227046 @default.
- W2022782457 cites W2036267700 @default.
- W2022782457 cites W2057354456 @default.
- W2022782457 cites W2059647742 @default.
- W2022782457 cites W2086440639 @default.
- W2022782457 cites W2100738443 @default.
- W2022782457 cites W2101604841 @default.
- W2022782457 cites W2106073504 @default.
- W2022782457 cites W2143025323 @default.
- W2022782457 cites W2149914135 @default.
- W2022782457 cites W2157319504 @default.
- W2022782457 cites W2166656159 @default.
- W2022782457 cites W2167789485 @default.
- W2022782457 cites W4245260564 @default.
- W2022782457 doi "https://doi.org/10.1080/095281399146634" @default.
- W2022782457 hasPublicationYear "1999" @default.
- W2022782457 type Work @default.
- W2022782457 sameAs 2022782457 @default.
- W2022782457 citedByCount "1" @default.
- W2022782457 crossrefType "journal-article" @default.
- W2022782457 hasAuthorship W2022782457A5013515770 @default.
- W2022782457 hasConcept C105605280 @default.
- W2022782457 hasConcept C108710211 @default.
- W2022782457 hasConcept C11413529 @default.
- W2022782457 hasConcept C134306372 @default.
- W2022782457 hasConcept C138268822 @default.
- W2022782457 hasConcept C154945302 @default.
- W2022782457 hasConcept C17231256 @default.
- W2022782457 hasConcept C177264268 @default.
- W2022782457 hasConcept C199360897 @default.
- W2022782457 hasConcept C2318724 @default.
- W2022782457 hasConcept C25016198 @default.
- W2022782457 hasConcept C2524010 @default.
- W2022782457 hasConcept C2778029271 @default.
- W2022782457 hasConcept C33923547 @default.
- W2022782457 hasConcept C41008148 @default.
- W2022782457 hasConcept C4777664 @default.
- W2022782457 hasConcept C69562738 @default.
- W2022782457 hasConcept C80444323 @default.
- W2022782457 hasConceptScore W2022782457C105605280 @default.
- W2022782457 hasConceptScore W2022782457C108710211 @default.
- W2022782457 hasConceptScore W2022782457C11413529 @default.
- W2022782457 hasConceptScore W2022782457C134306372 @default.
- W2022782457 hasConceptScore W2022782457C138268822 @default.
- W2022782457 hasConceptScore W2022782457C154945302 @default.
- W2022782457 hasConceptScore W2022782457C17231256 @default.
- W2022782457 hasConceptScore W2022782457C177264268 @default.
- W2022782457 hasConceptScore W2022782457C199360897 @default.
- W2022782457 hasConceptScore W2022782457C2318724 @default.
- W2022782457 hasConceptScore W2022782457C25016198 @default.
- W2022782457 hasConceptScore W2022782457C2524010 @default.
- W2022782457 hasConceptScore W2022782457C2778029271 @default.
- W2022782457 hasConceptScore W2022782457C33923547 @default.
- W2022782457 hasConceptScore W2022782457C41008148 @default.
- W2022782457 hasConceptScore W2022782457C4777664 @default.
- W2022782457 hasConceptScore W2022782457C69562738 @default.
- W2022782457 hasConceptScore W2022782457C80444323 @default.
- W2022782457 hasIssue "1" @default.
- W2022782457 hasLocation W20227824571 @default.
- W2022782457 hasOpenAccess W2022782457 @default.
- W2022782457 hasPrimaryLocation W20227824571 @default.
- W2022782457 hasRelatedWork W109325276 @default.
- W2022782457 hasRelatedWork W1514848908 @default.
- W2022782457 hasRelatedWork W1593882330 @default.
- W2022782457 hasRelatedWork W2044522109 @default.
- W2022782457 hasRelatedWork W2160943948 @default.
- W2022782457 hasRelatedWork W3046591311 @default.
- W2022782457 hasRelatedWork W3103956213 @default.
- W2022782457 hasRelatedWork W339186269 @default.
- W2022782457 hasRelatedWork W617635387 @default.
- W2022782457 hasRelatedWork W2522327589 @default.
- W2022782457 hasVolume "11" @default.
- W2022782457 isParatext "false" @default.
- W2022782457 isRetracted "false" @default.
- W2022782457 magId "2022782457" @default.
- W2022782457 workType "article" @default.