| 2007 |
|---|
| 34 | EE | Katsumi Nitta,
Ken Satoh,
Satoshi Tojo:
First International Workshop on Juris-Informatics.
JSAI 2007: 347-348 |
| 2006 |
|---|
| 33 | | Takashi Washio,
Akito Sakurai,
Katsuto Nakajima,
Hideaki Takeda,
Satoshi Tojo,
Makoto Yokoo:
New Frontiers in Artificial Intelligence, Joint JSAI 2005 Workshop Post-Proceedings
Springer 2006 |
| 32 | | Satoshi Tojo,
Yoshinori Oka,
Masafumi Nishida:
Analysis of Chord Progression by HPSG.
Artificial Intelligence and Applications 2006: 305-310 |
| 31 | | Shingo Hagiwara,
Satoshi Tojo:
Stable Legal Knowledge with Regard to Contradictory Arguments.
Artificial Intelligence and Applications 2006: 323-328 |
| 30 | | Suguru Yoshioka,
Mikito Kobayashi,
Satoshi Tojo:
State Updating of Channel Communication System CBCTL.
Artificial Intelligence and Applications 2006: 487-492 |
| 29 | EE | Shingo Hagiwara,
Mikito Kobayashi,
Satoshi Tojo:
Belief Updating by Communication Channel.
CLIMA VII 2006: 211-225 |
| 28 | EE | Ryuichi Matoba,
Makoto Nakamura,
Satoshi Tojo:
Utility for Communicability by Profit and Cost of Agreement.
EELC 2006: 224-236 |
| 27 | EE | Keiji Hirata,
Satoshi Tojo:
Lattice for Musical Structure and Its Arithmetics.
JSAI 2006: 54-64 |
| 26 | EE | Nwe Ni Tun,
Satoshi Tojo:
Identity Conditions for Ontological Analysis.
KSEM 2006: 418-430 |
| 25 | EE | Nwe Ni Tun,
Satoshi Tojo:
Semantic Enrichment in Ontologies for Matching.
Int. J. Semantic Web Inf. Syst. 2(4): 33-67 (2006) |
| 2005 |
|---|
| 24 | | Yoshitaka Suzuki,
Satoshi Tojo:
Additive Consolidation for Dialogue Game.
ICAIL 2005: 105-114 |
| 23 | EE | Masatoshi Hamanaka,
Keiji Hirata,
Satoshi Tojo:
ATTA: Automatic Time-Span Tree Analyzer Based on Extended GTTM.
ISMIR 2005: 358-365 |
| 22 | EE | Satoshi Tojo:
Overview of Awarded Papers: The 19th Annual Conference of JSAI.
JSAI Workshops 2005: 3-4 |
| 21 | | Suguru Yoshioka,
Satoshi Tojo:
C BCTL: A Reasoning System of Temporal Epistemic Logic with Communication Channel.
WEC (5) 2005: 80-83 |
| 20 | | Suguru Yoshioka,
Satoshi Tojo:
Many-dimensional Modal Logic of Tense and Temporal Interval and its Decidability.
WEC (5) 2005: 9-12 |
| 2004 |
|---|
| 19 | EE | Nwe Ni Tun,
Satoshi Tojo:
Inheritance of Multiple Identity Conditions in Order-Sorted Logic.
Australian Conference on Artificial Intelligence 2004: 1187-1193 |
| 18 | | Nwe Ni Tun,
Satoshi Tojo:
Consistency Maintenance in Ontological Knowledge Updating.
IRI 2004: 388-393 |
| 17 | | Nwe Ni Tun,
Satoshi Tojo:
Consistent Hybrid Knowledge Representation in Order-Sorted Logic.
International Conference on Computational Intelligence 2004: 349-353 |
| 2003 |
|---|
| 16 | | Makoto Nakamura,
Takashi Hashimoto,
Satoshi Tojo:
The Language Dynamics Equations of Population-Based Transition - A Scenario for Creolization.
IC-AI 2003: 689-695 |
| 15 | | Hiroki Matsui,
Satoshi Tojo:
Artificial Market with Intervention Agent.
IICAI 2003: 1255-1268 |
| 14 | | Suguru Yoshioka,
Ken Kaneiwa,
Satoshi Tojo:
Occurrence Logic with Temporal Heredity.
IICAI 2003: 1296-1309 |
| 13 | EE | Yoshitaka Suzuki,
Satoshi Tojo:
Fusion of Pedigreed Preferential Relations.
Electr. Notes Theor. Comput. Sci. 84: (2003) |
| 2002 |
|---|
| 12 | EE | Makoto Nakamura,
Satoshi Tojo:
The Emergence of Artificial Creole by the EM Algorithm.
Discovery Science 2002: 374-381 |
| 2001 |
|---|
| 11 | EE | Ken Kaneiwa,
Satoshi Tojo:
An Order-Sorted Resolution with Implicitly Negative Sorts.
ICLP 2001: 300-314 |
| 1999 |
|---|
| 10 | | Ken Kaneiwa,
Satoshi Tojo:
Event, Property, and Hierarchy in Order-Sorted Logic.
ICLP 1999: 94-108 |
| 1997 |
|---|
| 9 | | Satoshi Tojo,
Katsumi Nitta:
Similarity of Legal Cases: From Temporal Relations of Affairs.
Artif. Intell. Law 5(1-2): 161-176 (1997) |
| 8 | EE | Yoshihiko Murakawa,
Satoshi Tojo,
Susumu Kunifuji:
Imperfect Information Flow of Agents Communication in Arrow Logic.
J. UCS 3(11): 1266-1281 (1997) |
| 1996 |
|---|
| 7 | EE | Stephen Wong,
Satoshi Tojo:
A Deductive Object-Oriented Database System for Situated Inference in Law.
IEEE Trans. Knowl. Data Eng. 8(3): 496-503 (1996) |
| 1995 |
|---|
| 6 | EE | Katsumi Nitta,
Masato Shibasaki,
Tsuyoshi Sakata,
Takahiro Yamaji,
Wang Xianchang,
Hiroshi Ohsaki,
Satoshi Tojo,
Iwao Kokubo,
T. Anu Suzuki:
New HELIC-II: A Software Tool for Legal Eeasoning.
ICAIL 1995: 287-296 |
| 1994 |
|---|
| 5 | EE | Satoshi Tojo:
Free-ordered CUG on Chemical Abstract Machine.
COLING 1994: 870-874 |
| 4 | | Kazumasa Yokota,
Hiroshi Tsuda,
Toshihiro Nishioka,
Satoshi Tojo:
Query Processing for Partial Information Databases in QUIXOTE.
ICTAI 1994: 359-365 |
| 1993 |
|---|
| 3 | | Satoshi Tojo,
Hiroshi Tsuda,
Hideki Yasukawa,
Kazumasa Yokota,
Yukihiro Morita:
QUIXOTE as a Tool for Natural Language Processing.
ICTAI 1993: 266-270 |
| 1992 |
|---|
| 2 | | Satoshi Tojo,
Hideki Yasukawa:
Situated Inference of Temporal Information.
FGCS 1992: 395-404 |
| 1990 |
|---|
| 1 | EE | Satoshi Tojo:
A Type-theoretical Analysis of Complex Verb Generation.
COLING 1990: 353-358 |
