Querying ATSQL databases with temporal logic
ACM Transactions on Database Systems (TODS)
Optimizing temporal queries: efficient handling of duplicates
Data & Knowledge Engineering - Special issue: Temporal representation and reasoning
A Temporal Description Logic for Reasoning over Conceptual Schemas and Queries
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
Implicit Temporal Query Languages: Towards Completeness
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
The VLDB Journal — The International Journal on Very Large Data Bases
IEEE Transactions on Knowledge and Data Engineering
AGENT WORK: a workflow system supporting rule-based workflow adaptation
Data & Knowledge Engineering
A flexible approach to user-defined symbolic granularities in temporal databases
Proceedings of the 2005 ACM symposium on Applied computing
Toward spatio-temporal models of biogeophysical fields for ecological forecasting
dg.o '02 Proceedings of the 2002 annual national conference on Digital government research
Reasoning on temporal class diagrams: Undecidability results
Annals of Mathematics and Artificial Intelligence
Temporal Logics of Knowledge and their Applications in Security
Electronic Notes in Theoretical Computer Science (ENTCS)
Evolving objects in temporal information systems
Annals of Mathematics and Artificial Intelligence
Foundations of Temporal Conceptual Data Models
Conceptual Modeling: Foundations and Applications
Modeling the evolution of objects in temporal information systems
FoIKS'06 Proceedings of the 4th international conference on Foundations of Information and Knowledge Systems
Querying temporal clinical databases on granular trends
Journal of Biomedical Informatics
Model checking systems and specifications with parameterized atomic propositions
ATVA'12 Proceedings of the 10th international conference on Automated Technology for Verification and Analysis
Towards a unifying approach to representing and querying temporal data in description logics
RR'12 Proceedings of the 6th international conference on Web Reasoning and Rule Systems
The telic/atelic distinction in temporal databases
ER'12 Proceedings of the 2012 international conference on Advances in Conceptual Modeling
A survey on temporal logics for specifying and verifying real-time systems
Frontiers of Computer Science: Selected Publications from Chinese Universities
An intensional approach for periodic data in relational databases
Journal of Intelligent Information Systems
Hi-index | 0.00 |