Searching for authors named "Satoshi Tojo" – sorted by Relevance.
-
Logical Aspects of Events: Quantification, Sorts, Composition and Disjointness
- provided this text is included. Ken Kaneiwa 1 Satoshi Tojo 2 1 National Institute of Informatics, Japan 2
- Add To MetaCart
-
An order-sorted resolution with implicitly negative sorts
- An Order-Sorted Resolution with Implicitly Negative Sorts Ken Kaneiwa 1 and Satoshi Tojo 2 1
- Cited by 12 (9 self) – Add To MetaCart
-
Constructing a Legal Knowledge-base with Partial Information
- Chie Takahashi y Satoshi Tojo Information Science Dept., Mitsubishi Research Institute Inc. ARCO
- Cited by 3 (3 self) – Add To MetaCart
-
Query Processing for Partial Information Databases in QUIXOTE
- Nishioka 3 Hiroshi Tsuda Satoshi Tojo 3 Institute for New Generation Computer Technology (ICOT) Mita
- Cited by 5 (4 self) – Add To MetaCart
-
The Language Dynamics Equations of Population-based Transition – a Scenario for Creolization
- * † , Takashi Hashimoto ‡ and Satoshi Tojo † Graduate School of { † Information, ‡ Knowledge} Science, Japan
- Cited by 2 (2 self) – Add To MetaCart
-
Creole viewed from population dynamics
- Makoto Nakamura* † , Takashi Hashimoto ‡ and Satoshi Tojo † Graduate School of { † Information
- Cited by 1 (1 self) – Add To MetaCart
-
Automatic Generation of Grouping Structure based on the GTTM
- Hirata 3) and Satoshi Tojo 4) 1) Research Fellow of the Japan Society for the Promotion of Science, 2
- Cited by 2 (2 self) – Add To MetaCart
-
Automatic Generation of Metrical Structure based on GTTM
- AUTOMATIC GENERATION OF METRICAL STRUCTURE BASED ON GTTM Masatoshi Hamanaka Keiji Hirata Satoshi
- Cited by 1 (1 self) – Add To MetaCart
-
Self-Organization of Creole Community in Spatial Language Dynamics
- in Spatial Language Dynamics Makoto Nakamura 1 , Takashi Hashimoto 2 , and Satoshi Tojo 1 School of { 1
- Add To MetaCart
-
Abductive Reasoning for Burden of Proof
- Abductive Reasoning for Burden of Proof Ken Satoh 1 , Satoshi Tojo 2 , Yoshitaka Suzuki 2 1
- Add To MetaCart

