Matches in SemOpenAlex for { <https://semopenalex.org/work/W201469749> ?p ?o ?g. }
Showing items 1 to 56 of
56
with 100 items per page.
- W201469749 abstract "It is investigated, how semantic clash resolution can be used to decide some classes of clause sets. Because semantic clash resolution is complete, the termination of the resolution procedure on a class Γ gives a decision procedure for Γ. Besides generalizing earlier results we investigate the relation between termination and clause complexity. For this purpose we define the general concept of atom complexity measure and show some general results about termination in terms of such measures. Moreover, rather than using fixed resolution refinements we define an algorithmic generator for decision procedures, which constructs appropriate semantic refinements out of the syntactical structure of the clause sets. This method is applied to the Bernays – Schönfinkel class, where it gives an efficient (resolution) decision procedure." @default.
- W201469749 created "2016-06-24" @default.
- W201469749 creator A5068161463 @default.
- W201469749 date "1993-04-01" @default.
- W201469749 modified "2023-09-26" @default.
- W201469749 title "Deciding Clause Classes by Semantic Clash Resolution" @default.
- W201469749 doi "https://doi.org/10.3233/fi-1993-182-406" @default.
- W201469749 hasPublicationYear "1993" @default.
- W201469749 type Work @default.
- W201469749 sameAs 201469749 @default.
- W201469749 citedByCount "21" @default.
- W201469749 crossrefType "journal-article" @default.
- W201469749 hasAuthorship W201469749A5068161463 @default.
- W201469749 hasConcept C134510687 @default.
- W201469749 hasConcept C138268822 @default.
- W201469749 hasConcept C138885662 @default.
- W201469749 hasConcept C154945302 @default.
- W201469749 hasConcept C204321447 @default.
- W201469749 hasConcept C2777530160 @default.
- W201469749 hasConcept C41008148 @default.
- W201469749 hasConcept C41895202 @default.
- W201469749 hasConceptScore W201469749C134510687 @default.
- W201469749 hasConceptScore W201469749C138268822 @default.
- W201469749 hasConceptScore W201469749C138885662 @default.
- W201469749 hasConceptScore W201469749C154945302 @default.
- W201469749 hasConceptScore W201469749C204321447 @default.
- W201469749 hasConceptScore W201469749C2777530160 @default.
- W201469749 hasConceptScore W201469749C41008148 @default.
- W201469749 hasConceptScore W201469749C41895202 @default.
- W201469749 hasLocation W2014697491 @default.
- W201469749 hasOpenAccess W201469749 @default.
- W201469749 hasPrimaryLocation W2014697491 @default.
- W201469749 hasRelatedWork W1513576223 @default.
- W201469749 hasRelatedWork W1528260059 @default.
- W201469749 hasRelatedWork W1541862339 @default.
- W201469749 hasRelatedWork W1552596904 @default.
- W201469749 hasRelatedWork W1552843312 @default.
- W201469749 hasRelatedWork W1554618854 @default.
- W201469749 hasRelatedWork W1558608424 @default.
- W201469749 hasRelatedWork W1562775594 @default.
- W201469749 hasRelatedWork W1782556680 @default.
- W201469749 hasRelatedWork W1790807402 @default.
- W201469749 hasRelatedWork W1791728543 @default.
- W201469749 hasRelatedWork W1924552249 @default.
- W201469749 hasRelatedWork W1973424310 @default.
- W201469749 hasRelatedWork W2020794409 @default.
- W201469749 hasRelatedWork W2037085273 @default.
- W201469749 hasRelatedWork W2071100103 @default.
- W201469749 hasRelatedWork W2100738443 @default.
- W201469749 hasRelatedWork W2123319860 @default.
- W201469749 hasRelatedWork W2146427628 @default.
- W201469749 hasRelatedWork W2912282119 @default.
- W201469749 isParatext "false" @default.
- W201469749 isRetracted "false" @default.
- W201469749 magId "201469749" @default.
- W201469749 workType "article" @default.