Titlebook: Executable Modal and Temporal Logics; IJCAI ‘93 Workshop, Michael Fisher,Richard Owens Conference proceedings 1995 Springer-Verlag Berlin

強(qiáng)所

The Ego and the Other in a Pairing Relation,strated that it is indeed a very useful tool in such situations and that the framework has promising potential for further development. In this paper, we summarize the lessons which were learnt for future developments paying particular attention to those aspects concerned with using full firstorder temporal logic as the underlying language.

不來(lái)

Conference proceedings 1995me addresses a range of approaches to executable modal and temporal logics, not only from a logical point of view, but also from programming language and application standpoints; in addition, an introductory survey and an annotated bibliography are presented.

CYT

COKE

Conference proceedings 1995August 1993..The direct execution of logical statements, through languages such as PROLOG, has proved remarkably successful within CS and AI. In recent years a variety of nonclassical logics have been introduced and several executable forms of these logics have been applied to programming..This volu

Odyssey

An introduction to executable modal and temporal logics,e languages are still experimental, they are beginning to be applied, not only in Computer Science and AI, but also in less obvious areas such as process control and social modelling..This paper provides an introduction to some of the basic concepts of executable modal and temporal logics.

Palter

放逐某人

Temporal logic programming with metric and past operators,r .′ which is NP-complete. Moreover, we show that an extension of the metric temporal logic considered by the inclusion of variables within the temporal operators leads already to a temporal Horn logic which is expressively equivalent to constraint logic programs over .′.

中子

Temporal logic and annotated constraint logic programming,logic can be seen as annotated constraint logic programming language. This class of languages can be implemented by translation into a standard constraint programming language. Thus we can make our temporal logic executable..This paper is a companion paper to [Fru94c], where an interpreter for annot

不滿分子

Towards a semantics for concurrent ,,n intuitive semantics. However, the addition of both operational constraints upon the object‘s execution and global constraints provided by the model of concurrency and communication, complicates the overall semantics of networks of objects. It is this, more complex, semantics that we address here,

構(gòu)成

Norman L. Alling,Newcomb Greenleafr .′ which is NP-complete. Moreover, we show that an extension of the metric temporal logic considered by the inclusion of variables within the temporal operators leads already to a temporal Horn logic which is expressively equivalent to constraint logic programs over .′.