Characterizations of the Disjunctive Well-Founded Semantics: Confluent Calculi and Iterated GCWA
Journal of Automated Reasoning
Binding Propagation Techniques for the Optimization of Bound Disjunctive Queries
IEEE Transactions on Knowledge and Data Engineering
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Nonmonotonic reasoning: towards efficient calculi and implementations
Handbook of automated reasoning
On the rewriting and efficient computation of bound disjunctive datalog queries
Proceedings of the 5th ACM SIGPLAN international conference on Principles and practice of declaritive programming
ACM Transactions on Computational Logic (TOCL)
Optimization of bound disjunctive queries with constraints
Theory and Practice of Logic Programming
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
Computing Only Minimal Answers in Disjunctive Deductive Databases
Journal of Automated Reasoning
Hi-index | 0.00 |