Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
1 | Silvia Coradeschi, Thierry Vidal |
Accounting for Temporal Evolutions in Highly Reactive Decision-Making. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 3-10, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 37-44, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Rasiah Loganantharaj |
Efficient Temporal Propagation Algorithm for Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 156-161, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | James F. Allen |
Temporal Reasoning in Plan Management (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 2, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Richard B. Scherl, Glenn Shafer |
A Logic of Action, Causality, and the Temporal Relations of Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 89-96, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Mitsunori Matsushita, Masakatsu Ohta, Toshiyuki Iida |
A Visualization Method of Time Expressions using Starting/Ending Point Plane. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 162-168, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Dee Jay Randall, Howard J. Hamilton, Robert J. Hilderman |
Generalization for Calendar Attributes using Domain Generalization Graphs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 177-184, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Patrick Doherty 0001, Jonas Kvarnström |
Tackling the Qualification Problem using Fluent Dependency Constraints: Preliminary Report. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 97-104, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Elisa Bertino, Elena Ferrari, Giovanna Guerrini |
An Approach to Model and Query Event-Based Temporal Data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 122-131, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon, Michael Fisher 0001 |
The Set of Support Strategy in Temporal Resolution. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 113-120, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Uta Wille |
Revision and Updating in Dynamic Doxastic Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 185-189, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Torben Braüner, Per F. V. Hasle, Peter Øhrstrøm |
Ockhamistic Logics and True Futures of Counterfactual Moments. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 132-139, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar, Cleve Cheng |
Model-Based Visualization of Temporal Abstractions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 5th Workshop on Temporal Representation and Reasoning, TIME '98, Sanibel Island, Florida, USA, May 16-17, 1998, pp. 11-20, 1998, IEEE Computer Society, 0-8186-8473-9. The full citation details ...](Pics/full.jpeg) |
1998 |
DBLP DOI BibTeX RDF |
|
1 | Frank Schilder |
A Hierarchy for Convex Relations. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 86-93, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Vittorio Brusoni, Luca Console, Paolo Terenziani, Daniele Theseider Dupré |
An Efficient Algorithm for Temporal Abduction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 28-30, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jixin Ma 0001, Brian Knight, Taoxin Peng |
Representing Temporal Relationships between Events and their Effects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 148-152, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Pedro A. de Matos, João P. Martins |
Contextual Logic of Change and Contextual Proofs. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 153-159, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Terenziani |
Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 94-101, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Jong Soo Kim, Myoung-Ho Kim |
On Effective Data Clustering in Bitemporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 54-61, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon |
Temporal Resolution: Removing Irrelevant Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 4-11, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Chuchang Liu, Mehmet A. Orgun |
BCTL: A Branching Clock Temporal Logic. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 140-147, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Bidirectional Inference in Probabilistic Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 31-37, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar |
Knowledge-Based Temporal Interpolation. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 102-111, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 20-27, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 168-174, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Iliano Cervesato, Massimo Franceschet, Angelo Montanari |
Modal Event Calculi with Preconditions. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 38-45, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 72-77, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | |
4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![IEEE Computer Society, 0-8186-7937-9 The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP BibTeX RDF |
|
1 | Marcelo Finger, Peter McBrien |
Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 112-118, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Mark S. Boddy |
Practical Temporal Reasoning for Real Scheduling Applications. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 71, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Sônia Fernandes Silva, Ulrich Schiel, Tiziana Catarci |
Visual Query Operators for Temporal Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 46-53, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 175-179, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Paolo Mancarella, Alessandra Raffaetà, Franco Turini |
Time in a Multi-Theory Logical Framework. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 62-68, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Thierry Vidal, Hélène Fargier |
Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 78-85, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 119-126, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 136-139, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 128-135, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Patrick J. Hayes |
Alternative Conceptions of the Time-Line. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 3, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Adam Kellett, Michael Fisher 0001 |
Automata Representations for Concurrent METATEM. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 12-19, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 160-167, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
1997 |
DBLP DOI BibTeX RDF |
|
1 | Robert A. Morris 0001, Lina Khatib |
Entities and Relations for Historical Relational Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: 4th International Workshop on Temporal Representation and Reasoning, TIME '97, Daytona Beach, Florida, USA, May 10-11, 1997, pp. 180-186, 1997, IEEE Computer Society, 0-8186-7937-9. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 144-151, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Silvana Badaloni, Marina Berati |
Hybrid Temporal Reasoning for Planning and Scheduling. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 39-44, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Elpida T. Keravnou |
Engineering time in medical knowledge-based systems through time-axes and time-objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 160-167, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Akira Fusaoka |
Nonmonotonic Reasoning on a Constructive Time Structure. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 190-195, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rocio Guillén, David Farwell, Janyce Wiebe |
Handling Temporal Relations in Scheduling Dialogues for an MT System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 217-221, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | J. van Benthen |
Remodeling Temporal Geometry. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 4, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Amedeo Cesta, Angelo Oddi |
Gaining Efficiency and Flexibility in the Simple Temporal Problem. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 45-50, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Klaus P. Jantke, Oksana Arnold |
A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 182-187, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Isabelle Bichindaritz, E. Conlon |
Case-based reasoning with temporal data. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 152-159, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Evelina Lamma, Paola Mello, Michela Milano |
Temporal Reasoning in a Meta Constraint Logic Programming Architecture. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 128-135, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Schwalb, Rina Dechter |
Processing Disjunctions of Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 30-35, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Lluís Vila, Eddie Schwalb |
A Theory of Time and Temporal Incidence Based on Instants and Periods. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 21-28, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | André Trudel, Denis Gagné |
A topological transition based logic for the qualitative motion of objects. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 176-181, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Claudio Bettini, Xiaoyang Sean Wang, Sushil Jajodia |
A General Framework and Reasoning Model for Time Granularity. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 104-111, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mehmet A. Orgun |
A recursive temporal algebra and temporal completeness. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 96-103, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Edjard Mota, David Stuart Robertson 0001 |
Representing Interaction of Agents at Different Time Granularities. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 72-79, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Yuval Shahar |
Dynamic Temporal Interpretation Contexts for Temporal Abstraction. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 64-71, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Irrelevance in Uncertain Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 196-202, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Diana Cukierman, James P. Delgrande |
Characterizing Temporal Repetition. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 80-87, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Eddie Schwalb, Lluís Vila |
Logic Programming with Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 51-56, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Aïcha Mokhtari, Daniel Kayser |
Time in a Causal Theory. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 14-20, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Choong-Ho Yi |
Reasoning about Concurrent Actions within Features and Fluents. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 6-13, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![IEEE Computer Society, 0-8186-7528-4 The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP BibTeX RDF |
|
1 | Minglu Li 0001, Yongqiang Sun, Huanye Sheng |
Temporal Representation for Multimedia Systems. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 204-210, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Mario R. Sánchez, Anil M. Shende |
Time Accountability for Lattice Computers. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 211-216, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Carme Martín, Jaume Sistac |
An Integrity Constraint Checking Method for Temporal Deductive Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 136-141, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Avigdor Gal, Dov Dori |
Combining Simultaneous Values and Temporal Data Dependencies. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 112-117, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Rattana Wetprasit, Abdul Sattar 0001, Lina Khatib |
Reasoning with Sequences of Point Events. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 36-38, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 88-93, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Clare Dixon |
Temporal Resolution: A Breadth-First Search Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 120-127, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Gérard Becher |
First Order Modal Logics with Generalized Intervals. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 170-175, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Fahiem Bacchus |
Using Temporal Logics for Planning and Control. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 2-3, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the Third International Workshop on Temporal Representation and Reasoning, TIME-96, Key West, Florida, USA, May 19-20, 1996, pp. 57-62, 1996, IEEE Computer Society, 0-8186-7528-4. The full citation details ...](Pics/full.jpeg) |
1996 |
DBLP DOI BibTeX RDF |
|
1 | Ehric Ho, André Trudel |
The Specification and Implementation of a First Order Logic for Uncertain Temporal Domains. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 95-102, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Thomas Dean |
Meditations on Time and Space: Expediting Temporal Inference by Exploiting Structure in Time and Space (Abstract). ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 3-12, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 29-34, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Leora Morgenstern |
A Proper Ontology for Reasoning about Knowledge and Planning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 69-76, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Shieu-Hong Lin, Thomas Dean |
Localized Temporal Reasoning: A State-Based Approach. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 3-12, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Scott D. Goodwin, Eric Neufeld, André Trudel |
The Persistence of Statistical Information. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 48-53, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Milind Tambe, Paul S. Rosenbloom |
Event Tracking for an Intelligent Automated Agent. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 60-68, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Fano Ramparany |
Managing Large Temporal Delays in a Model Based Control System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 140-145, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Peter Haddawy |
Believing Change and Changing Belief. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 77-84, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Rasiah Loganantharaj |
Propagating Possibilistic Temporal Constraints. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 161-164, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ian E. Pratt, David S. Brée |
The Expressive Power of the English Temporal Preposition System. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 153-160, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Alessandro Provetti |
Hypothetical Reasoning from Situation Calculus to Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 42-47, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Alfred J. Reich |
Intervals, Points, and Branching Time. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 121-133, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Clemens Beckstein, Tim Geisler |
An Application-independent Support System for Integrated Assumption-based Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 35-41, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Fei Song |
Extending Temporal Reasoning with Hierarchical Constraint. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 21-28, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Luca Chittaro, Angelo Montanari |
Efficient Handling of Context Dependency in the Cached Event Calculus. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 103-112, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Niki Pissinou, Kia Makki |
On the Representation of Temporal Object Roles in Object Oriented Databases. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 165-172, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Ahmed Y. Tawfik, Eric Neufeld |
Temporal Bayesian Networks. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 85-92, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | André Trudel |
A Temporal Structure that Distinguishes between the Past, Present, and Future. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 146-152, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
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. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 113-120, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | Nicolas Chleq |
Using Constrained Resolution for Abductive Temporal Reasoning. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 54-59, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
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 ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![University of Regina, Regina, SK, Canada, 0-7731-0278-7 The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|
1 | David Leasure |
Automated Temporal Explanation with the Modal Logic Z. ![Search on Bibsonomy](Pics/bibsonomy.png) |
TIME ![In: Proceedings of the TIME-94 International Workshop on Temporal Reasoning, Pensacola, Florida, USA, May 4, 1994, pp. 134-139, 1994, University of Regina, Regina, SK, Canada, 0-7731-0278-7. The full citation details ...](Pics/full.jpeg) |
1994 |
DBLP BibTeX RDF |
|