Return to Article Details Computational Logic Foundations of KGP Agents Download Download PDF