Qualitative reasoning programs (which perform simulation, comparative analysis, data
interpretation, etc.) either take the model of the physical system to be considered as input, or …

The qualitative simulation technology of group safety behaviors is very important for
investigating the laws of safety behaviors, and its application software is an essential tool for …

State-of-the-art qualitative simulators (for instance, QSIM) are known to be sound; no
trajectory which is the solution of a concrete equation matching the input can be missing …

Methods for qualitative simulation allow predictions on the dynamics of a system to be made
in the absence of quantitative information, by inferring the range of possible qualitative …

We have identified a source of spurious predictions inside the qualitative simulation
algorithm QSIM. The algorithm fails to check for violations of l'Hopital's rule, which causes …

It was recently proved that a sound and complete qualitative simulator does not exist, that is,
as long as the input-output vocabulary of the state-of-the-art QSIM algorithm is used, there …

Training systems have become more advanced and complex in the last few decades. The
increased cost of operating actual equipment has forced simulation based training to …

Semiquantitative simulation is an approach for the analysis of uncertain dynamic systems
that performs a comprehensive simulation study based on automated reasoning methods …

We show that qualitative simulation algorithms can make better use of their input to deduce
significant amounts of information about the relative lengths of the time intervals in their …

Postdiction is the task of finding the possible pasts of a physical system, given its model and
current state. We present an appropriately modified version of Kuipers' QSIM algorithm to …