Matches in SemOpenAlex for { <https://semopenalex.org/work/W2620470968> ?p ?o ?g. }
Showing items 1 to 80 of
80
with 100 items per page.
- W2620470968 abstract "In 1960 M. Davis and H. Putnam introduced some logical verification procedure for propositional languages – called later Putnam-Davis procedure. It found a broad application in AI as a basis of the planning paradigm based on satisfiability of formulas. Unfortunately, this procedure refers to satisfiability in a classical two-valued logic. This paper is aimed at proposing some multi-valued extension of this procedure that may be sensitive to temporal and preferential aspects of reasoning. This method is evaluated in more practical contexts" @default.
- W2620470968 created "2017-06-05" @default.
- W2620470968 creator A5024298517 @default.
- W2620470968 creator A5027779789 @default.
- W2620470968 date "2017-01-01" @default.
- W2620470968 modified "2023-10-18" @default.
- W2620470968 title "Multi-valued Extension of Putnam-Davis Procedure" @default.
- W2620470968 cites W1599103728 @default.
- W2620470968 cites W1663181891 @default.
- W2620470968 cites W2057361103 @default.
- W2620470968 cites W2062897452 @default.
- W2620470968 cites W2467273967 @default.
- W2620470968 cites W2483723374 @default.
- W2620470968 cites W2488286927 @default.
- W2620470968 cites W587439595 @default.
- W2620470968 doi "https://doi.org/10.1007/978-3-319-59060-8_41" @default.
- W2620470968 hasPublicationYear "2017" @default.
- W2620470968 type Work @default.
- W2620470968 sameAs 2620470968 @default.
- W2620470968 citedByCount "0" @default.
- W2620470968 crossrefType "book-chapter" @default.
- W2620470968 hasAuthorship W2620470968A5024298517 @default.
- W2620470968 hasAuthorship W2620470968A5027779789 @default.
- W2620470968 hasConcept C102993220 @default.
- W2620470968 hasConcept C11413529 @default.
- W2620470968 hasConcept C14523651 @default.
- W2620470968 hasConcept C154945302 @default.
- W2620470968 hasConcept C168773769 @default.
- W2620470968 hasConcept C199343813 @default.
- W2620470968 hasConcept C199360897 @default.
- W2620470968 hasConcept C2777686260 @default.
- W2620470968 hasConcept C2778029271 @default.
- W2620470968 hasConcept C33203268 @default.
- W2620470968 hasConcept C41008148 @default.
- W2620470968 hasConcept C6943359 @default.
- W2620470968 hasConcept C69562738 @default.
- W2620470968 hasConcept C71924100 @default.
- W2620470968 hasConcept C80444323 @default.
- W2620470968 hasConceptScore W2620470968C102993220 @default.
- W2620470968 hasConceptScore W2620470968C11413529 @default.
- W2620470968 hasConceptScore W2620470968C14523651 @default.
- W2620470968 hasConceptScore W2620470968C154945302 @default.
- W2620470968 hasConceptScore W2620470968C168773769 @default.
- W2620470968 hasConceptScore W2620470968C199343813 @default.
- W2620470968 hasConceptScore W2620470968C199360897 @default.
- W2620470968 hasConceptScore W2620470968C2777686260 @default.
- W2620470968 hasConceptScore W2620470968C2778029271 @default.
- W2620470968 hasConceptScore W2620470968C33203268 @default.
- W2620470968 hasConceptScore W2620470968C41008148 @default.
- W2620470968 hasConceptScore W2620470968C6943359 @default.
- W2620470968 hasConceptScore W2620470968C69562738 @default.
- W2620470968 hasConceptScore W2620470968C71924100 @default.
- W2620470968 hasConceptScore W2620470968C80444323 @default.
- W2620470968 hasLocation W26204709681 @default.
- W2620470968 hasOpenAccess W2620470968 @default.
- W2620470968 hasPrimaryLocation W26204709681 @default.
- W2620470968 hasRelatedWork W142632346 @default.
- W2620470968 hasRelatedWork W149626383 @default.
- W2620470968 hasRelatedWork W1511706077 @default.
- W2620470968 hasRelatedWork W1524953991 @default.
- W2620470968 hasRelatedWork W1981961379 @default.
- W2620470968 hasRelatedWork W2024430355 @default.
- W2620470968 hasRelatedWork W2028403208 @default.
- W2620470968 hasRelatedWork W2068955034 @default.
- W2620470968 hasRelatedWork W2100464295 @default.
- W2620470968 hasRelatedWork W2132616326 @default.
- W2620470968 hasRelatedWork W2153079347 @default.
- W2620470968 hasRelatedWork W2158199728 @default.
- W2620470968 hasRelatedWork W2170515813 @default.
- W2620470968 hasRelatedWork W2188347971 @default.
- W2620470968 hasRelatedWork W2232605402 @default.
- W2620470968 hasRelatedWork W2546157908 @default.
- W2620470968 hasRelatedWork W2587865325 @default.
- W2620470968 hasRelatedWork W2624961809 @default.
- W2620470968 hasRelatedWork W3011063628 @default.
- W2620470968 hasRelatedWork W3082208784 @default.
- W2620470968 isParatext "false" @default.
- W2620470968 isRetracted "false" @default.
- W2620470968 magId "2620470968" @default.
- W2620470968 workType "book-chapter" @default.