Conferences in DBLP
Alfonso Gerevini Automated Planning in Temporal Domains: Some Recent Advances and Current Research Topics. [Citation Graph (0, 0)][DBLP ] Conf ] Ph. Schnoebelen Model Checking Branching Time Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Richard T. Snodgrass Towards a Science of Temporal Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Alessandro Artale , Roman Kontchakov , Carsten Lutz , Frank Wolter , Michael Zakharyaschev Temporalising Tractable Description Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Nicole Bidoit , Francois Hantry Relational Temporal Machines. [Citation Graph (0, 0)][DBLP ] Conf ] Nicole Bidoit , Matthieu Objois SQTL: A Preliminary Proposal for a Temporal-to-Temporal Query Language. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bolotov , Oleg Grigoriev , Vasilyi Shangin Automated Natural Deduction for Propositional Linear-Time Temporal Logic. [Citation Graph (0, 0)][DBLP ] Conf ] Yuchang Cheng , Masayuki Asahara , Yuji Matsumoto Constructing a Temporal Relation Tagged Corpus of Chinese Based on Dependency Structure Analysis. [Citation Graph (0, 0)][DBLP ] Conf ] Carlo Combi , Matteo Gozzi , José M. Juárez , Barbara Oliboni , Giuseppe Pozzi Conceptual Modeling of Temporal Clinical Workflows. [Citation Graph (0, 0)][DBLP ] Conf ] Ugo Dal Lago , Angelo Montanari , Gabriele Puppis On the Equivalence of Automaton-Based Representations of Time Granularities. [Citation Graph (0, 0)][DBLP ] Conf ] Stéphane Demri , Régis Gascon The Effects of Bounding Syntactic Resources on Presburger LTL. [Citation Graph (0, 0)][DBLP ] Conf ] Céline Fiot , Anne Laurent , Maguelonne Teisseire Extended Time Constraints for Sequence Mining. [Citation Graph (0, 0)][DBLP ] Conf ] Petr Nemec Automatic Analysis of Temporal Relations within a Discourse. [Citation Graph (0, 0)][DBLP ] Conf ] Nikos Pelekis , Ioannis Kopanakis , Gerasimos Marketos , Irene Ntoutsi , Gennady L. Andrienko , Yannis Theodoridis Similarity Search in Trajectory Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Jordi Poveda , Mihai Surdeanu , Jordi Turmo A Comparison of Statistical and Rule-Induction Learners for Automatic Tagging of Time Expressions in English. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman On Construction of Holistic Synopses under the Duplicate Semantics of Streaming Queries. [Citation Graph (0, 0)][DBLP ] Conf ] Jean-François Baget , Sébastien Laborie Bi-Intervals for Backtracking on Temporal Constraint Networks. [Citation Graph (0, 0)][DBLP ] Conf ] Max J. Egenhofer Temporal Relations of Intervals with a Gap. [Citation Graph (0, 0)][DBLP ] Conf ] M. Puchol-Blasco , Estela Saquete , Patricio Martínez-Barco Multilingual Extension of Temporal Expression Recognition Using Parallel Corpora. [Citation Graph (0, 0)][DBLP ] Conf ] Suman Roy , Guido Sciavicco Reasoning with 'And Then' and 'While'. [Citation Graph (0, 0)][DBLP ] Conf ] Sebastian Gottwald , Gerhard Heyer , Matthias Richter , Peter Walde WCTAnalyze--Collecting, Indexing, Accessing and Visualizing Temporally Indexed Textual Resources. [Citation Graph (0, 0)][DBLP ] Conf ] Yuechang Liu , Hong Qian , Yunfei Jiang Graph-DTP: Graph-Based Algorithm for Solving Disjunctive Temporal Problems. [Citation Graph (0, 0)][DBLP ] Conf ] Vítor Nogueira , Salvador Abreu Modularity and Temporal Reasoning: A Logic Programming Approach. [Citation Graph (0, 0)][DBLP ] Conf ] Mani Swaminathan , Martin Fränzle A Symbolic Decision Procedure for Robust Safety of Timed Systems. [Citation Graph (0, 0)][DBLP ] Conf ] 