Representing and reasoning about incomplete and indefinite qualitative temporal
information is an essential part of many artificial intelligence tasks. An interval-based …

Starting with an updated description of Allen's calculus, the book proceeds with a description
of the main qualitative calculi which have been developed over the last two decades. It …

Model-based diagnosis (MBD) tackles the problem of troubleshooting systems starting from
a description of their structure and function (or behavior). Time is a fundamental dimension …

Patdex 1 is an expert system that uses case-based reasoning in the diagnosis of faults of
complex machines. It is integrated in the Moltke workbench 2 for technical diagnosis, which …

Temporal Prolog, a temporal logic extension of PROLOG, is presented. The primary criterion
for the model selection has been its natural embedment into the logic programming …

Time is an important aspect of information in medical domains. In this paper, we adopt
Allen's influential interval algebra framework for representing temporal information. The …

In this paper, the importance of representation and use of imprecise temporal knowledge for
problem solving in industrial dynamic systems is emphasized first. A representation of …

Temporal reasoning is widely used in AI, especially for natural language processing.
Existing methods for temporal reasoning are extremely expensive in time and space …

In this paper we will present a design model (in the sense of KADS) for the domain of
technical diagnosis. Based on this we will describe the fully implemented expert system …

This thesis research focuses on the recognition of temporal scenarios for Automatic Video
Interpretation: the goal of this work is to recognize in real-time the behaviors of individuals …