Suchergebnisse - "Temporal Logic Programming Language"

A framed temporal logic programming language von Duan, Zhen-Hua, Koutny, Maciej

“… A framed temporal logic programming language (FTLL) is presented. To illustrate how to use both the language and framing technique, some examples are given …”
Volltext

Erratum to A framed temporal logic programming language von Duan, Zhen-Hua

Volltext

Integration of Linear Constraints with a Temporal Logic Programming Language von Qian Ma, Zhenhua Duan, Mengfei Yang

“… This paper investigates the integration of linear constraints with MSVL. To this end, we first define linear constraint statements and discuss related issues …”
Volltext

An Executable Concurrent Model for OWL-S Process Models von Zhenhua Duan, Cong Tian

“… This paper investigates an executable concurrent model for OWL-S process models. To this end, a concurrent temporal logic programming language, Framed Temporal Logic Programming Language (FTLL …”
Volltext

MSVL： a typed language for temporal logic programming von WANG, Xiaobing, TIAN, Cong, DUAN, Zhenhua, ZHAO, Liang

“… In this paper, we investigate how to formalize and implement types in the temporal logic programming language MSVL, which is an executable subset of projection temporal logic （PTL …”
Volltext

Framed temporal logic programming von Duan, Zhenhua, Yang, Xiaoxiao, Koutny, Maciej

“… 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 …”
Volltext

Verification of distributed systems with the axiomatic system of MSVL von Ma, Qian, Duan, Zhenhua, Zhang, Nan, Wang, Xiaobing

“… MSVL is a useful temporal logic programming language and its axiomatic system has been established …”
Volltext

Reasoning about actions with Temporal Answer Sets von GIORDANO, LAURA, MARTELLI, ALBERTO, THESEIDER DUPRÉ, DANIELE

“… ) to define a temporal logic programming language for reasoning about complex actions and infinite computations …”
Volltext

Verifying safety critical task scheduling systems in PPTL axiom system von Zhang, Nan, Yang, Mengfei, Gu, Bin, Duan, Zhenhua, Tian, Cong

“… First, a scheduling algorithm described in a temporal logic programming language is presented …”
Volltext

Linear time-dependent constraints programming with MSVL von Ma, Qian, Duan, Zhenhua

“… This paper investigates specifying and solving linear time-dependent constraints with an interval temporal logic programming language MSVL …”
Volltext

Axiomatic semantics of projection temporal logic programs von YANG, XIAOXIAO, DUAN, ZHENHUA, MA, QIAN

“… In this paper, we investigate the axiomatic semantics of the projection temporal logic programming language MSVL …”
Volltext

Operational semantics of Framed Tempura von Yang, Xiaoxiao, Duan, Zhenhua

Volltext

Modeling composite web services based on object-oriented MSVL von Xiaobing Wang, Sijiang Yu, Haibin Zhang, Bohu Huang

“… First, OWL-S process models and a temporal logic programming language object-oriented MSVL are briefly introduced …”
Volltext

An Interpreter for Framed Tempura and Its Application von Yongtao Ma, Zhenhua Duan, Xiaobing Wang, Xiaoxiao Yang

“… This paper discusses the implementation mechanism and its application of an interpreter for a framed temporal logic programming language called framed tempura …”
Volltext

Reasoning about Actions with Temporal Answer Sets von Giordano, Laura, Martelli, Alberto, Daniele Theseider Dupré

“… ) to define a temporal logic programming language for reasoning about complex actions and infinite computations …”
Volltext

Branching-time logic programming: the language Cactus and its applications von Rondogiannis, P., Gergatsoulis, M., Panayiotopoulos, T.

“… (such as expressing properties of non-deterministic programs). In this paper we introduce the new temporal logic programming language Cactus, which is based on a branching notion of time …”
Volltext

An extended interval temporal logic and a framing technique for temporal logic programming von Duan, Zhenhua

“… Temporal logic programming is a paradigm for specification and verification of concurrent programs in which a program can be written, and the properties of the …”
Volltext

Generation and execution of constraints in an executable subset of an interval temporal logic. (Volumes I and II) von Esterline, Albert Crawford

“… We present an application of the temporal logic programming language Tokio (developed at the University of Tokyo …”
Volltext

Logic programming semantics: Techniques and applications von Baudinet, Marianne

“… It is generally agreed that providing a precise formal semantics for a programming language is helpful in fully understanding the language. This is especially …”
Volltext

Logical foundations and implementation of an extension of temporal logic von Cobo, María Laura, Augusto, Juan Carlos

“… This fact has made evident the need of tools to handle this kind of imformation. As a reflection of this relevance many temporal logic programming languages have been propose in the last few years …”
Volltext