Maintenance of stratified databases viewed as a belief revision system
PODS '87 Proceedings of the sixth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
First-Order Logic Characterization of Program Properties
IEEE Transactions on Knowledge and Data Engineering
Safe Formulas in the General Theory of Stable Models (Preliminary Report)
ICLP '08 Proceedings of the 24th International Conference on Logic Programming
A reductive semantics for counting and choice in answer set programming
AAAI'08 Proceedings of the 23rd national conference on Artificial intelligence - Volume 1
Towards a logical reconstruction of a theory for locally closed databases
ACM Transactions on Database Systems (TODS)
Hi-index | 0.00 |