Foundations of logic programming; (2nd extended ed.)
Foundations of logic programming; (2nd extended ed.)
Finding paths and deleting edges in directed acyclic graphs
Information Processing Letters
Computational Intelligence
Representation of the historical information necessary for temporal integrity monitoring
EDBT '90 Proceedings of the 2nd international conference on extending database technology: Advances in Database Technology
Telos: representing knowledge about information systems
ACM Transactions on Information Systems (TOIS)
Efficient Algorithms for the Instantiated Transitive Closure Queries
IEEE Transactions on Software Engineering
Maintaining knowledge about temporal intervals
Communications of the ACM
A Uniform Approach to Constraint Satisfaction and Constraint Satisfiability in Deductive Databases
EDBT '88 Proceedings of the International Conference on Extending Database Technology: Advances in Database Technology
History-less Checking of Dynamic Integrity Constraints
Proceedings of the Eighth International Conference on Data Engineering
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Storage management for knowledge bases
CIKM '93 Proceedings of the second international conference on Information and knowledge management
Quantitative evaluation of a transaction facility for knowledge base management system
CIKM '94 Proceedings of the third international conference on Information and knowledge management
AI Models for Business Process Reengineering
IEEE Expert: Intelligent Systems and Their Applications
Efficient transitive closure reasoning in a combined class/part/containment hierarchy
Knowledge and Information Systems
Temporal Integrity Constraints with Indeterminacy
VLDB '00 Proceedings of the 26th International Conference on Very Large Data Bases
Building knowledge base management systems
The VLDB Journal — The International Journal on Very Large Data Bases
Requirements Monitoring for Service-Based Systems: Towards a framework based on Event Calculus
Proceedings of the 19th IEEE international conference on Automated software engineering
A framework for requirents monitoring of service based systems
Proceedings of the 2nd international conference on Service oriented computing
Efficient algorithms and performance results for multi-user knowledge bases
IJCAI'95 Proceedings of the 14th international joint conference on Artificial intelligence - Volume 1
Hi-index | 0.00 |