On negation in HiLog (extended abstract)
PODS '91 Proceedings of the tenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
The well-founded semantics for general logic programs
Journal of the ACM (JACM)
Queries are easier than you thought (probably)
PODS '92 Proceedings of the eleventh ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
On the expressive power of query languages
ACM Transactions on Information Systems (TOIS)
Modular stratification and magic sets for Datalog programs with negation
Journal of the ACM (JACM)
Combinatorial games in database theory
PODS '95 Proceedings of the fourteenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
ACM Transactions on Database Systems (TODS)
Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
Datalog LITE: a deductive query language with linear time model checking
ACM Transactions on Computational Logic (TOCL)
Program schemes, arrays, Lindström quantifiers and zero-one laws
Theoretical Computer Science
Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
Annals of Mathematics and Artificial Intelligence
ICLP '02 Proceedings of the 18th International Conference on Logic Programming
Operational Semantics for Fixed-Point Logics on Constraint Databases
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Efficient Computation of the Well-Founded Model Using Update Propagation
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
New Generation Computing
Complexity and Expressive Power of Logic Programming
CCC '97 Proceedings of the 12th Annual IEEE Conference on Computational Complexity
Guarded Quantification in Least Fixed Point Logic
Journal of Logic, Language and Information
Datalog for security, privacy and trust
Datalog'10 Proceedings of the First international conference on Datalog Reloaded
Win-move is coordination-free (sometimes)
Proceedings of the 15th International Conference on Database Theory
Extending the power of datalog recursion
The VLDB Journal — The International Journal on Very Large Data Bases
Graph queries in a next-generation Datalog system
Proceedings of the VLDB Endowment
Hi-index | 0.00 |