Matches in SemOpenAlex for { <https://semopenalex.org/work/W1601175263> ?p ?o ?g. }
Showing items 1 to 65 of
65
with 100 items per page.
- W1601175263 endingPage "106" @default.
- W1601175263 startingPage "95" @default.
- W1601175263 abstract "We present a set of SAT-based decision procedures for various classical modal logics. The decision procedures are implemented in our system *SAT. For some of the logics we deal with, we are not aware of any other implementation. For the others, we define a testing methodology which generalizes the 3CNFK methodology by Giunchiglia and Sebastiani. The experimental evaluation shows that our decision procedures perform better than or as well as other state-of-the-art decision procedures.KeywordsModal LogicDecision ProcedureConsistency CheckPropositional VariablePropositional FormulaThese keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves." @default.
- W1601175263 created "2016-06-24" @default.
- W1601175263 creator A5001227032 @default.
- W1601175263 creator A5004609930 @default.
- W1601175263 creator A5067087113 @default.
- W1601175263 date "2000-01-01" @default.
- W1601175263 modified "2023-09-25" @default.
- W1601175263 title "The SAT-Based Approach for Classical Modal Logics" @default.
- W1601175263 cites W1511155470 @default.
- W1601175263 cites W1543601803 @default.
- W1601175263 cites W1545118076 @default.
- W1601175263 cites W1570374618 @default.
- W1601175263 cites W2062897452 @default.
- W1601175263 cites W2109540677 @default.
- W1601175263 cites W4242309855 @default.
- W1601175263 doi "https://doi.org/10.1007/3-540-46238-4_9" @default.
- W1601175263 hasPublicationYear "2000" @default.
- W1601175263 type Work @default.
- W1601175263 sameAs 1601175263 @default.
- W1601175263 citedByCount "5" @default.
- W1601175263 crossrefType "book-chapter" @default.
- W1601175263 hasAuthorship W1601175263A5001227032 @default.
- W1601175263 hasAuthorship W1601175263A5004609930 @default.
- W1601175263 hasAuthorship W1601175263A5067087113 @default.
- W1601175263 hasBestOaLocation W16011752632 @default.
- W1601175263 hasConcept C11413529 @default.
- W1601175263 hasConcept C154945302 @default.
- W1601175263 hasConcept C177264268 @default.
- W1601175263 hasConcept C185592680 @default.
- W1601175263 hasConcept C188027245 @default.
- W1601175263 hasConcept C199360897 @default.
- W1601175263 hasConcept C27508121 @default.
- W1601175263 hasConcept C41008148 @default.
- W1601175263 hasConcept C48103436 @default.
- W1601175263 hasConcept C71139939 @default.
- W1601175263 hasConcept C80444323 @default.
- W1601175263 hasConceptScore W1601175263C11413529 @default.
- W1601175263 hasConceptScore W1601175263C154945302 @default.
- W1601175263 hasConceptScore W1601175263C177264268 @default.
- W1601175263 hasConceptScore W1601175263C185592680 @default.
- W1601175263 hasConceptScore W1601175263C188027245 @default.
- W1601175263 hasConceptScore W1601175263C199360897 @default.
- W1601175263 hasConceptScore W1601175263C27508121 @default.
- W1601175263 hasConceptScore W1601175263C41008148 @default.
- W1601175263 hasConceptScore W1601175263C48103436 @default.
- W1601175263 hasConceptScore W1601175263C71139939 @default.
- W1601175263 hasConceptScore W1601175263C80444323 @default.
- W1601175263 hasLocation W16011752631 @default.
- W1601175263 hasLocation W16011752632 @default.
- W1601175263 hasOpenAccess W1601175263 @default.
- W1601175263 hasPrimaryLocation W16011752631 @default.
- W1601175263 hasRelatedWork W147047677 @default.
- W1601175263 hasRelatedWork W1596013090 @default.
- W1601175263 hasRelatedWork W1794903062 @default.
- W1601175263 hasRelatedWork W2401845496 @default.
- W1601175263 hasRelatedWork W2616776703 @default.
- W1601175263 hasRelatedWork W2741804002 @default.
- W1601175263 hasRelatedWork W2950283489 @default.
- W1601175263 hasRelatedWork W2952004755 @default.
- W1601175263 isParatext "false" @default.
- W1601175263 isRetracted "false" @default.
- W1601175263 magId "1601175263" @default.
- W1601175263 workType "book-chapter" @default.