Matches in SemOpenAlex for { <https://semopenalex.org/work/W2023883031> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W2023883031 endingPage "322" @default.
- W2023883031 startingPage "311" @default.
- W2023883031 abstract "This work presents ARQ-PROP-II, the propositional version of a neural engine for finding proofs by refutation using the Resolution Principle. This neural architecture does not require special arrangements or modules to do forward or backward reasoning, being driven by the goal posed to it. ARQ-PROP-II is capable of integrated monotonic reasoning with complete and incomplete knowledge. The neural mechanism presented herein is the first to our knowledge that does not require that the knowledge base be either pre-encoded or learnt." @default.
- W2023883031 created "2016-06-24" @default.
- W2023883031 creator A5058318838 @default.
- W2023883031 date "2001-06-01" @default.
- W2023883031 modified "2023-09-23" @default.
- W2023883031 title "A GOAL-DRIVEN NEURAL PROPOSITIONAL INTERPRETER" @default.
- W2023883031 cites W1983572867 @default.
- W2023883031 cites W2020999234 @default.
- W2023883031 cites W2024060531 @default.
- W2023883031 cites W2036368940 @default.
- W2023883031 cites W2128084896 @default.
- W2023883031 cites W2130202647 @default.
- W2023883031 cites W2136087206 @default.
- W2023883031 doi "https://doi.org/10.1142/s012906570100076x" @default.
- W2023883031 hasPubMedId "https://pubmed.ncbi.nlm.nih.gov/11574968" @default.
- W2023883031 hasPublicationYear "2001" @default.
- W2023883031 type Work @default.
- W2023883031 sameAs 2023883031 @default.
- W2023883031 citedByCount "6" @default.
- W2023883031 countsByYear W20238830312017 @default.
- W2023883031 countsByYear W20238830312018 @default.
- W2023883031 crossrefType "journal-article" @default.
- W2023883031 hasAuthorship W2023883031A5058318838 @default.
- W2023883031 hasConcept C108710211 @default.
- W2023883031 hasConcept C122783720 @default.
- W2023883031 hasConcept C138268822 @default.
- W2023883031 hasConcept C154945302 @default.
- W2023883031 hasConcept C159032336 @default.
- W2023883031 hasConcept C199360897 @default.
- W2023883031 hasConcept C2524010 @default.
- W2023883031 hasConcept C33923547 @default.
- W2023883031 hasConcept C41008148 @default.
- W2023883031 hasConcept C4554734 @default.
- W2023883031 hasConcept C50644808 @default.
- W2023883031 hasConceptScore W2023883031C108710211 @default.
- W2023883031 hasConceptScore W2023883031C122783720 @default.
- W2023883031 hasConceptScore W2023883031C138268822 @default.
- W2023883031 hasConceptScore W2023883031C154945302 @default.
- W2023883031 hasConceptScore W2023883031C159032336 @default.
- W2023883031 hasConceptScore W2023883031C199360897 @default.
- W2023883031 hasConceptScore W2023883031C2524010 @default.
- W2023883031 hasConceptScore W2023883031C33923547 @default.
- W2023883031 hasConceptScore W2023883031C41008148 @default.
- W2023883031 hasConceptScore W2023883031C4554734 @default.
- W2023883031 hasConceptScore W2023883031C50644808 @default.
- W2023883031 hasIssue "03" @default.
- W2023883031 hasLocation W20238830311 @default.
- W2023883031 hasLocation W20238830312 @default.
- W2023883031 hasOpenAccess W2023883031 @default.
- W2023883031 hasPrimaryLocation W20238830311 @default.
- W2023883031 hasRelatedWork W1146933715 @default.
- W2023883031 hasRelatedWork W1501252054 @default.
- W2023883031 hasRelatedWork W1547046778 @default.
- W2023883031 hasRelatedWork W1965681098 @default.
- W2023883031 hasRelatedWork W2018297885 @default.
- W2023883031 hasRelatedWork W2034396994 @default.
- W2023883031 hasRelatedWork W2352574671 @default.
- W2023883031 hasRelatedWork W335485029 @default.
- W2023883031 hasRelatedWork W4210639694 @default.
- W2023883031 hasRelatedWork W4245681215 @default.
- W2023883031 hasVolume "11" @default.
- W2023883031 isParatext "false" @default.
- W2023883031 isRetracted "false" @default.
- W2023883031 magId "2023883031" @default.
- W2023883031 workType "article" @default.