Programming with non-determinism in deductive databases
Annals of Mathematics and Artificial Intelligence
"Possible is certain'' is desirable and can be expressive
Annals of Mathematics and Artificial Intelligence
On non-determinism in machines and languages
Annals of Mathematics and Artificial Intelligence
Dynamic Programming in Datalog with Aggregates
IEEE Transactions on Knowledge and Data Engineering
EDBT '00 Proceedings of the 7th International Conference on Extending Database Technology: Advances in Database Technology
Search and Optimization Problems in Datalog
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
New Generation Computing
Scalar aggregation in inconsistent databases
Theoretical Computer Science - Database theory
Answer sets for consistent query answering in inconsistent databases
Theory and Practice of Logic Programming
Theory and Practice of Logic Programming
Declarative semantics for active rules
Theory and Practice of Logic Programming
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Detecting and resolving ambiguities caused by inter-dependent introductions
Proceedings of the 5th international conference on Aspect-oriented software development
Minimal-change integrity maintenance using tuple deletions
Information and Computation
Logic programming languages for databases and the web
A 25-year perspective on logic programming
On the computational complexity of minimal-change integrity maintenance in relational databases
Inconsistency Tolerance
Implementation and experimentation of the logic language NP Datalog
DEXA'06 Proceedings of the 17th international conference on Database and Expert Systems Applications
Hi-index | 0.00 |