Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
A reflective proof system for reasoning in contexts
AAAI'97/IAAI'97 Proceedings of the fourteenth national conference on artificial intelligence and ninth conference on Innovative applications of artificial intelligence
Meta-variables in Logic Programming, or in Praise of Ambivalent Syntax
Fundamenta Informaticae
| Hi-index | 0.00 |