Matches in SemOpenAlex for { <https://semopenalex.org/work/W2532878093> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2532878093 abstract "Automatic inference is the center of the artificial intelligence. Resolution principle is one of the focusing direction in automated theorem proving because of its simplification. Many modified resolution methods have been raised, such as semantic resolution, ordered linear resolution, locking restriction resolution, fuzzy neural network resolution etc. Neural network (NN) has the advantages of learning capabilities and distributed structure that allows for highly parallel process. In this paper, we take advantage of NN to realize the resolution." @default.
- W2532878093 created "2016-10-28" @default.
- W2532878093 creator A5032096611 @default.
- W2532878093 creator A5050428990 @default.
- W2532878093 creator A5059874786 @default.
- W2532878093 creator A5090989509 @default.
- W2532878093 date "2004-06-21" @default.
- W2532878093 modified "2023-09-23" @default.
- W2532878093 title "Neural network resolution on horn clause set" @default.
- W2532878093 cites W1579379232 @default.
- W2532878093 cites W2034876376 @default.
- W2532878093 doi "https://doi.org/10.1109/icmlc.2003.1259767" @default.
- W2532878093 hasPublicationYear "2004" @default.
- W2532878093 type Work @default.
- W2532878093 sameAs 2532878093 @default.
- W2532878093 citedByCount "0" @default.
- W2532878093 crossrefType "proceedings-article" @default.
- W2532878093 hasAuthorship W2532878093A5032096611 @default.
- W2532878093 hasAuthorship W2532878093A5050428990 @default.
- W2532878093 hasAuthorship W2532878093A5059874786 @default.
- W2532878093 hasAuthorship W2532878093A5090989509 @default.
- W2532878093 hasConcept C11413529 @default.
- W2532878093 hasConcept C138268822 @default.
- W2532878093 hasConcept C154945302 @default.
- W2532878093 hasConcept C177264268 @default.
- W2532878093 hasConcept C199360897 @default.
- W2532878093 hasConcept C2776214188 @default.
- W2532878093 hasConcept C41008148 @default.
- W2532878093 hasConcept C50644808 @default.
- W2532878093 hasConcept C98045186 @default.
- W2532878093 hasConceptScore W2532878093C11413529 @default.
- W2532878093 hasConceptScore W2532878093C138268822 @default.
- W2532878093 hasConceptScore W2532878093C154945302 @default.
- W2532878093 hasConceptScore W2532878093C177264268 @default.
- W2532878093 hasConceptScore W2532878093C199360897 @default.
- W2532878093 hasConceptScore W2532878093C2776214188 @default.
- W2532878093 hasConceptScore W2532878093C41008148 @default.
- W2532878093 hasConceptScore W2532878093C50644808 @default.
- W2532878093 hasConceptScore W2532878093C98045186 @default.
- W2532878093 hasLocation W25328780931 @default.
- W2532878093 hasOpenAccess W2532878093 @default.
- W2532878093 hasPrimaryLocation W25328780931 @default.
- W2532878093 hasRelatedWork W1479774251 @default.
- W2532878093 hasRelatedWork W1500492360 @default.
- W2532878093 hasRelatedWork W1519696996 @default.
- W2532878093 hasRelatedWork W1535838785 @default.
- W2532878093 hasRelatedWork W1548385991 @default.
- W2532878093 hasRelatedWork W1553958230 @default.
- W2532878093 hasRelatedWork W1566053249 @default.
- W2532878093 hasRelatedWork W177962447 @default.
- W2532878093 hasRelatedWork W2053174576 @default.
- W2532878093 hasRelatedWork W2073910162 @default.
- W2532878093 hasRelatedWork W2127369475 @default.
- W2532878093 hasRelatedWork W2131843135 @default.
- W2532878093 hasRelatedWork W2141705051 @default.
- W2532878093 hasRelatedWork W2166182701 @default.
- W2532878093 hasRelatedWork W2167131935 @default.
- W2532878093 hasRelatedWork W2169766710 @default.
- W2532878093 hasRelatedWork W2488051437 @default.
- W2532878093 hasRelatedWork W2532994330 @default.
- W2532878093 hasRelatedWork W2538073050 @default.
- W2532878093 hasRelatedWork W2096561993 @default.
- W2532878093 isParatext "false" @default.
- W2532878093 isRetracted "false" @default.
- W2532878093 magId "2532878093" @default.
- W2532878093 workType "article" @default.