Time structures. Formal description and algorithmic representation

DOI10.1007/3-540-60941-5MaRDI QIDQ1910348zbMATH OpenOpenAlexFDO

Authors Elżbieta Hajnicz

Publication date 1 April 1996

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/3-540-60941-5

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Logic in artificial intelligence (68T27) Temporal logic (03B44)

Recommendations

• scientific article; zbMATH DE number 195009
• An introduction to constraint-based temporal reasoning
• Publication:4733377
• Temporal representation and reasoning in artificial intelligence: Issues and approaches
• scientific article; zbMATH DE number 1182796

Cited in

(5)

• scientific article; zbMATH DE number 6826559 (Why is no real title available?)
• scientific article; zbMATH DE number 195009 (Why is no real title available?)
• Системы временной логики I: моменты, истории, деревья
• A formal definition of time in LOTOS
• scientific article; zbMATH DE number 4022669 (Why is no real title available?)

This page was built for publication: Time structures. Formal description and algorithmic representation

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