Conferences in DBLP
Patrick J. Hayes Alternative Conceptions of the Time-Line. [Citation Graph (0, 0)][DBLP ] Conf ] Clare Dixon Temporal Resolution: Removing Irrelevant Information. [Citation Graph (0, 0)][DBLP ] Conf ] Adam Kellett , Michael Fisher Automata Representations for Concurrent METATEM. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bolotov , Michael Fisher A Resolution Method For CTL Branching-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Vittorio Brusoni , Luca Console , Paolo Terenziani , Daniele Theseider Dupré An Efficient Algorithm for Temporal Abduction. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Y. Tawfik , Eric Neufeld Bidirectional Inference in Probabilistic Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Iliano Cervesato , Massimo Franceschet , Angelo Montanari Modal Event Calculi with Preconditions. [Citation Graph (0, 0)][DBLP ] Conf ] Sônia Fernandes Silva , Ulrich Schiel , Tiziana Catarci Visual Query Operators for Temporal Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jong Soo Kim , Myoung-Ho Kim On Effective Data Clustering in Bitemporal Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Mancarella , Alessandra Raffaetà , Franco Turini Time in a Multi-Theory Logical Framework. [Citation Graph (0, 0)][DBLP ] Conf ] Mark S. Boddy Practical Temporal Reasoning for Real Scheduling Applications. [Citation Graph (0, 0)][DBLP ] Conf ] Juan Jose Blanco , Lina Khatib Enhancements to the Ground Processing Scheduling System. [Citation Graph (0, 0)][DBLP ] Conf ] Thierry Vidal , Hélène Fargier Contingent Durations in Temporal CSPs: From Consistency to Controllabilities. [Citation Graph (0, 0)][DBLP ] Conf ] Frank Schilder A Hierarchy for Convex Relations. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Terenziani Qualitative and Quantitive Temporal Constraints about Numerically Quantified Periodic Events. [Citation Graph (0, 0)][DBLP ] Conf ] Yuval Shahar Knowledge-Based Temporal Interpolation. [Citation Graph (0, 0)][DBLP ] Conf ] Marcelo Finger , Peter McBrien Concurrency Control for Perceivedly Instantaneous Transactions in Valid-Time Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Combi , Giancarlo Cucchi GCH-OSQL: A Temporally-Oriented Object-Oriented Query Language Based on a Three-Valued Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Ernst G. P. Bovenkamp , Jan C. A. van der Lubbe Temporal Reasoning with Fuzzy Time-Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Heikki Mannila , Pirjo Ronkainen Similarity of Event Sequences. [Citation Graph (0, 0)][DBLP ] Conf ] Chuchang Liu , Mehmet A. Orgun BCTL: A Branching Clock Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Jixin Ma , Brian Knight , T. Peng Representing Temporal Relationships between Events and their Effects. [Citation Graph (0, 0)][DBLP ] Conf ] Pedro A. de Matos , João P. Martins Contextual Logic of Change and Contextual Proofs. [Citation Graph (0, 0)][DBLP ] Conf ] Surya Ramachandran , David C. Wilkins Temporal Control Structures in Expert Critiquing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Francisco C. Pereira , Carlos Grilo , Luís Macedo , Amílcar Cardoso A Structured Framework for Representing Time in a Generative Composition System. [Citation Graph (0, 0)][DBLP ] Conf ] Fernando Barber , Salvador Moreno Representation of Continuous Change with Discrete Time. [Citation Graph (0, 0)][DBLP ] Conf ] Robert A. Morris , Lina Khatib Entities and Relations for Historical Relational Databases. [Citation Graph (0, 0)][DBLP ] Conf ] 