Results for 'Katsumi Mimaki'

89 found
Order:
  1. Bukkyo to Kirisutokyo Takizawa Katsumi to No Taidan o Motomete.Seiichi Yagi, Masao Abe, Ryomin Akizuki, Masaaki Honda & Katsumi Takizawa - 1981 - San Ichi Shobo.
    No categories
    Translate
     
     
    Export citation  
     
    Bookmark  
  2.  17
    Choosing Ontologies for Reuse.Megan Katsumi & Michael Grüninger - 2017 - Applied Ontology 12 (3-4):195-221.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  3.  24
    Behavioral Speed Contagion: Automatic Modulation of Movement Timing by Observation of Body Movements.Katsumi Watanabe - 2008 - Cognition 106 (3):1514-1524.
  4.  14
    Differential Effect of Distractor Timing on Localizing Versus Identifying Visual Changes.Katsumi Watanabe - 2003 - Cognition 88 (2):243-257.
  5.  18
    The Simple Substitution Property of the Intermediate Propositional Logics.Katsumi Sasaki - 1989 - Bulletin of the Section of Logic 18 (3):94-99.
  6.  24
    Formulas in Modal Logic S4.Katsumi Sasaki - 2010 - Review of Symbolic Logic 3 (4):600-627.
    Here, we provide a detailed description of the mutual relation of formulas with finite propositional variables p1, …, pm in modal logic S4. Our description contains more information on S4 than those given in Shehtman (1978) and Moss (2007); however, Shehtman (1978) also treated Grzegorczyk logic and Moss (2007) treated many other normal modal logics. Specifically, we construct normal forms, which behave like the principal conjunctive normal forms in the classical propositional logic. The results include finite and effective methods to (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  7. Crossmodal Attention in Event Perception.Katsumi Watanabe & Shinsuke Shimojo - 2005 - In Laurent Itti, Geraint Rees & John K. Tsotsos (eds.), Neurobiology of Attention. Academic Press. pp. 538--543.
     
    Export citation  
     
    Bookmark   1 citation  
  8.  31
    The Simple Substitution Property of Gödel's Intermediate Propositional Logics Sn's.Katsumi Sasaki - 1990 - Studia Logica 49 (4):471 - 481.
    The simple substitution property provides a systematic and easy method for proving a theorem from the additional axioms of intermediate prepositional logics. There have been known only four intermediate logics that have the additional axioms with the property. In this paper, we reformulate the many valued logics S' n defined in Gödel [3] and prove the simple substitution property for them. In our former paper [9], we proved that the sets of axioms composed of one prepositional variable do not have (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  9.  22
    Implicit Transfer of Reversed Temporal Structure in Visuomotor Sequence Learning.Kanji Tanaka & Katsumi Watanabe - 2014 - Cognitive Science 38 (3):565-579.
    Some spatio-temporal structures are easier to transfer implicitly in sequential learning. In this study, we investigated whether the consistent reversal of triads of learned components would support the implicit transfer of their temporal structure in visuomotor sequence learning. A triad comprised three sequential button presses ([1][2][3]) and seven consecutive triads comprised a sequence. Participants learned sequences by trial and error, until they could complete it 20 times without error. Then, they learned another sequence, in which each triad was reversed ([3][2][1]), (...)
    No categories
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   4 citations  
  10.  13
    The Role of Arousal in the Spontaneous Regulation of Emotions in Healthy Aging: A fMRI Investigation.Sanda Dolcos, Yuta Katsumi & Roger A. Dixon - 2014 - Frontiers in Psychology 5.
  11.  17
    Japan and UN Peace Operations.Katsumi Ishizuka - 2004 - Japanese Journal of Political Science 5 (1):137-157.
    Japan created in 1992 to provide a legal framework for international peacekeeping activities, following its financial involvement in the Gulf War of 1991. This paper argues that the PKO Law imposed certain restrictions which complicated the missions of the Japanese Self Defence Forces (SDF) and civilian personnel in operational fields. Post 11 September (2001), the Japanese government created a new legal framework for counter-terrorism and dispatched its SDF personnel to the United Nations Transitional Administration in East Timor (UNTAET) and the (...)
    Direct download (6 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  12.  5
    Emerging Directions in Emotional Episodic Memory.Florin Dolcos, Yuta Katsumi, Mathias Weymar, Matthew Moore, Takashi Tsukiura & Sanda Dolcos - 2017 - Frontiers in Psychology 8.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   3 citations  
  13.  10
    Computing Argumentation Semantics in Answer Set Programming.Toshiko Wakaki & Katsumi Nitta - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 254--269.
    Direct download  
     
    Export citation  
     
    Bookmark   1 citation  
  14.  33
    A Cut-Free Sequent System for the Smallest Interpretability Logic.Katsumi Sasaki - 2002 - Studia Logica 70 (3):353-372.
    The idea of interpretability logics arose in Visser [Vis90]. He introduced the logics as extensions of the provability logic GLwith a binary modality. The arithmetic realization of A B in a theory T will be that T plus the realization of B is interpretable in T plus the realization of A. More precisely, there exists a function f on the formulas of the language of T such that T + B C implies T + A f.The interpretability logics were considered (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  15.  15
    A Sequent System of the Logic R− for Rosser Sentences2.Katsumi Sasaki & Shigeo Ohama - 2004 - Bulletin of the Section of Logic 33 (1):11-21.
    Direct download  
     
    Export citation  
     
    Bookmark  
  16.  22
    On Sequent Systems for Bimodal Provability Logics MOS and Prl1.Katsumi Sasaki - 2002 - Bulletin of the Section of Logic 31 (2):91-101.
  17.  15
    Transitivity of Finite Models Constructed From Normal Forms for a Modal Logic Containing K4.Katsumi Sasaki - 2012 - Bulletin of the Section of Logic 41 (1/2):75-88.
    Direct download  
     
    Export citation  
     
    Bookmark  
  18.  43
    The Simple Substitution Property of the Intermediate Propositional Logics on Finite Slices.Katsumi Sasaki - 1993 - Studia Logica 52 (1):41 - 62.
    The simple substitution property provides a systematic and easy method for proving a theorem by an axiomatic way. The notion of the property was introduced in Hosoi [4] but without a definite name and he showed three examples of the axioms with the property. Later, the property was given it's name as above in Sasaki [7].Our main result here is that the necessary and sufficient condition for a logicL on a finite slice to have the simple substitution property is thatL (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark  
  19.  13
    Nakamura Katsumi. Kagakutehi ninsiki – Wien Gakudan no kenkai . Kagaku ronrigaku, Nissin-Syoin, Tokyo 1944, pp. 1–27. , no. 9 .). [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (3):235-235.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  20.  8
    Nakamura Katsumi. Ronrigaku, kagaku hôhóron . Yûhikaku, Tokyo 1952, 3 + 6 + 318 + 5 pp. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (2):148-148.
    Direct download (3 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  21.  10
    Review: Katsumi Nakamura, Scientific Knowledge--The View of the Vienna Circle. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (3):235-235.
  22.  3
    Review: Katsumi Nakamura, Logic and Scientific Method. [REVIEW]Takeo Sugihara - 1954 - Journal of Symbolic Logic 19 (2):148-148.
  23.  6
    Lecture II: On the Zen Philosophy of Hisamatsu Shinichi.Katsumi Takizawa - 1983 - Buddhist-Christian Studies 3:131.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  24.  7
    Lecture I: On the Primary and Secondary Contacts Between God and Man.Katsumi Takizawa - 1983 - Buddhist-Christian Studies 3:123.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  25.  8
    Some Local Properties of Ω-Stable Groups.Katsumi Tanaka - 1988 - Archive for Mathematical Logic 27 (1):45-47.
    In this note we study some local properties ofω-stable groups of finite Morley rank.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  26.  20
    Weber's Sociology and the Exact Sciences: The Common Characteristics of Both Epistemologies.Katsumi Yasumura - 1988 - Annals of the Japan Association for Philosophy of Science 7 (3):131-146.
  27.  1
    Prioritized Logic Programming and its Application to Commonsense Reasoning.Chiaki Sakama & Katsumi Inoue - 2000 - Artificial Intelligence 123 (1-2):185-222.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  28.  11
    Nakamura Katsumi. Ronrigaku Risetsu—Kagahuronrigahu Ni Totte—. Baihukan, Tokyo 1942, 3 + 280 Pp.Nakamura Katsumi. Zum Logistischen Gestaltbegriffe. Appendix to the Foregoing, Pp. 257–280. [REVIEW]Alonzo Church - 1950 - Journal of Symbolic Logic 15 (1):61-62.
  29.  11
    Katsumi Nakamura. Zum Logischen Funktionsbegriffe des Wiener Kreises. Kachi to Shikô , by Katsumi Nakamura, Tokyo1939, Pp. 157–183. Reprint of Logikdes “Wiener Kreises” Und Logikder Gestalttheorie, The Japanese Journal of Psychology, N. S. Vol. 10 No. 1. [REVIEW]Alonzo Church - 1941 - Journal of Symbolic Logic 6 (1):36-36.
    Direct download (4 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  30.  50
    Katsumi Tanabe: Sculptures of Palmyra, I. (Memoirs of the Ancient Orient Museum, Tokyo, 1.) Pp. 475; 2 Maps, 473 Black-and-White Duotone Plates. Tokyo: Ancient Orient Museum, 1986. 25,000 Japanese Yen. [REVIEW]Malcolm A. R. Colledge - 1988 - The Classical Review 38 (1):184-184.
  31. Yūrashia Shoshūkyō No Kankei Shiron: Tasha No Juyō, Tasha No Haijo.Katsumi Fukasawa (ed.) - 2010 - Bensei Shuppan.
    Translate
     
     
    Export citation  
     
    Bookmark  
  32. Linear Resolution for Consequence Finding.Katsumi Inoue - 1992 - Artificial Intelligence 56 (2-3):301-353.
  33.  25
    The Crisis Management Capability of Japan's Self Defense Forces for UN Peacekeeping, Counter-Terrorism, and Disaster Relief.Katsumi Ishizuka - 2013 - Japanese Journal of Political Science 14 (2):201-222.
    This article examines the crisis management capabilities of Japan's Self Defense Forces (SDF) in the areas of United Nations (UN) peacekeeping, counter-terrorism, and disaster relief. The three types of overseas operations were all initiated by Japan as a response to international crises. While SDF crisis management capabilities for UN peacekeeping operations have steadily evolved, room for improvement remains. For example, Japan's commitment to logistic and rapid deployment missions could be strengthened. Regarding the second type of operations, counter-terrorism, Japan's crisis management (...)
    No categories
    Direct download (8 more)  
     
    Export citation  
     
    Bookmark  
  34.  2
    Nakamura Katsumi. Kindai-kikagaku ni yoru hitotu no teigi no sikata . Kagahu-hyooron , vol. 2 , pp. 36–41.Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (2):65-65.
    Direct download (5 more)  
    Translate
     
     
    Export citation  
     
    Bookmark  
  35.  4
    Review: Katsumi Nakamura, On the Concept of Isomorphism in Mathematical Logic. [REVIEW]Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (2):65-65.
  36.  8
    Review: Katsumi Nakamura, On a Mode of Definition in Geometry--On Implicit Definition. [REVIEW]Shizuo Kakutani - 1941 - Journal of Symbolic Logic 6 (2):65-65.
  37.  8
    An Analysis of Some Effects of Rating Information Using an Artificial Market.Shun Katsumi, Hajime Shimao & Noboru Nishiyama - 2012 - Transactions of the Japanese Society for Artificial Intelligence 27 (6):384-390.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  38.  4
    Neural Correlates of Racial Ingroup Bias in Observing Computer-Animated Social Encounters.Yuta Katsumi & Sanda Dolcos - 2018 - Frontiers in Human Neuroscience 11.
  39.  13
    Optimization of Information-Seeking Dialogue Strategy for Argumentation-Based Dialogue System論証対話システムにおける情報探索対話戦略の最適化.Hisao Katsumi, Koichiro Yoshino, Takuya Hiraoka, Kosuke Akimoto, Kazeto Yamamoto, Shota Motoura, Kunihiko Sadamasa & Satoshi Nakamura - 2020 - Transactions of the Japanese Society for Artificial Intelligence 35 (1):DSI-D_1-12.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  40.  18
    The Metatheory of Ontology Reuse.Megan Katsumi & Michael Grüninger - 2018 - Applied Ontology 13 (3):225-254.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  41.  5
    Fashion-Related Image Gathering and Retrieval Using Meta Data Generated at Image Sharing Site.Katsumi Konishi, Toshiaki Toyama & Asuka Watanabe - 2010 - Transactions of the Japanese Society for Artificial Intelligence 25:25-36.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  42.  12
    A Legal Negotiatiton Support System Based on A Diagram.Katsumi Nitta, Masato Shibasaki, Yoshiaki Yasumura, Ryuzo Hasegawa, Hiroshi Fujita, Miyuki Koshimura, Katsumi Inoue, Yasuyuki Shirai & Hiroshi Komatsu - 2002 - Transactions of the Japanese Society for Artificial Intelligence 17 (1):32-43.
    No categories
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  43.  25
    Defeasible Reasoning in Japanese Criminal Jurisprudence.Katsumi Nitta & Masato Shibasaki - 1997 - Artificial Intelligence and Law 5 (1-2):139-159.
    Modeling legal argumentation is one of the most important research in AI and Law, and a lot of models have been proposed. However, most research has not treated value judgement and debate. In this paper, we introduce a legal reasoning model which covers various aspects of legalreasoning such as making argument, selecting argument and debate.Furthermore, we present how criminal law is described and reasoned inthis model.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  44.  14
    First International Workshop on Juris-Informatics.Katsumi Nitta, Ken Satoh & Satoshi Tojo - 2008 - In Satoh (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 347--348.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  45.  7
    Overview of JURISIN 2008.Katsumi Nitta, Ken Satoh & Satoshi Tojo - 2009 - In Hattori (ed.), New Frontiers in Artificial Intelligence. Springer. pp. 211--212.
    No categories
    Direct download  
     
    Export citation  
     
    Bookmark  
  46.  19
    Finite Logics and the Simple Substitution Property.Tsutomu Hosoi & Katsumi Sasaki - 1990 - Bulletin of the Section of Logic 19 (3):74-78.
  47.  28
    Impact of Stimulus Uncanniness on Speeded Response.Kohske Takahashi, Haruaki Fukuda, Kazuyuki Samejima, Katsumi Watanabe & Kazuhiro Ueda - 2015 - Frontiers in Psychology 6.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  48.  12
    A Similar Disputation Scene Search on An Online Mediation Support System for Education.Takahiro Tanaka, Yoshiaki Yasumura, Daisuke Katagami & Katsumi Nitta - 2005 - Transactions of the Japanese Society for Artificial Intelligence 20:94-104.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  49.  22
    The Influence of Human Body Orientation on Distance Judgments.Edgard Jung, Kohske Takahashi, Katsumi Watanabe, Stephan de la Rosa, Martin V. Butz, Heinrich H. Bülthoff & Tobias Meilinger - 2016 - Frontiers in Psychology 7.
    Direct download (5 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  50.  10
    Induction Based on Circumscription.Haruka Saito & Katsumi Inoue - 2006 - Transactions of the Japanese Society for Artificial Intelligence 21:143-152.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
1 — 50 / 89