Conferences in DBLP
Peter Z. Revesz Constraint Databases and Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:- [Conf ] Erik Sandewall Cellular Ontology as a Basis for Spatiotemporal Reasoning. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:3-4 [Conf ] Sergio Brandano The Event Calculus Assessed. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:7-12 [Conf ] Luca Chittaro , Carlo Combi Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:13-20 [Conf ] Lina Khatib , Nicola Muscettola , Klaus Havelund Mapping Temporal Planning Constraints into Timed Automata. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:21-27 [Conf ] Alice ter Meulen , Hans Smessaert Temporal reasoning with aspectual adverbs. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:28-34 [Conf ] Vladimir Ryabov , Seppo Puuronen Probabilistic Reasoning about Uncertain Relations between Temporal Points. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:35-40 [Conf ] Tiberiu Stratulat , Françoise Clérin-Debart , Patrice Enjalbert Temporal Reasoning: An Application to Normative Systems. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:41-47 [Conf ] Silvana Badaloni , Massimiliano Giacomin , Claudio Masolo Qualitative temporal representation and reasoning about points, intervals and durations. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:51-56 [Conf ] Edjard Mota Reasoning about the Temporal Aspects of Interacting Agents. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:57-62 [Conf ] Francesca Rossi , Alessandro Sperduti , Lina Khatib , Paul H. Morris , Robert A. Morris Learning preferences on temporal constraints: a preliminary report. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:63-68 [Conf ] Vladimir Ryabov Estimating Uncertain Relations between Indeterminate Points and Intervals. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:69-74 [Conf ] Markus Schaal , Hans-Joachim Lenz Best Time and Content for Delay Notification. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:75-80 [Conf ] André Trudel Representing temporal interval relationships in a first order logic for time. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:81-86 [Conf ] Manolis Koubarakis Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:89- [Conf ] Ivan T. Bowman , David Toman Optimizing Temporal Queries: Efficient Handling of Duplicates. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:93-100 [Conf ] Tony Griffiths , Alvaro A. A. Fernandes , Nassima Djafri , Norman W. Paton A Query Calculus for Spatio-Temporal Object Databases. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:101-110 [Conf ] Yingjiu Li , Peng Ning , Xiaoyang Sean Wang , Sushil Jajodia Discovering Calendar-based Temporal Association Rules. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:111-118 [Conf ] Barbara Oliboni , Elisa Quintarelli , Letizia Tanca Temporal aspects of semistructured data. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:119-127 [Conf ] David Toman Expiration of Historical Databases. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:128-135 [Conf ] Jef Wijsen , Alexis Bès Temporal Tableau Queries. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:136-143 [Conf ] Elisa Bertino , Elena Ferrari , Giovanna Guerrini , Isabella Merlo Navigating Through Multiple Temporal Granularity Objects. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:147-155 [Conf ] Elisa Bertino , Tsz S. Cheng , Shashi K. Gadia , Giovanna Guerrini A Linguistic Framework for Querying Dimensional Data. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:156-163 [Conf ] Fabio Grandi , Federica Mandreoli Effective Representation and Efficient Management of Indeterminate Dates. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:164-169 [Conf ] Peter Z. Revesz , Rui Chen , Min Ouyang Approximate Query Evaluation Using Linear Constraint Databases. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:170-175 [Conf ] Pierre Wolper Representing Periodic Temporal Information with Automata. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:179- [Conf ] Patrick Blackburn , Valentin Goranko Hybrid Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:183-188 [Conf ] Benedikt Bollig , Martin Leucker Deciding LTL over Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:189-197 [Conf ] Serge Haddad , Denis Poitrenaud Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:198-205 [Conf ] Ullrich Hustadt , Clare Dixon , Renate A. Schmidt , Michael Fisher , John-Jules Ch. Meyer , Wiebe van der Hoek Reasoning about agents in the KARO framework. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:206-213 [Conf ] George Logothetis , Klaus Schneider Symbolic Model Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:214-223 [Conf ] Frank S. de Boer , Maurizio Gabbrielli , Maria Chiara Meo A Temporal Logic for reasoning about Timed Concurrent Constraint Programs. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:227-233 [Conf ] Bernhard Heinemann About the Temporal Decrease of Sets. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:234-239 [Conf ] Benedikt Bollig , Martin Leucker Modelling, Specifying, and Verifying Message Passing Systems. [Citation Graph (0, 0)][DBLP ] TIME, 2001, pp:240-247 [Conf ]