Conferences in DBLP
Thomas Dean Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:3-12 [Conf ] Shieu-Hong Lin , Thomas Dean Localized Temporal Reasoning: A State-Based Approach. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:3-12 [Conf ] Fei Song Extending Temporal Reasoning with Hierarchical Constraint. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:21-28 [Conf ] Robert A. Morris , William D. Shoaff , Lina Khatib An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:29-34 [Conf ] Clemens Beckstein , Tim Geisler An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:35-41 [Conf ] Alessandro Provetti Hypothetical Reasoning from Situation Calculus to Event Calculus. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:42-47 [Conf ] Scott D. Goodwin , Eric Neufeld , André Trudel The Persistence of Statistical Information. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:48-53 [Conf ] Nicolas Chleq Using Constrained Resolution for Abductive Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:54-59 [Conf ] Milind Tambe , Paul S. Rosenbloom Event Tracking for an Intelligent Automated Agent. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:60-68 [Conf ] Leora Morgenstern A Proper Ontology for Reasoning about Knowledge and Planning. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:69-76 [Conf ] Peter Haddawy Believing Change and Changing Belief. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:77-84 [Conf ] Ahmed Y. Tawfik , Eric Neufeld Temporal Bayesian Networks. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:85-92 [Conf ] Ehric Ho , André Trudel The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:95-102 [Conf ] Luca Chittaro , Angelo Montanari Efficient Handling of Context Dependency in the Cached Event Calculus. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:103-112 [Conf ] Scott D. Goodwin , Howard J. Hamilton , Eric Neufeld , Abdul Sattar , André Trudel Belief Revision in a Discrete Temporal Probability-Logic. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:113-120 [Conf ] Alfred J. Reich Intervals, Points, and Branching Time. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:121-133 [Conf ] David Leasure Automated Temporal Explanation with the Modal Logic Z. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:134-139 [Conf ] Fano Ramparany Managing Large Temporal Delays in a Model Based Control System. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:140-145 [Conf ] André Trudel A Temporal Structure that Distinguishes between the Past, Present, and Future. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:146-152 [Conf ] Ian Pratt , David S. Brée The Expressive Power of the English Temporal Preposition System. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:153-160 [Conf ] Rasiah Loganantharaj Propagating Possibilistic Temporal Constraints. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:161-164 [Conf ] Niki Pissinou , Kia Makki On the Representation of Temporal Object Roles in Object Oriented Databases. [Citation Graph (0, 0)][DBLP ] TIME, 1994, pp:165-172 [Conf ]