Conferences in DBLP
Klaus P. Jantke , Oksana Arnold A Modal Temporal Logic and its Models Underlying Variants of Planning Algorithms. [Citation Graph (0, 0)][DBLP ] Conf ] Elpida T. Keravnou Engineering time in medical knowledge-based systems through time-axes and time-objects. [Citation Graph (0, 0)][DBLP ] Conf ] Evelina Lamma , Paola Mello , Michela Milano Temporal Reasoning in a Meta Constraint Logic Programming Architecture. [Citation Graph (0, 0)][DBLP ] Conf ] Minglu Li , Yongqiang Sun , Huanye Sheng Temporal Representation for Multimedia Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Eddie Schwalb , Rina Dechter Processing Disjunctions of Temporal Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Eddie Schwalb , Lluís Vila Logic Programming with Temporal Constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Yuval Shahar Dynamic Temporal Interpretation Contexts for Temporal Abstraction. [Citation Graph (0, 0)][DBLP ] Conf ] Carme Martín , Jaume Sistac An Integrity Constraint Checking Method for Temporal Deductive Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Ahmed Y. Tawfik , Eric Neufeld Irrelevance in Uncertain Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Mario R. Sanchez , Anil M. Shende Time Accountability for Lattice Computers. [Citation Graph (0, 0)][DBLP ] Conf ] André Trudel , Denis Gagné A topological transition based logic for the qualitative motion of objects. [Citation Graph (0, 0)][DBLP ] Conf ] Lluís Vila , Eddie Schwalb A Theory of Time and Temporal Incidence Based on Instants and Periods. [Citation Graph (0, 0)][DBLP ] Conf ] Rattana Wetprasit , Abdul Sattar , Lina Khatib Reasoning with Sequences of Point Events. [Citation Graph (0, 0)][DBLP ] Conf ] Amar Isli , Hachemi Bennaceur Networks of Qualitative Interval Relations: Combining Circuit Consistency and Path Consistency in the Search for a Solution. [Citation Graph (0, 0)][DBLP ] Conf ] Amedeo Cesta , Angelo Oddi Gaining Efficiency and Flexibility in the Simple Temporal Problem. [Citation Graph (0, 0)][DBLP ] Conf ] Clare Dixon Temporal Resolution: A Breadth-First Search Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Combi , Francesco Pinciroli , Giuseppe Pozzi Managing Time Granularity of Narrative Clinical Information: The Temporal Data Model TIME-NESIS. [Citation Graph (0, 0)][DBLP ] Conf ] Diana Cukierman , James P. Delgrande Characterizing Temporal Repetition. [Citation Graph (0, 0)][DBLP ] Conf ] Akira Fusaoka Nonmonotonic Reasoning on a Constructive Time Structure. [Citation Graph (0, 0)][DBLP ] Conf ] Isabelle Bichindaritz , E. Conlon Case-based reasoning with temporal data. [Citation Graph (0, 0)][DBLP ] Conf ] Silvana Badaloni , Marina Berati Hybrid Temporal Reasoning for Planning and Scheduling. [Citation Graph (0, 0)][DBLP ] Conf ] Gérard Becher First Order Modal Logics with Generalized Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Fahiem Bacchus Using Temporal Logics for Planning and Control. [Citation Graph (0, 0)][DBLP ] Conf ] J. van Benthen Remodeling Temporal Geometry. [Citation Graph (0, 0)][DBLP ] Conf ] Choong-Ho Yi Reasoning about Concurrent Actions within Features and Fluents. [Citation Graph (0, 0)][DBLP ] Conf ] Aïcha Mokhtari , Daniel Kayser Time in a Causal Theory. [Citation Graph (0, 0)][DBLP ] Conf ] Edjard Mota , David Stuart Robertson Representing Interaction of Agents at Different Time Granularities. [Citation Graph (0, 0)][DBLP ] Conf ] Mehmet A. Orgun A recursive temporal algebra and temporal completeness. [Citation Graph (0, 0)][DBLP ] Conf ] Claudio Bettini , Xiaoyang Sean Wang , Sushil Jajodia A General Framework and Reasoning Model for Time Granularity. [Citation Graph (0, 0)][DBLP ] Conf ] Avigdor Gal , Dov Dori Combining Simultaneous Values and Temporal Data Dependencies. [Citation Graph (0, 0)][DBLP ] Conf ] Giorgio Brajnik , Daniel J. Clancy Guiding and refining simulation using temporal logic. [Citation Graph (0, 0)][DBLP ] Conf ] Rocio Guillén , David Farwell , Janyce Wiebe Handling Temporal Relations in Scheduling Dialogues for an MT System. [Citation Graph (0, 0)][DBLP ] Conf ] 