scientific article; zbMATH DE number 1182796
From MaRDI portal
Publication:4400883
zbMATH Open0903.68188MaRDI QIDQ4400883FDOQ4400883
Authors: Martin Charles Golumbic
Publication date: 14 December 1998
Title of this publication is not available (Why is that?)
Recommendations
Cited In (20)
- Cost-based temporal reasoning
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- A general framework for reasoning about change
- Reasoning with numeric and symbolic time information
- Simple Reasoning with Time-Dependent Propositions
- Temporal reasoning with TRL
- Title not available (Why is that?)
- Logics and decidability for labelled pre- and partially ordered Kripke structures
- Title not available (Why is that?)
- Title not available (Why is that?)
- 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
- Title not available (Why is that?)
- Temporal representation and reasoning in artificial intelligence: A review
- Title not available (Why is that?)
- 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)