Connectionist computations of intuitionistic reasoning
From MaRDI portal
Recommendations
- A Connectionist Computational Model for Epistemic and Temporal Reasoning
- Connectionist modal logic: representing modalities in neural networks
- Beyond associative memories: Logics and variables in connectionist models
- Neural-Symbolic Cognitive Reasoning
- Symbolic deductive reasoning using connectionist models
Cites work
- scientific article; zbMATH DE number 1003731 (Why is no real title available?)
- scientific article; zbMATH DE number 3859117 (Why is no real title available?)
- scientific article; zbMATH DE number 3872640 (Why is no real title available?)
- scientific article; zbMATH DE number 747023 (Why is no real title available?)
- scientific article; zbMATH DE number 25190 (Why is no real title available?)
- scientific article; zbMATH DE number 1231474 (Why is no real title available?)
- scientific article; zbMATH DE number 1028819 (Why is no real title available?)
- scientific article; zbMATH DE number 1059246 (Why is no real title available?)
- scientific article; zbMATH DE number 1179314 (Why is no real title available?)
- scientific article; zbMATH DE number 1950580 (Why is no real title available?)
- scientific article; zbMATH DE number 2046116 (Why is no real title available?)
- scientific article; zbMATH DE number 1848312 (Why is no real title available?)
- scientific article; zbMATH DE number 1911276 (Why is no real title available?)
- scientific article; zbMATH DE number 783780 (Why is no real title available?)
- scientific article; zbMATH DE number 795590 (Why is no real title available?)
- scientific article; zbMATH DE number 823069 (Why is no real title available?)
- scientific article; zbMATH DE number 932649 (Why is no real title available?)
- scientific article; zbMATH DE number 1392848 (Why is no real title available?)
- scientific article; zbMATH DE number 1446599 (Why is no real title available?)
- A modal analysis of staged computation
- A theory of the learnable
- Approximation by superpositions of a sigmoidal function
- Bioinformatics. The machine learning approach.
- Characterising combinational timing analyses in intuitionistic modal logic
- Computational interpretations of linear logic
- Explicit provability and constructive semantics
- Knowledge-based artificial neural networks
- Labelled Natural Deduction for Conditional Logics of Normality
- Many-dimensional modal logics: theory and applications
- Modal logic
- Monad as modality
- Preferred answer sets for extended logic programs
- Proof methods for modal and intuitionistic logics
- Robust logics
- Semantics of distributed definite clause programs
- Symbolic knowledge extraction from trained neural networks: A sound approach
- Tensor product variable binding and the representation of symbolic structures in connectionist systems
- The Semantics of Predicate Logic as a Programming Language
Cited in
(7)- Synergies between machine learning and reasoning -- an introduction by the Kay R. Amel group
- Abductive reasoning in neural-symbolic systems
- New Computational Paradigms
- A Connectionist Computational Model for Epistemic and Temporal Reasoning
- Beyond associative memories: Logics and variables in connectionist models
- Computational rationality: A converging paradigm for intelligence in brains, minds, and machines
- Abstraction based connectionist analogy processor
This page was built for publication: Connectionist computations of intuitionistic reasoning
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2503271)
