| 1993 |
|---|
| 5 | | Shinji Kono:
A Combination of Clausal and Non Clausal Temporal Logic Programs.
Executable Modal and Temporal Logics 1993: 40-57 |
| 4 | | Masahiro Fujita,
Shinji Kono:
Synthesis of Controllers from Interval Temporal Logic Specification.
ICCD 1993: 242-245 |
| 1989 |
|---|
| 3 | | Hiroshi Nakamura,
Masaya Nakai,
Shinji Kono,
Masahiro Fujita,
Hidehiko Tanaka:
Logic Design Assistence Using Temporal Logic Based Language Tokio.
LP 1989: 174-183 |
| 1986 |
|---|
| 2 | | Masahiro Fujita,
Shinji Kono,
Hidehiko Tanaka,
Tohru Moto-Oka:
Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog.
ICLP 1986: 695-709 |
| 1985 |
|---|
| 1 | | Shinji Kono,
T. Aoyagi,
Masahiro Fujita,
Hidehiko Tanaka:
Implementation of Temporal Logic Programming Language Tokio.
LP 1985: 138-147 |
