Conferences in DBLP
Peter Z. Revesz Constraint Databases and Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Erik Sandewall Cellular Ontology as a Basis for Spatiotemporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Sergio Brandano The Event Calculus Assessed. [Citation Graph (0, 0)][DBLP ] Conf ] Luca Chittaro , Carlo Combi Representation of Temporal Intervals and Relations: Information Visualization Aspects and their Evaluation. [Citation Graph (0, 0)][DBLP ] Conf ] Lina Khatib , Nicola Muscettola , Klaus Havelund Mapping Temporal Planning Constraints into Timed Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Alice ter Meulen , Hans Smessaert Temporal reasoning with aspectual adverbs. [Citation Graph (0, 0)][DBLP ] Conf ] Vladimir Ryabov , Seppo Puuronen Probabilistic Reasoning about Uncertain Relations between Temporal Points. [Citation Graph (0, 0)][DBLP ] Conf ] Tiberiu Stratulat , Françoise Clérin-Debart , Patrice Enjalbert Temporal Reasoning: An Application to Normative Systems. [Citation Graph (0, 0)][DBLP ] Conf ] Silvana Badaloni , Massimiliano Giacomin , Claudio Masolo Qualitative temporal representation and reasoning about points, intervals and durations. [Citation Graph (0, 0)][DBLP ] Conf ] Edjard Mota Reasoning about the Temporal Aspects of Interacting Agents. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Vladimir Ryabov Estimating Uncertain Relations between Indeterminate Points and Intervals. [Citation Graph (0, 0)][DBLP ] Conf ] Markus Schaal , Hans-Joachim Lenz Best Time and Content for Delay Notification. [Citation Graph (0, 0)][DBLP ] Conf ] André Trudel Representing temporal interval relationships in a first order logic for time. [Citation Graph (0, 0)][DBLP ] Conf ] Manolis Koubarakis Spatiotemporal databases: Recent Achievements and Opportunities for Future Research. [Citation Graph (0, 0)][DBLP ] Conf ] Ivan T. Bowman , David Toman Optimizing Temporal Queries: Efficient Handling of Duplicates. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Yingjiu Li , Peng Ning , Xiaoyang Sean Wang , Sushil Jajodia Discovering Calendar-based Temporal Association Rules. [Citation Graph (0, 0)][DBLP ] Conf ] Barbara Oliboni , Elisa Quintarelli , Letizia Tanca Temporal aspects of semistructured data. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman Expiration of Historical Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jef Wijsen , Alexis Bès Temporal Tableau Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Elena Ferrari , Giovanna Guerrini , Isabella Merlo Navigating Through Multiple Temporal Granularity Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Elisa Bertino , Tsz S. Cheng , Shashi K. Gadia , Giovanna Guerrini A Linguistic Framework for Querying Dimensional Data. [Citation Graph (0, 0)][DBLP ] Conf ] Fabio Grandi , Federica Mandreoli Effective Representation and Efficient Management of Indeterminate Dates. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Z. Revesz , Rui Chen , Min Ouyang Approximate Query Evaluation Using Linear Constraint Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Pierre Wolper Representing Periodic Temporal Information with Automata. [Citation Graph (0, 0)][DBLP ] Conf ] Patrick Blackburn , Valentin Goranko Hybrid Ockhamist Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Benedikt Bollig , Martin Leucker Deciding LTL over Mazurkiewicz Traces. [Citation Graph (0, 0)][DBLP ] Conf ] Serge Haddad , Denis Poitrenaud Checking Linear Temporal Formulas on Sequential Recursive Petri Nets. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] George Logothetis , Klaus Schneider Symbolic Model Checking of Real-Time Systems. [Citation Graph (0, 0)][DBLP ] 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 ] Conf ] Bernhard Heinemann About the Temporal Decrease of Sets. [Citation Graph (0, 0)][DBLP ] Conf ] Benedikt Bollig , Martin Leucker Modelling, Specifying, and Verifying Message Passing Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 