This paper investigates the operational semantics of temporal logic programs. To this end, a
temporal logic programming language called Framed Tempura is employed. The evaluation …

In this paper, we investigate the axiomatic semantics of the projection temporal logic
programming language MSVL. To this end, we employ Propositional Projection Temporal …

Temporal and modal logics have been used in many applications in Artificial Intelligence
and Computer Science for the manipulation of information with timedependent or, in …

The embedding of a small but expressive language of multidimensional functional
programming in a well known and widely used language of object‐oriented programming …

We consider the problem of extending temporal deductive databases with stratified
negation. We argue that the classical stratification test for deductive databases is too …

In this article, we present a declarative propositional temporal logic programming language
called TeDiLog that is a combination of the temporal and disjunctive paradigms in logic …

In this paper we introduce the logic programming language Disjunctive Chronolog which
combines the programming paradigms of temporal and disjunctive logic programming …

In this paper we present a first approach to VAL, an implementation-independent virtual
intelligent agent-oriented programming language. VAL allows developers to write agent …

We consider stratified negation in temporal logic programming. We demonstrate that the
cycle-sum test (which was initially proposed for detecting deadlocks in the context of …

Traditional implementation techniques for temporal logic programming languages are based
on the notion of canonical temporal atoms/clauses. Although such an approach is …