Shinji Kono
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1986–1993
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 1993 | ICCD | Synthesis of Controllers from Interval Temporal Logic Specification. | Masahiro Fujita, Shinji Kono |
| 1993 | IJCAI | A Combination of Clausal and Non Clausal Temporal Logic Programs. | Shinji Kono |
| 1986 | ICLP | Tokio: Logic Programming Language Based on Temporal Logic and its Compilation to Prolog. | Masahiro Fujita, Shinji Kono, Hidehiko Tanaka, Tohru Moto-Oka |