Kazuyuki Tanaka's Work on AND-OR Trees and Subsequent Developments
Annals of the Japan Association for Philosophy of Science 25:79-88 (2017)
| Abstract | This article has no associated abstract. (fix it) |
| Keywords | No keywords specified (fix it) |
| Categories | (categorize this paper) |
| DOI | 10.4288/jafpos.25.0_79 |
| Options |
Edit this record
Mark as duplicate
Export citation
Request removal from index
|
Download options
Our Archive
Upload a copy of this paper Check publisher's policy Papers currently archived: 44,455
External links
- From the Publisher via CrossRef (no proxy)
- jstage.jst.go.jp
(no proxy) - jstage.jst.go.jp [2] (no proxy)
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library
- Sign in / register and customize your OpenURL resolver..
- Configure custom resolver
References found in this work BETA
Equilibrium Points of an AND–OR Tree: Under Constraints on Probability.Toshio Suzuki & Yoshinao Niida - 2015 - Annals of Pure and Applied Logic 166 (11):1150-1164.
Citations of this work BETA
No citations found.
Similar books and articles
TAP Equation for Non-Negative Boltzmann Machine.Muneki Yasuda & Kazuyuki Tanaka - 2012 - Philosophical Magazine 92 (1-3):192-209.
The Galvin-Prikry Theorem and Set Existen Axioms.Kazuyuki Tanaka - 1989 - Annals of Pure and Applied Logic 42 (1):81-104.
Review: Kazuyuki Tanaka, The Galvin-Prikry Theorem and Set Existence Axioms. [REVIEW]F. R. Drake - 1991 - Journal of Symbolic Logic 56 (1):334-334.
Weak Axioms of Determinacy and Subsystems of Analysis I: Δ20 Games.Kazuyuki Tanaka - 1990 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 36 (6):481-491.
Weak Axioms of Determinacy and Subsystems of Analysis I: Δmath Image Games.Kazuyuki Tanaka - 1990 - Mathematical Logic Quarterly 36 (6):481-491.
A Game-Theoretic Proof of Analytic Ramsey Theorem.Kazuyuki Tanaka - 1992 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 38 (1):301-304.
Infinite Games and Transfinite Recursion of Multiple Inductive Definitions.Keisuke Yoshii & Kazuyuki Tanaka - 2012 - In S. Barry Cooper (ed.), How the World Computes. pp. 374--383.
Fixed Point Theory in Weak Second-Order Arithmetic.Naoki Shioji & Kazuyuki Tanaka - 1990 - Annals of Pure and Applied Logic 47 (2):167-188.
Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
Maximum Marginal Likelihood Estimation and Constrained Optimization in Image Restoration.Kazuyuki Tanaka - 2001 - 人工知能学会論文誌: Transactions of the Japanese Society for Artificial Intelligence 16:246-258.
Statistical Analysis of the Expectation-Maximization Algorithm with Loopy Belief Propagation in Bayesian Image Modeling.Shun Kataoka, Muneki Yasuda, Kazuyuki Tanaka & D. M. Titterington - 2012 - Philosophical Magazine 92 (1-3):50-63.
Δ 0 3 -Determinacy, Comprehension and Induction.MedYahya Ould MedSalem & Kazuyuki Tanaka - 2007 - Journal of Symbolic Logic 72 (2):452-462.
Some Conservation Results on Weak König's Lemma.Stephen G. Simpson, Kazuyuki Tanaka & Takeshi Yamazaki - 2002 - Annals of Pure and Applied Logic 118 (1-2):87-114.
On Formalization of Model-Theoretic Proofs of Gödel's Theorems.Makoto Kikuchi & Kazuyuki Tanaka - 1994 - Notre Dame Journal of Formal Logic 35 (3):403-412.
The Self-Embedding Theorem of WKL0 and a Non-Standard Method.Kazuyuki Tanaka - 1997 - Annals of Pure and Applied Logic 84 (1):41-49.
Analytics
Added to PP index
2017-09-10
Total views
8 ( #839,966 of 2,272,584 )
Recent downloads (6 months)
4 ( #323,014 of 2,272,584 )
2017-09-10
Total views
8 ( #839,966 of 2,272,584 )
Recent downloads (6 months)
4 ( #323,014 of 2,272,584 )
How can I increase my downloads?
Downloads
