Formalisation of Bayesian concealment von Takeuti, Izumi

Volltext

Mathematics and Variables ─ Independent Variables and Dependent Variables von Takeuti, Izumi

Volltext

Modal Logic of Hearsay between Beliefs with Inconsistent Individual Ideas von Takeuti, Izumi

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

Formalisation of probabilistic concealment von Takeuti, Izumi, Adachi, Tomoko

Volltext

Graphical representation of quality indicators based on medical service ontology von Takaki, Osamu, Takeuti, Izumi, Takahashi, Koichi, Izumi, Noriaki, Murata, Koichiro, Ikeda, Mitsuru, Hasida, Koiti

Volltext

The Present and Future of Philosophy of Mathematics: 特集テーマについて von Takeuti, Izumi

Volltext

The Present and Future of Philosophy of Mathematics von Takeuti, Izumi

Volltext

Mathematics and Variables von Izumi, Takeuti

Volltext

数学と変数―独立変数と従属変数 von 竹内, 泉

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

Improvements to the Monte Carlo version of RGoal algorithm von YUUJI, Ichisugi, HIDEMOTO, Nakada, NAOTO, Takahashi, IZUMI, Takeuti, TAKASHI, Sano

Volltext

Introducing Exceptional Termination of Subroutines to Recursive Hierarchical Reinforcement Learning RGoal von ICHISUGI, Yuuji, NAKADA, Hidemoto, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi

Volltext

A unified control mechanism for action planning, execution, dialogue, and inference for the reward maximization von ICHISUGI, Yuuji, NAKADA, Hidemoto, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi

Volltext

Action-Value Function Compression Algorithm for the Program Synthesis Target Language Pro5Langfor the Program Synthesis Target Language Pro5Lang von ICHISUGI, Yuuji, NAKADA, Hidemoto, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi

Volltext

Design and prototype implementation of a communication mechanism for reward-maximizing AGI von ICHISUGI, Yuuji, NAKADA, Hidemoto, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi

Volltext

Episodic Memory Mechanisms of Pro5Lang, a Target Language for Program Synthesis for Artificial General Intelligence von ICHISUGI, Yuuji, NAKADA, Hidemoto, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi

Volltext

Workflows with Passbacks and Incremental Verification of Their Correctness : Knowledge-Based Software Engineering von TAKAKI, Osamu, TAKEUTI, Izumi, IZUMI, Noriaki, HASIDA, Koiti

Volltext

数学と変数 von 竹内, 泉

Volltext

Knowledge Representation Format for the Program Synthesis Target Language Pro5Lang von ICHISUGI, Yuuji, TAKAHASHI, Naoto, TAKEUTI, Izumi, SANO, Takashi, NAKADA, Hidemoto

Volltext