scientific article; zbMATH DE number 1117897

MaRDI QIDQ4376796zbMATH OpenFDO

Authors Peter R. King

Publication date 11 February 1998

zbMATH Keywords

authoring systemsinterval temporal logicmodellingobject representation in multimedia documentssemanticstemporal constraints representationtesting

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other applications of logic (03B80) Information storage and retrieval of data (68P20) Logic in artificial intelligence (68T27) Knowledge representation (68T30)

Recommendations

• Mexitl: Multimedia in executable interval temporal logic
• Publication:4952324
• scientific article; zbMATH DE number 3862427
• Constraint techniques for authoring multimedia documents
• scientific article; zbMATH DE number 3889506

Cited in

(6)

• A formal definition of time in LOTOS
• Mexitl: Multimedia in executable interval temporal logic
• Syntax and semantics for a fuzzy temporal constraint logic
• Constraint techniques for authoring multimedia documents
• Trends in Temporal Reasoning: Constraints, Graphs and Posets
• scientific article; zbMATH DE number 1444743 (Why is no real title available?)

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4376796)