Using clausal deductive databases for defining semantics in disjunctive deductive databases
Annals of Mathematics and Artificial Intelligence
A New Formulation of Tabled Resolution with Delay
EPIA '99 Proceedings of the 9th Portuguese Conference on Artificial Intelligence: Progress in Artificial Intelligence
Hypothesis-Founded Semantics for Datalog Programs with Negation
MFCS '02 Proceedings of the 27th International Symposium on Mathematical Foundations of Computer Science
Integrating the Completion and the Well Founded Semantics
IBERAMIA '98 Proceedings of the 6th Ibero-American Conference on AI: Progress in Artificial Intelligence
Disjunctive Logic Programming: A Survey and Assessment
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Clausal Deductive Databases and a General Framework for Semantics in Disjunctive Deductive Databases
FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
SLDMagic - The Real Magic (With Applications to Web Queries)
CL '00 Proceedings of the First International Conference on Computational Logic
On the Problem of Computing the Well-Founded Semantics
CL '00 Proceedings of the First International Conference on Computational Logic
Transformation-based bottom-up computation of the well-founded model
Theory and Practice of Logic Programming
On the problem of computing the well-founded semantics
Theory and Practice of Logic Programming
Answer Set Programming with Constraints Using Lazy Grounding
ICLP '09 Proceedings of the 25th International Conference on Logic Programming
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
GASP: Answer Set Programming with Lazy Grounding
Fundamenta Informaticae - Advances in Computational Logic (CIL C08)
Hi-index | 0.00 |