A logic-based calculus of events
New Generation Computing
Logic and Databases: A Deductive Approach
ACM Computing Surveys (CSUR)
Logic for Problem Solving
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
Integrity Checking in Deductive Databases
VLDB '87 Proceedings of the 13th International Conference on Very Large Data Bases
Updating knowledge bases while maintaining their consistency
The VLDB Journal — The International Journal on Very Large Data Bases
Integrity Constraints Checking In Deductive Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Semantic Modeling of Object Oriented Databases
VLDB '91 Proceedings of the 17th International Conference on Very Large Data Bases
Relationship Reification: A Temporal View
CAiSE '99 Proceedings of the 11th International Conference on Advanced Information Systems Engineering
The cause-effect rules of ROSES
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
First order action logic: an approach for modeling the communication process between agents
CM'96 Proceedings of the First international conference on Communication Modeling: The language/action perspective
| Hi-index | 0.00 |