- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Parameter nets
Artificial Intelligence 22 (3):235-267 (1984)
Abstract
This article has no associated abstract. (fix it)My notes
Similar books and articles
Planar and braided proof-nets for multiplicative linear logic with mix.G. Bellin & A. Fleury - 1998 - Archive for Mathematical Logic 37 (5-6):309-325.
A new correctness criterion for cyclic proof nets.V. Michele Abrusci & Elena Maringelli - 1998 - Journal of Logic, Language and Information 7 (4):449-459.
Completeness of MLL Proof-Nets w.r.t. Weak Distributivity.Jean-Baptiste Joinet - 2007 - Journal of Symbolic Logic 72 (1):159 - 170.
A Tractable and Expressive Class of Marginal Contribution Nets and Its Applications.Edith Elkind, Leslie Ann Goldberg, Paul W. Goldberg & Michael Wooldridge - 2009 - Mathematical Logic Quarterly 55 (4):362-376.
On the Decidability of Model Checking for Several [Mu]-Calculi and Petri Nets.Javier Esparza - 1993 - LFCS, Department of Computer Science, University of Edinburgh.
Petri nets applied to experimental plant morphogenesis.Jacqueline Luck & Hermann B. Luck - 1991 - Acta Biotheoretica 39 (3-4):235-252.
Generalized Bayesian Inference Nets Model and Diagnosis of Cardiovascular Diseases.Jiayi Dou, Mingchui Dong & Booma Devi Sekar - 2011 - Journal of Intelligent Systems 20 (3):209-225.
Counterfactuals and Causal Models: Introduction to the Special Issue.Steven A. Sloman - 2013 - Cognitive Science 37 (6):969-976.
Causal Bayes nets as psychological theories of causal reasoning: evidence from psychological research.York Hagmayer - 2016 - Synthese 193 (4):1107-1126.
Canonical proof nets for classical logic.Richard McKinley - 2013 - Annals of Pure and Applied Logic 164 (6):702-732.
A new correctness criterion for multiplicative non-commutative proof nets.Roberto Maieli - 2003 - Archive for Mathematical Logic 42 (3):205-220.
Completeness results for linear logic on Petri nets.Uffe Engberg & Glynn Winskel - 1997 - Annals of Pure and Applied Logic 86 (2):101-135.
Analytics
Added to PP
2020-12-22
Downloads
15 (#893,994)
6 months
11 (#196,102)
2020-12-22
Downloads
15 (#893,994)
6 months
11 (#196,102)
Historical graph of downloads
Citations of this work
Four frames suffice: A provisional model of vision and space.Jerome A. Feldman - 1985 - Behavioral and Brain Sciences 8 (2):265-289.
A solution to the tag-assignment problem for neural networks.Gary W. Strong & Bruce A. Whitehead - 1989 - Behavioral and Brain Sciences 12 (3):381-397.
Cortical connections and parallel processing: Structure and function.Dana H. Ballard - 1986 - Behavioral and Brain Sciences 9 (1):67-90.
Task Decomposition Through Competition in a Modular Connectionist Architecture: The What and Where Vision Tasks.Robert A. Jacobs, Michael I. Jordan & Andrew G. Barto - 1991 - Cognitive Science 15 (2):219-250.
Modeling separate processing pathways for spatial and object vision.Bruce Bridgeman - 1989 - Behavioral and Brain Sciences 12 (3):398-398.
References found in this work
Connectionist Models and Their Properties.J. A. Feldman & D. H. Ballard - 1982 - Cognitive Science 6 (3):205-254.
Some informational aspects of visual perception.Fred Attneave - 1954 - Psychological Review 61 (3):183-193.
An opponent-process theory of color vision.Leo M. Hurvich & Dorothea Jameson - 1957 - Psychological Review 64 (6, Pt.1):384-404.
Determining optical flow.Berthold K. P. Horn & Brian G. Schunck - 1981 - Artificial Intelligence 17 (1-3):185-203.
Interpreting line drawings as three-dimensional surfaces.H. G. Barrow & J. M. Tenenbaum - 1981 - Artificial Intelligence 17 (1-3):75-116.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-4c2ch uwo