ON TEMPORAL LOGIC
Hany Bakheet Lateef Bakheet;
Abstract
The aim of the proposed study is to arrive a new concept m Temporal Logic of Actions (TLA) which is one of the important branches in artificial intelligence. It is designed for the specification and verification of reactive systems in tenns of their actions. The research in that way is a new contribution; which will help in investigating the aims and properties of programming in its general fonn.
Other data
| Title | ON TEMPORAL LOGIC | Other Titles | عن المنطق الزمنى | Authors | Hany Bakheet Lateef Bakheet | Issue Date | 2002 |
Attached Files
| File | Size | Format | |
|---|---|---|---|
| هانى بخيت.pdf | 299.79 kB | Adobe PDF | View/Open |
Similar Items from Core Recommender Database
Items in Ain Shams Scholar are protected by copyright, with all rights reserved, unless otherwise indicated.