Logic Programming and Nonmonotonic Reasoning : 12th International Conference,...

Programming Language Implementation and Logic Programming: 4th International Sym

Advances in Logic Programming and Automated Reasoning [Hard

Logic Programming and Nonmonotonic Reasoning: Fourth International Conference,

Learning and Reasoning: 4th International Joint Conference on Learning and Reaso

Logic Programming and Automated Reasoning : International Conference Lpar '92...

Logic Programming and Automated Reasoning : 6th International Conference, Lpa...