Matches in SemOpenAlex for { <https://semopenalex.org/work/W1503692380> ?p ?o ?g. }
Showing items 1 to 87 of
87
with 100 items per page.
- W1503692380 abstract "The modal resolution system given by P. Enjalbert and L. Farinas del Cerro (1989) has two disadvantages. One is the symbol redundancy in their system, the other is that there are many resolvent computing rules and these rules are defined recursively. In this paper, we give a notion of a standard clause set for a modal clause set. A method called standard resolution is presented, which is based on the standard clause set for propositional modal logic. We prove that any set of modal clauses is unsatisfiable if and only if there is a standard resolution deduction of an empty clause from its standard clause set. Thus, the soundness and completeness for standard resolution is proved. The new method is intuitive, has only one resolution rule and can easily be achieved due to its simple inference rule. The result of an experiment shows that our method is more efficient than the one of P. Enjalbert and L. Farinas del Cerro." @default.
- W1503692380 created "2016-06-24" @default.
- W1503692380 creator A5014291188 @default.
- W1503692380 creator A5029324710 @default.
- W1503692380 creator A5068911982 @default.
- W1503692380 date "2002-11-19" @default.
- W1503692380 modified "2023-09-26" @default.
- W1503692380 title "Modal resolution in standard clausal form" @default.
- W1503692380 cites W1554833845 @default.
- W1503692380 cites W1570374618 @default.
- W1503692380 cites W2017094488 @default.
- W1503692380 cites W2048200765 @default.
- W1503692380 cites W2079384024 @default.
- W1503692380 doi "https://doi.org/10.1109/anziis.1995.705739" @default.
- W1503692380 hasPublicationYear "2002" @default.
- W1503692380 type Work @default.
- W1503692380 sameAs 1503692380 @default.
- W1503692380 citedByCount "0" @default.
- W1503692380 crossrefType "proceedings-article" @default.
- W1503692380 hasAuthorship W1503692380A5014291188 @default.
- W1503692380 hasAuthorship W1503692380A5029324710 @default.
- W1503692380 hasAuthorship W1503692380A5068911982 @default.
- W1503692380 hasConcept C111472728 @default.
- W1503692380 hasConcept C111919701 @default.
- W1503692380 hasConcept C11413529 @default.
- W1503692380 hasConcept C138268822 @default.
- W1503692380 hasConcept C138885662 @default.
- W1503692380 hasConcept C152124472 @default.
- W1503692380 hasConcept C154945302 @default.
- W1503692380 hasConcept C16221470 @default.
- W1503692380 hasConcept C177264268 @default.
- W1503692380 hasConcept C185592680 @default.
- W1503692380 hasConcept C188027245 @default.
- W1503692380 hasConcept C199360897 @default.
- W1503692380 hasConcept C27508121 @default.
- W1503692380 hasConcept C2780586882 @default.
- W1503692380 hasConcept C33923547 @default.
- W1503692380 hasConcept C3746660 @default.
- W1503692380 hasConcept C39920170 @default.
- W1503692380 hasConcept C41008148 @default.
- W1503692380 hasConcept C71139939 @default.
- W1503692380 hasConceptScore W1503692380C111472728 @default.
- W1503692380 hasConceptScore W1503692380C111919701 @default.
- W1503692380 hasConceptScore W1503692380C11413529 @default.
- W1503692380 hasConceptScore W1503692380C138268822 @default.
- W1503692380 hasConceptScore W1503692380C138885662 @default.
- W1503692380 hasConceptScore W1503692380C152124472 @default.
- W1503692380 hasConceptScore W1503692380C154945302 @default.
- W1503692380 hasConceptScore W1503692380C16221470 @default.
- W1503692380 hasConceptScore W1503692380C177264268 @default.
- W1503692380 hasConceptScore W1503692380C185592680 @default.
- W1503692380 hasConceptScore W1503692380C188027245 @default.
- W1503692380 hasConceptScore W1503692380C199360897 @default.
- W1503692380 hasConceptScore W1503692380C27508121 @default.
- W1503692380 hasConceptScore W1503692380C2780586882 @default.
- W1503692380 hasConceptScore W1503692380C33923547 @default.
- W1503692380 hasConceptScore W1503692380C3746660 @default.
- W1503692380 hasConceptScore W1503692380C39920170 @default.
- W1503692380 hasConceptScore W1503692380C41008148 @default.
- W1503692380 hasConceptScore W1503692380C71139939 @default.
- W1503692380 hasLocation W15036923801 @default.
- W1503692380 hasOpenAccess W1503692380 @default.
- W1503692380 hasPrimaryLocation W15036923801 @default.
- W1503692380 hasRelatedWork W1517927305 @default.
- W1503692380 hasRelatedWork W1540401395 @default.
- W1503692380 hasRelatedWork W1562898168 @default.
- W1503692380 hasRelatedWork W1598987050 @default.
- W1503692380 hasRelatedWork W169558245 @default.
- W1503692380 hasRelatedWork W2003123661 @default.
- W1503692380 hasRelatedWork W208157960 @default.
- W1503692380 hasRelatedWork W2156066488 @default.
- W1503692380 hasRelatedWork W2417163 @default.
- W1503692380 hasRelatedWork W2475394524 @default.
- W1503692380 hasRelatedWork W2534990914 @default.
- W1503692380 hasRelatedWork W2545910329 @default.
- W1503692380 hasRelatedWork W2607409400 @default.
- W1503692380 hasRelatedWork W2911628438 @default.
- W1503692380 hasRelatedWork W2911964946 @default.
- W1503692380 hasRelatedWork W2912855883 @default.
- W1503692380 hasRelatedWork W312845646 @default.
- W1503692380 hasRelatedWork W37301688 @default.
- W1503692380 hasRelatedWork W46391580 @default.
- W1503692380 hasRelatedWork W65085004 @default.
- W1503692380 isParatext "false" @default.
- W1503692380 isRetracted "false" @default.
- W1503692380 magId "1503692380" @default.
- W1503692380 workType "article" @default.