Foundations of logic programming
Foundations of logic programming
The British Nationality Act as a logic program
Communications of the ACM
A logic-based calculus of events
New Generation Computing
Computer
The temporal query language TQuel
ACM Transactions on Database Systems (TODS)
Artificial Intelligence
Database updates in the event calculus
Journal of Logic Programming
SIGMOD '85 Proceedings of the 1985 ACM SIGMOD international conference on Management of data
Formal semantics for time in databases
ACM Transactions on Database Systems (TODS)
The design and implementation of INGRES
ACM Transactions on Database Systems (TODS)
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Maintaining knowledge about temporal intervals
Communications of the ACM
Logic for Problem Solving
Dealing with Temporal Schema Anomalies in History Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
The Design of the POSTGRES Storage System
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Automatic deduction of temporal information
ACM Transactions on Database Systems (TODS)
Temporal Data Management Systems: A Comparative View
IEEE Transactions on Knowledge and Data Engineering
Temporal and Real-Time Databases: A Survey
IEEE Transactions on Knowledge and Data Engineering
VLDB '94 Proceedings of the 20th International Conference on Very Large Data Bases
MuTACLP: A Language for Temporal Reasoning with Multiple Theories
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Data Models with Multiple Temporal Dimensions: Completing the Picture
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Specification and Implementation of Temporal Databases in a Bitemporal Event Calculus
ER '99 Proceedings of the Workshops on Evolution and Change in Data Management, Reverse Engineering in Information Systems, and the World Wide Web and Conceptual Modeling
Conceptual Modeling: Foundations and Applications
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Hi-index | 0.00 |