|
Conferences in DBLP
Temporal Description Logics: A Survey. [Citation Graph (, )][DBLP]
Using Oracle Extensibility Framework for Supporting Temporal and Spatio-Temporal Applications. [Citation Graph (, )][DBLP]
Real-Time Model Checking: Algorithms and Complexity. [Citation Graph (, )][DBLP]
The Complexity of CaRet + Chop. [Citation Graph (, )][DBLP]
Good Friends are Hard to Find! [Citation Graph (, )][DBLP]
Regarding Overlapping as a Basic Concept of Subset Spaces. [Citation Graph (, )][DBLP]
Towards a Formal Framework for Spatio-Temporal Granularities. [Citation Graph (, )][DBLP]
Representing Public Transport Schedules as Repeating Trips. [Citation Graph (, )][DBLP]
Moving Spaces. [Citation Graph (, )][DBLP]
A Heuristic Approach to Order Events in Narrative Texts. [Citation Graph (, )][DBLP]
Satisfying a Fragment of XQuery by Branching-Time Reduction. [Citation Graph (, )][DBLP]
Efficient Similarity Join of Large Sets of Moving Object Trajectories. [Citation Graph (, )][DBLP]
A Greedy Approach Towards Parsimonious Temporal Aggregation. [Citation Graph (, )][DBLP]
Time Aware Mining of Itemsets. [Citation Graph (, )][DBLP]
A Labeled Tableaux Systemfor the Distributed Temporal Logic DTL. [Citation Graph (, )][DBLP]
An optimal tableau for Right Propositional Neighborhood Logic over Trees. [Citation Graph (, )][DBLP]
Labeled Natural Deduction Systems for a Family of Tense Logics. [Citation Graph (, )][DBLP]
Topology-based Variable Ordering Strategy for Solving Disjunctive Temporal Problems. [Citation Graph (, )][DBLP]
TLP-GP: Solving Temporally-Expressive Planning Problems. [Citation Graph (, )][DBLP]
Decomposition of Decidable First-Order Logics over Integers and Reals. [Citation Graph (, )][DBLP]
Practical First-Order Temporal Reasoning. [Citation Graph (, )][DBLP]
Efficient Bit-Level Model Reductions for Automated Hardware Verification. [Citation Graph (, )][DBLP]
|