Matches in SemOpenAlex for { <https://semopenalex.org/work/W2356176668> ?p ?o ?g. }
Showing items 1 to 83 of
83
with 100 items per page.
- W2356176668 abstract "To deal with automatic reasoning for internetware,the paper builds an automated reasoning which according to internetware based on possible worlds.First,the paper gains some general principles about automated reasoning through the analysis of syllogism.And it also testified all the valid 24 syllogisms.Second,the paper finds a coding method by analyzing,and based on the method it creates a three-valued logic.Finally,the paper presents some general steps for automated reasoning through an example.The experiment show,compared with the resolution principle,that it raises the logical reasoning mechanization and reasoning efficiency." @default.
- W2356176668 created "2016-06-24" @default.
- W2356176668 creator A5031625880 @default.
- W2356176668 date "2011-01-01" @default.
- W2356176668 modified "2023-09-24" @default.
- W2356176668 title "Automatic reasoning on internetware based on possible worlds" @default.
- W2356176668 hasPublicationYear "2011" @default.
- W2356176668 type Work @default.
- W2356176668 sameAs 2356176668 @default.
- W2356176668 citedByCount "0" @default.
- W2356176668 crossrefType "journal-article" @default.
- W2356176668 hasAuthorship W2356176668A5031625880 @default.
- W2356176668 hasConcept C103057564 @default.
- W2356176668 hasConcept C105795698 @default.
- W2356176668 hasConcept C131598440 @default.
- W2356176668 hasConcept C138268822 @default.
- W2356176668 hasConcept C138885662 @default.
- W2356176668 hasConcept C154945302 @default.
- W2356176668 hasConcept C159032336 @default.
- W2356176668 hasConcept C161301231 @default.
- W2356176668 hasConcept C17744445 @default.
- W2356176668 hasConcept C179518139 @default.
- W2356176668 hasConcept C192906763 @default.
- W2356176668 hasConcept C195344581 @default.
- W2356176668 hasConcept C199539241 @default.
- W2356176668 hasConcept C20162079 @default.
- W2356176668 hasConcept C33923547 @default.
- W2356176668 hasConcept C37335422 @default.
- W2356176668 hasConcept C41008148 @default.
- W2356176668 hasConcept C41895202 @default.
- W2356176668 hasConcept C43971567 @default.
- W2356176668 hasConcept C83725634 @default.
- W2356176668 hasConcept C89288958 @default.
- W2356176668 hasConcept C97364631 @default.
- W2356176668 hasConceptScore W2356176668C103057564 @default.
- W2356176668 hasConceptScore W2356176668C105795698 @default.
- W2356176668 hasConceptScore W2356176668C131598440 @default.
- W2356176668 hasConceptScore W2356176668C138268822 @default.
- W2356176668 hasConceptScore W2356176668C138885662 @default.
- W2356176668 hasConceptScore W2356176668C154945302 @default.
- W2356176668 hasConceptScore W2356176668C159032336 @default.
- W2356176668 hasConceptScore W2356176668C161301231 @default.
- W2356176668 hasConceptScore W2356176668C17744445 @default.
- W2356176668 hasConceptScore W2356176668C179518139 @default.
- W2356176668 hasConceptScore W2356176668C192906763 @default.
- W2356176668 hasConceptScore W2356176668C195344581 @default.
- W2356176668 hasConceptScore W2356176668C199539241 @default.
- W2356176668 hasConceptScore W2356176668C20162079 @default.
- W2356176668 hasConceptScore W2356176668C33923547 @default.
- W2356176668 hasConceptScore W2356176668C37335422 @default.
- W2356176668 hasConceptScore W2356176668C41008148 @default.
- W2356176668 hasConceptScore W2356176668C41895202 @default.
- W2356176668 hasConceptScore W2356176668C43971567 @default.
- W2356176668 hasConceptScore W2356176668C83725634 @default.
- W2356176668 hasConceptScore W2356176668C89288958 @default.
- W2356176668 hasConceptScore W2356176668C97364631 @default.
- W2356176668 hasLocation W23561766681 @default.
- W2356176668 hasOpenAccess W2356176668 @default.
- W2356176668 hasPrimaryLocation W23561766681 @default.
- W2356176668 hasRelatedWork W115697288 @default.
- W2356176668 hasRelatedWork W1526001900 @default.
- W2356176668 hasRelatedWork W1552894491 @default.
- W2356176668 hasRelatedWork W1561225089 @default.
- W2356176668 hasRelatedWork W1563969441 @default.
- W2356176668 hasRelatedWork W1619499266 @default.
- W2356176668 hasRelatedWork W163244519 @default.
- W2356176668 hasRelatedWork W1976624859 @default.
- W2356176668 hasRelatedWork W2004116709 @default.
- W2356176668 hasRelatedWork W2034049000 @default.
- W2356176668 hasRelatedWork W2150818314 @default.
- W2356176668 hasRelatedWork W2348308764 @default.
- W2356176668 hasRelatedWork W2350718959 @default.
- W2356176668 hasRelatedWork W2372335172 @default.
- W2356176668 hasRelatedWork W2379404875 @default.
- W2356176668 hasRelatedWork W312259539 @default.
- W2356176668 hasRelatedWork W37913093 @default.
- W2356176668 hasRelatedWork W841381181 @default.
- W2356176668 hasRelatedWork W2147514980 @default.
- W2356176668 hasRelatedWork W2847265593 @default.
- W2356176668 isParatext "false" @default.
- W2356176668 isRetracted "false" @default.
- W2356176668 magId "2356176668" @default.
- W2356176668 workType "article" @default.