Interval Temporal Logic
Projects and papers on Interval Temporal Logic
Japanese Page is here
Projects
Tokio-9.94
Programming Tools for Interval Temporal Logic
- Tokio Programming Language
- RTL-Tokio Piplelined CPU verification tool
- LITE Intervale Temporal Logic Verifier
Papers
-
TEMPORAL LOGIC PROGRAMMING LANGUAGE Tokio
Shinji Kono,
Tatsuya Aoyagi,
Masahiro Fujita,
Hidehiko Tanaka,
Tatsuhiko Moto-oka
September
1984
Logic Programming Conference
-
Tokio: Logic Programming Language Based on Temporal Logic and Its compilation to Prolog
Masahiro Fujita,
Shinji Kono,
Hidehiko Tanaka,
Tatsuhiko Moto-oka
September
1986
Internatinal Conference on Logic Programming
-
Automatic Verification of Interval Temporal Logic
Shinji Kono
TM-92-007,
SONYCSL
March
1992
8th British Colloquium For Theoretical Computer Science
October
-
Synthesis of Contrllers from Interval Temporal Loigc Specification
Masahiro Fujita
Shinji Kono
TR-93-11,
SONYCSL
October
May, 1993
International Workshop on Logic Synthesis
-
A Combination of Clasual and Non Clausal Temporal Logic Program
Shinji Kono
TR-93-12,
SONYCSL
October
Aug, 1993
IJCAI-93 Workshop on Executable Modal and Temporal Logics
-
Synthesis of Contrllers from Interval Temporal Loigc Specification
Shinji Kono
TR-93-13,
SONYCSL
October
Oct, 1993
International Conference on Computer Design
-
Is temporal logic programming practical?
Shinji Kono
SONYCSL
(in Japanese)
Jul
1994
RIMS workshop on Concurrency
-
Execution and verification of 2nd order interval temporal logic
Shinji Kono
Information Engineering, University of the Ryukyus
Jul
1996
RIMS workshop on Concurrency
-
2ITL: Logic which has process as a value of a variable
Shinji Kono
Information Engineering, University of the Ryukyus
Sep
1996
Annual Conference of Japan Society for Software Science and Technology
(in Japanese)
To be appeared
Kono's home page