Complexity and expressive power of logic programming
ACM Computing Surveys (CSUR)
A Simple Characterization of Extended Abduction
CL '00 Proceedings of the First International Conference on Computational Logic
Abduction with Penalization in Logic Programming
AI*IA 01 Proceedings of the 7th Congress of the Italian Association for Artificial Intelligence on Advances in Artificial Intelligence
Using methods of declarative logic programming for intelligent information agents
Theory and Practice of Logic Programming
The Diagnosis Frontend of the dlv system
AI Communications
Outlier detection using default reasoning
Artificial Intelligence
| Hi-index | 0.00 |