ACM Transactions on Database Systems (TODS)
Referential actions as logical rules
PODS '97 Proceedings of the sixteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Understanding the global semantics of referential actions using logic rules
ACM Transactions on Database Systems (TODS)
On the partial semantics for disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
| Hi-index | 0.00 |