Connectionist computations of intuitionistic reasoning (Q2503271): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(6 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Artur S. d'Avila Garcez / rank | |||
Property / author | |||
Property / author: Luís C. Lamb / rank | |||
Property / author | |||
Property / author: Dov M. Gabbay / rank | |||
Property / author | |||
Property / author: Artur S. d'Avila Garcez / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Luís C. Lamb / rank | |||
Normal rank | |||
Property / author | |||
Property / author: Dov M. Gabbay / rank | |||
Normal rank | |||
Property / describes a project that uses | |||
Property / describes a project that uses: MiniML / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / full work available at URL | |||
Property / full work available at URL: https://doi.org/10.1016/j.tcs.2005.11.043 / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2029518327 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computational interpretations of linear logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4785506 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Explicit Provability and Constructive Semantics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2753374 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q2744124 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Preferred answer sets for extended logic programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Labelled Natural Deduction for Conditional Logics of Normality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3128959 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Approximation by superpositions of a sigmoidal function / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4342082 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A modal analysis of staged computation / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Symbolic knowledge extraction from trained neural networks: A sound approach / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4806970 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4845472 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proof methods for modal and intuitionistic logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Many-dimensional modal logics: theory and applications / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4894942 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3835817 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4843185 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3983043 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4451078 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4936225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4953875 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Monad as modality / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3339245 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4413266 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3328540 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Characterising combinational timing analyses in intuitionistic modal logic / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4398828 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4222777 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Semantics of distributed definite clause programs / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Tensor product variable binding and the representation of symbolic structures in connectionist systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Knowledge-based artificial neural networks / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A theory of the learnable / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Robust logics / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: The Semantics of Predicate Logic as a Programming Language / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4856771 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4353561 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 20:22, 24 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Connectionist computations of intuitionistic reasoning |
scientific article |
Statements
Connectionist computations of intuitionistic reasoning (English)
0 references
14 September 2006
0 references
connectionist models of computation
0 references
neural-symbolic learning systems
0 references
intuitionistic reasoning
0 references
neural networks
0 references
0 references