When modelling realistic systems, physical constraints on the resources available are often required. For example, we might say that at most N processes can access a particular resource at any moment, exactly M participants are needed for an agreement, or an agent can be in exactly one mode at any moment. Such situations are concisely modelled where literals are constrained such that at most N ...

Temporal Action Logic is a well established logical formalism for reasoning about action and change using an explicit time representation that makes it suitable for applications that involve complex temporal reasoning. We take advantage of constraint satisfaction technology to facilitate such reasoning through temporal constraint networks. Extensions are introduced that make generation of actio...

This paper presents an original approach for temporal scenario recognition for video interpretation. We propose a declarative model to represent scenarios and we use a logic-based approach to recognize pre-defined scenario models. To speed up the recognition process, we propose a new method to process the temporal operators of interval algebra and a method to extend the time interval of recogni...

Representing temporal data in conceptual data models and ontologies is required by various application domains. For it to be useful for modellers to represent the information precisely and reason over it, it is essential to have a language that is expressive enough to capture the required operational semantics of the time-varying information. Temporal modelling languages have little support for...

We give in this article a general frame for propagattemporal constraints over events, these events being exclusively considered as sets of possible occurrences (SOPOs). These SOPOs are the numerical expression of an uncertainty about the exact occurrence of an event, while this exact occurrence is constrained by the possible occurrence of other events.Thiz key-problem of scheduling is an instan...

Logic is useful for reasoning and knowledge representation in AI systems. Logical reasoning has an advantage over other forms of reasoning in that it has strong theoretical foundations. But logical reasoning also has a disadvantage: it is computationally difficult. In addition, when logical reasoning is used in physical autonomous agents there might exist real-time requirements. Performing comp...

Timestamps are often found to be dirty in various scenarios, e.g., in distributed systems with clock synchronization problems or unreliable RFID readers. Without cleaning the imprecise timestamps, temporal-related applications such as provenance analysis or pattern queries are not reliable. To evaluate the correctness of timestamps, temporal constraints could be employed, which declare the dist...

Many real-world problems contain elements of both planning and scheduling problems. In response, many frameworks and systems have been developed that add scheduling abilities to planning systems. We continue this trend by presenting a framework and algorithm for planning with disjunctive temporal constraints. We define a constraint-based interval (CBI) framework for describing a planning proble...

Complex mission or task specification languages play a fundamentally important role in human/robotic interaction. In realistic scenarios such as emergency response, specifying temporal, resource and other constraints on a mission is an essential component due to the dynamic and contingent nature of the operational environments. It is also desirable that in addition to having a formal semantics,...