scientific article; zbMATH DE number 1182796

MaRDI QIDQ4400883zbMATH OpenFDO

Authors Martin Charles Golumbic

Publication date 14 December 1998

zbMATH Keywords

temporal problemsreasoning systems

Mathematics Subject Classification ID

Graph theory (including graph drawing) in computer science (68R10) Artificial intelligence (68T99)

Recommendations

• Time representation: A taxonomy of temporal models
• The logical approach to temporal reasoning
• Temporal representation and reasoning in artificial intelligence: A review
• Temporal representation and reasoning in artificial intelligence: Issues and approaches

Cited in

(20)

• Cost-based temporal reasoning
• scientific article; zbMATH DE number 140366 (Why is no real title available?)
• scientific article; zbMATH DE number 2207163 (Why is no real title available?)
• scientific article; zbMATH DE number 1836419 (Why is no real title available?)
• A general framework for reasoning about change
• scientific article; zbMATH DE number 1536565 (Why is no real title available?)
• Reasoning with numeric and symbolic time information
• Simple Reasoning with Time-Dependent Propositions
• Temporal reasoning with TRL
• scientific article; zbMATH DE number 2090022 (Why is no real title available?)
• Logics and decidability for labelled pre- and partially ordered Kripke structures
• scientific article; zbMATH DE number 4085066 (Why is no real title available?)
• scientific article; zbMATH DE number 140399 (Why is no real title available?)
• The logical approach to temporal reasoning
• A Tableau Calculus for Temporal Description Logic: the Expanding Domain Case
• A tool for reasoning about qualitative temporal information: the theory of S-languages with a Lisp implementation
• scientific article; zbMATH DE number 4108200 (Why is no real title available?)
• Temporal representation and reasoning in artificial intelligence: A review
• scientific article; zbMATH DE number 2084409 (Why is no real title available?)
• Knowledge representation, reasoning and integration using temporal logic with clocks

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 Q4400883)