Synopsis
A presentation of the underlying principles and applications of executable temporal logic describing research on its use as a programming language. Eight computer scientists outline the "imperative future" approach, showing how a range of dynamic behaviors can be represented within METATEM as a powerful tool for researchers involved with time-dependent phenomena in computer science and artificial intelligence. Includes equations and code. Annotation c. by Book News, Inc., Portland, Or.
"synopsis" may belong to another edition of this title.
From the Publisher
This book examines the use of temporal logic as both a declarative query language and an imperative programming language. As a declarative language it represents temporal data, as an imperative language it controls processes and execute actions. Presents temporal logic as an executable programming language. Offers a new approach to handling concepts such as concurrency, distributed systems, actions, and plans. Provides a language for intelligent interacting agents.
"About this title" may belong to another edition of this title.
