時相論理に関するページ
時区間時相論理(Interval Temporal Logic)を使ったさまざまなプロジェクト
に関するページです。
English Page is here
ソフトウェア
Tokio-9.94
Interval Temporal Logic を使ったプログラミングツール
- Tokio Programming Language
- RTL-Tokio Piplelined CPU verification tool
- LITE Intervale Temporal Logic Verifier
論文
-
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
1992
第9回「記号論理学と情報科学」研究集会
-
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