Framed temporal logic programming

A Projection Temporal Logic is discussed and some of its laws are given. After that, an executable temporal logic programming language, called Framed Tempura, is formalized. A minimal model-based approach for framing in temporal logic programming is presented. Since framing destroys monotonicity, ca...

Celý popis

Podrobná bibliografie

Vydáno v:	Science of computer programming Ročník 70; číslo 1; s. 31 - 61
Hlavní autoři:	Duan, Zhenhua, Yang, Xiaoxiao, Koutny, Maciej
Médium:	Journal Article
Jazyk:	angličtina
Vydáno:	Elsevier B.V 2008
Témata:	Communication Framing Minimal model Monotonicity Semantics Synchronization Temporal logic programming Minimal model Semantics Temporal logic programming Framing Synchronization Monotonicity Communication
ISSN:	0167-6423, 1872-7964
On-line přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!