|
%% Allen interval temporal logic as defined in the paper
%% "Maintaining Knowledge about Temporal Intervals" by
%% James F. Allen (CACM, Vol. 26, No. 11, Nov. 1983).
%%
%% Contributed by Dragan Stosic
top_allen : THEORY
BEGIN
IMPORTING allen_interval,
allen_interval_properties
END top_allen
¤ Dauer der Verarbeitung: 0.15 Sekunden
(vorverarbeitet)
¤
|
Haftungshinweis
Die Informationen auf dieser Webseite wurden
nach bestem Wissen sorgfältig zusammengestellt. Es wird jedoch weder Vollständigkeit, noch Richtigkeit,
noch Qualität der bereit gestellten Informationen zugesichert.
Bemerkung:
Die farbliche Syntaxdarstellung ist noch experimentell.
|
