Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Silvia Coradeschi, Thierry Vidal |
Accounting for Temporal Evolutions in Highly Reactive Decision-Making. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
dynamic supervision, context, controller, decision-making, temporal constraints, reactivity |
1 | Paulo Sérgio Muniz Silva |
Extended Message Sequence Charts with Time-Interval Semantics. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rasiah Loganantharaj |
Efficient Temporal Propagation Algorithm for Scheduling. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | James F. Allen |
Temporal Reasoning in Plan Management (Abstract). |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Scherl, Glenn Shafer |
A Logic of Action, Causality, and the Temporal Relations of Events. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mitsunori Matsushita, Masakatsu Ohta, Toshiyuki Iida |
A Visualization Method of Time Expressions using Starting/Ending Point Plane. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dee Jay Randall, Howard J. Hamilton, Robert J. Hilderman |
Generalization for Calendar Attributes using Domain Generalization Graphs. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001, Jonas Kvarnström |
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Bertino, Elena Ferrari, Giovanna Guerrini |
An Approach to Model and Query Event-Based Temporal Data. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001 |
The Set of Support Strategy in Temporal Resolution. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uta Wille |
Revision and Updating in Dynamic Doxastic Logic. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm |
Ockhamistic Logics and True Futures of Counterfactual Moments. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar, Cleve Cheng |
Model-Based Visualization of Temporal Abstractions. |
TIME |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Frank Schilder |
A Hierarchy for Convex Relations. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré |
An Efficient Algorithm for Temporal Abduction. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jixin Ma 0001, Brian Knight, Taoxin Peng |
Representing Temporal Relationships between Events and their Effects. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pedro A. de Matos, João P. Martins |
Contextual Logic of Change and Contextual Proofs. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Terenziani |
Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jong Soo Kim, Myoung-Ho Kim |
On Effective Data Clustering in Bitemporal Databases. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon |
Temporal Resolution: Removing Irrelevant Information. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chuchang Liu, Mehmet A. Orgun |
BCTL: A Branching Clock Temporal Logic. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Bidirectional Inference in Probabilistic Temporal Reasoning. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar |
Knowledge-Based Temporal Interpolation. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
Temporal Interpolation, Temporal ontologies, Knowledge bases, Temporal databases, Temporal reasoning |
1 | Alexander Bolotov, Michael Fisher 0001 |
A Resolution Method For CTL Branching-Time Temporal Logic. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
resolution method, CTL branching-time temporal logic, clausal resolution method, extended CTL, fairness operators, step resolution, temporal resolution rule, linear-time temporal resolution, temporal logic, completeness, normal form, linear temporal logic, computation tree logic, CTL* |
1 | Francisco C. Pereira, Carlos Grilo, Luís Macedo, Amílcar Cardoso |
A Structured Framework for Representing Time in a Generative Composition System. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
Modal Event Calculi with Preconditions. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
modal event calculi, event occurrences, maximal validity intervals, semantic formalization, MVI validation, complexity, temporal logic, temporal logic, preconditions, event calculus |
1 | Juan Jose Blanco, Lina Khatib |
Enhancements to the Ground Processing Scheduling System. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997 |
TIME |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo Finger, Peter McBrien |
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Boddy |
Practical Temporal Reasoning for Real Scheduling Applications. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sônia Fernandes Silva, Ulrich Schiel, Tiziana Catarci |
Visual Query Operators for Temporal Databases. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
temporal databases, temporal query language, visual query system |
1 | Fernando Barber, Salvador Moreno |
Representation of Continuous Change with Discrete Time. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Mancarella, Alessandra Raffaetà, Franco Turini |
Time in a Multi-Theory Logical Framework. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Vidal, Hélène Fargier |
Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
temporal CSPs, Temporal Constraint Networks, classical network consistency property, Strong, Weak, reasoning issues, tractable subclasses, complexity, controllability, controllability, Dynamic |
1 | Carlo Combi, Giancarlo Cucchi |
GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
temporally-oriented, GCH-OSQL, clinical data, object-oriented temporal data model, mixed granularities, object-oriented, query language, temporal databases, temporal databases, temporal data, three-valued logic, valid time |
1 | Heikki Mannila, Pirjo Ronkainen |
Similarity of Event Sequences. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
event sequence similarity, biostatistics, dynamic programming, knowledge discovery, user interface design, telecommunications, temporal reasoning, temporal reasoning, distance measure |
1 | Ernst G. P. Bovenkamp, Jan C. A. van der Lubbe |
Temporal Reasoning with Fuzzy Time-Objects. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Hayes |
Alternative Conceptions of the Time-Line. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kellett, Michael Fisher 0001 |
Automata Representations for Concurrent METATEM. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
Concurrent METATEM language, temporal logic formulae, direct interpretation, large applications, closely coupled automata, performance, parallel languages, parallel language, finite-state automata, logic programming language |
1 | Surya Ramachandran, David C. Wilkins |
Temporal Control Structures in Expert Critiquing Systems. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Morris 0001, Lina Khatib |
Entities and Relations for Historical Relational Databases. |
TIME |
1997 |
DBLP DOI BibTeX RDF |
historical relational databases, temporal entities, valid-time relations, algebraic query language, temporal database research, relational databases, events, histories, temporal information, relational data model, temporal dimension |
1 | Giorgio Brajnik, Daniel J. Clancy 0001 |
Guiding and refining simulation using temporal logic. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Badaloni, Marina Berati |
Hybrid Temporal Reasoning for Planning and Scheduling. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Elpida T. Keravnou |
Engineering time in medical knowledge-based systems through time-axes and time-objects. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Akira Fusaoka |
Nonmonotonic Reasoning on a Constructive Time Structure. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rocio Guillén, David Farwell, Janyce Wiebe |
Handling Temporal Relations in Scheduling Dialogues for an MT System. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. van Benthen |
Remodeling Temporal Geometry. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amedeo Cesta, Angelo Oddi |
Gaining Efficiency and Flexibility in the Simple Temporal Problem. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Klaus P. Jantke, Oksana Arnold |
A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Bichindaritz, E. Conlon |
Case-based reasoning with temporal data. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello, Michela Milano |
Temporal Reasoning in a Meta Constraint Logic Programming Architecture. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Schwalb, Rina Dechter |
Processing Disjunctions of Temporal Constraints. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lluís Vila, Eddie Schwalb |
A Theory of Time and Temporal Incidence Based on Instants and Periods. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | André Trudel, Denis Gagné |
A topological transition based logic for the qualitative motion of objects. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
A General Framework and Reasoning Model for Time Granularity. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet A. Orgun |
A recursive temporal algebra and temporal completeness. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Edjard Mota, David Stuart Robertson 0001 |
Representing Interaction of Agents at Different Time Granularities. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar |
Dynamic Temporal Interpretation Contexts for Temporal Abstraction. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Irrelevance in Uncertain Temporal Reasoning. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Diana Cukierman, James P. Delgrande |
Characterizing Temporal Repetition. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Schwalb, Lluís Vila |
Logic Programming with Temporal Constraints. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Aïcha Mokhtari, Daniel Kayser |
Time in a Causal Theory. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Choong-Ho Yi |
Reasoning about Concurrent Actions within Features and Fluents. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Luca Chittaro, Scott D. Goodwin, Howard J. Hamilton, Angelo Montanari (eds.) |
Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996 |
TIME |
1996 |
DBLP BibTeX RDF |
|
1 | Minglu Li 0001, Yongqiang Sun, Huanye Sheng |
Temporal Representation for Multimedia Systems. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. Sánchez, Anil M. Shende |
Time Accountability for Lattice Computers. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carme Martín, Jaume Sistac |
An Integrity Constraint Checking Method for Temporal Deductive Databases. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Avigdor Gal, Dov Dori |
Combining Simultaneous Values and Temporal Data Dependencies. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rattana Wetprasit, Abdul Sattar 0001, Lina Khatib |
Reasoning with Sequences of Point Events. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carlo Combi, Francesco Pinciroli, Giuseppe Pozzi |
Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon |
Temporal Resolution: A Breadth-First Search Approach. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Becher |
First Order Modal Logics with Generalized Intervals. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Fahiem Bacchus |
Using Temporal Logics for Planning and Control. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amar Isli, Hachemi Bennaceur |
Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. |
TIME |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ehric Ho, André Trudel |
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Thomas Dean |
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Robert A. Morris 0001, William D. Shoaff, Lina Khatib |
An Algebraic Formulation of Temporal Knowledge for Reasoning about Recurring Events. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Leora Morgenstern |
A Proper Ontology for Reasoning about Knowledge and Planning. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Shieu-Hong Lin, Thomas Dean |
Localized Temporal Reasoning: A State-Based Approach. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Scott D. Goodwin, Eric Neufeld, André Trudel |
The Persistence of Statistical Information. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Milind Tambe, Paul S. Rosenbloom |
Event Tracking for an Intelligent Automated Agent. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Fano Ramparany |
Managing Large Temporal Delays in a Model Based Control System. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Peter Haddawy |
Believing Change and Changing Belief. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Rasiah Loganantharaj |
Propagating Possibilistic Temporal Constraints. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Ian E. Pratt, David S. Brée |
The Expressive Power of the English Temporal Preposition System. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Alessandro Provetti |
Hypothetical Reasoning from Situation Calculus to Event Calculus. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Alfred J. Reich |
Intervals, Points, and Branching Time. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Clemens Beckstein, Tim Geisler |
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Fei Song |
Extending Temporal Reasoning with Hierarchical Constraint. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Luca Chittaro, Angelo Montanari |
Efficient Handling of Context Dependency in the Cached Event Calculus. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Niki Pissinou, Kia Makki |
On the Representation of Temporal Object Roles in Object Oriented Databases. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Temporal Bayesian Networks. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | André Trudel |
A Temporal Structure that Distinguishes between the Past, Present, and Future. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Scott D. Goodwin, Howard J. Hamilton, Eric Neufeld, Abdul Sattar 0001, André Trudel |
Belief Revision in a Discrete Temporal Probability-Logic. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Nicolas Chleq |
Using Constrained Resolution for Abductive Temporal Reasoning. |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | Scott D. Goodwin, Howard J. Hamilton (eds.) |
Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994 |
TIME |
1994 |
DBLP BibTeX RDF |
|
1 | David Leasure |
Automated Temporal Explanation with the Modal Logic Z. |
TIME |
1994 |
DBLP BibTeX RDF |
|