FoIKS '00 Proceedings of the First International Symposium on Foundations of Information and Knowledge Systems
Partial Models of Extended Generalized Logic Programs
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
DisLoP: a research project on Disjunctive Logic Programming
AI Communications
| Hi-index | 0.00 |