Conferences in DBLP
Claudio Bettini Web services for time granularity reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Ron van der Meyden Modal Logics of Knowledge and Tim. [Citation Graph (0, 0)][DBLP ] Conf ] Gerard Ligozat Qualitative spatial and temporal reasoning: exploiting the connections to algebra and topology. [Citation Graph (0, 0)][DBLP ] Conf ] Edmund M. Clarke Counterexample-Guided Abstraction Refinement. [Citation Graph (0, 0)][DBLP ] Conf ] Bernhard Heinemann An Application of Monodic First Order Temporal Logic to Reasoning about Knowledge. [Citation Graph (0, 0)][DBLP ] Conf ] Maroua Bouzid On-line transportation Scheduling using Spatio-Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Jatindra Kumar Deka Reasoning about Extremal Properties of Events. [Citation Graph (0, 0)][DBLP ] Conf ] Paolo Terenziani , Luca Anselma Towards a Temporal Reasoning Approach Dealing with Instance-of, Part-of and Periodicity. [Citation Graph (0, 0)][DBLP ] Conf ] Fusheng Wang , Carlo Zaniolo Temporal Queries in XML Document Archives and Web Warehouses. [Citation Graph (0, 0)][DBLP ] Conf ] Amir M. Anvar Intelligent Navigation Process for Autonomous Underwater Vehicles (AUVs) Using Time-based Fuzzy Temporal Reasoning. [Citation Graph (0, 0)][DBLP ] Conf ] Clare Dixon , Cláudia Nalon , Michael Fisher Tableaux for Temporal Logics of Knowledge: Synchronous Systems of Perfect Recall or No Learning. [Citation Graph (0, 0)][DBLP ] Conf ] Boris Konev , Anatoli Degtyarev , Clare Dixon , Michael Fisher , Ullrich Hustadt Towards the Implementation of First-Order Temporal Resolution: the Expanding Domain Case. [Citation Graph (0, 0)][DBLP ] Conf ] Till Mossakowski , Michael Drouineaud , Karsten Sohr A temporal-logic extension of role-based access control covering dynamic separation of duties. [Citation Graph (0, 0)][DBLP ] Conf ] Ian M. Hodkinson , Roman Kontchakov , Agi Kurucz , Frank Wolter , Michael Zakharyaschev On the Computational Complexity of Decidable Fragments of First-Order Linear Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] David Toman On Incompleteness of Multi-dimensional First-order Temporal Logics. [Citation Graph (0, 0)][DBLP ] Conf ] Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. [Citation Graph (0, 0)][DBLP ] Conf ] Peter Z. Revesz , Yi Chen Efficient Aggregation over Moving Objects. [Citation Graph (0, 0)][DBLP ] Conf ] Abraham Otero , Paulo Félix , Carlos V. Regueiro , Miguel Rodríguez , Senén Barro A model to perform knowledge-based temporal abstraction over multiple signals. [Citation Graph (0, 0)][DBLP ] Conf ] Aidan Harding , Mark Ryan , Pierre-Yves Schobbens Towards Symbolic Strategy Synthesis for \left\langle {\left\langle A \right\rangle } \right\rangle-LTL. [Citation Graph (0, 0)][DBLP ] Conf ] Isabel Navarrete , Abdul Sattar , Roque Marín Deciding consistency of a point-duration network with metric constraints. [Citation Graph (0, 0)][DBLP ] Conf ] Tim French Quantified Propositional Temporal Logic with Repeating States. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Franceschet , Maarten de Rijke , Bernd-Holger Schlingloff Hybrid Logics on Linear Structures: Expressivity and Complexity. [Citation Graph (0, 0)][DBLP ] Conf ] Bela Stantic , John Thornton , Abdul Sattar A Novel Approach to Model NOW in Temporal Databases. [Citation Graph (0, 0)][DBLP ] Conf ] Howard J. Hamilton , Liqiang Geng , Leah Findlater , Dee Jay Randall Spatio-Temporal Data Mining with Expected Distribution Domain Generalization Graphs. [Citation Graph (0, 0)][DBLP ] Conf ] Massimo Franceschet , Angelo Montanari , Adriano Peron , Guido Sciavicco Definability and decidability of binary predicates for time granularity. [Citation Graph (0, 0)][DBLP ] Conf ] Philippe Balbiani , Jean-François Condotta , Gérard Ligozat On the Consistency Problem for the INDU Calculus. [Citation Graph (0, 0)][DBLP ] Conf ] Lin Xu , Berthe Y. Choueiry A New Efficient Algorithm for Solving the Simple Temporal Problem. [Citation Graph (0, 0)][DBLP ] Conf ] 