Inhaltsangabe
Description of time structures in the first order predicate calculus.- Modal temporal logics and description of time structures.- Temporal reasoning algorithms.- Formalization of the constraint propagation algorithm.- Translations of Allen's calculi into modal temporal logic.
Die Inhaltsangabe kann sich auf eine andere Ausgabe dieses Titels beziehen.
