Graph theoretic models for reasoning about time

DOI10.1007/978-3-540-30502-6_26MaRDI QIDQ5463947zbMATH OpenOpenAlexFDO

Authors Martin Charles Golumbic

Publication date 17 August 2005

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

Full work available at URL https://doi.org/10.1007/b103476

zbMATH Keywords

temporal reasoning

Mathematics Subject Classification ID

Artificial intelligence (68T99)

Cited in

(4)

• Trends in Temporal Reasoning: Constraints, Graphs and Posets
• A fully abstract model for graph-interpreted temporal logic
• Time-like Graphical Models
• Automated Technology for Verification and Analysis

This page was built for publication: Graph theoretic models for reasoning about time

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