Browsing by Keywords "Qualitative Process Theory (QPT)"
Now showing items 1-1 of 1
-
Utilization of the MVL system in qualitative reasoning about the physical world
(Bilkent University, 1993)An experimental progra.m, QRM, has been implemented using the inference mechanism of the Multivalued Logics (MVL) Theorem Proving System of Matthew Ginsberg. QRM has suitable facilities to reason about dynamical systems ...