Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID1st TIME 1994: Pensacola, Florida, USA
- Scott D. Goodwin, Howard J. Hamilton:
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994. University of Regina, Regina, SK, Canada 1994, ISBN 0-7731-0278-7
Invited Talk
- Thomas Dean:
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). 3-12
Presentations
- Shieu-Hong Lin, Thomas Dean:
Localized Temporal Reasoning: A State-Based Approach. 3-12 - Fei Song:
Extending Temporal Reasoning with Hierarchical Constraint. 21-28 - Robert A. Morris, William D. Shoaff, Lina Khatib:
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events. 29-34 - Clemens Beckstein, Tim Geisler:
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. 35-41 - Alessandro Provetti:
Hypothetical Reasoning from Situation Calculus to Event Calculus. 42-47 - Scott D. Goodwin, Eric Neufeld, André Trudel:
The Persistence of Statistical Information. 48-53 - Nicolas Chleq:
Using Constrained Resolution for Abductive Temporal Reasoning. 54-59 - Milind Tambe, Paul S. Rosenbloom:
Event Tracking for an Intelligent Automated Agent. 60-68 - Leora Morgenstern:
A Proper Ontology for Reasoning about Knowledge and Planning. 69-76 - Peter Haddawy:
Believing Change and Changing Belief. 77-84 - Ahmed Y. Tawfik, Eric Neufeld:
Temporal Bayesian Networks. 85-92
- Ehric Ho, André Trudel:
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. 95-102 - Luca Chittaro, Angelo Montanari:
Efficient Handling of Context Dependency in the Cached Event Calculus. 103-112 - Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar, André Trudel:
Belief Revision in a Discrete Temporal Probability-Logic. 113-120 - Alfred J. Reich:
Intervals, Points, and Branching Time. 121-133 - David Leasure:
Automated Temporal Explanation with the Modal Logic Z. TIME 1994: 134-139 - Fano Ramparany:
Managing Large Temporal Delays in a Model Based Control System. TIME 1994: 140-145 - André Trudel:
A Temporal Structure that Distinguishes between the Past, Present, and Future. 146-152 - Ian E. Pratt, David S. Brée:
The Expressive Power of the English Temporal Preposition System. 153-160 - Rasiah Loganantharaj:
Propagating Possibilistic Temporal Constraints. 161-164 - Niki Pissinou, Kia Makki:
On the Representation of Temporal Object Roles in Object Oriented Databases. 165-172
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-22 20:01 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
