A Lingua Franca for Concurrent Logic Programming
IEEE Transactions on Software Engineering
Partial Evaluation - Practice and Theory, DIKU 1998 International Summer School
Patterns for Prolog Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part I
Secure Prolog-based mobile code
Theory and Practice of Logic Programming
Rapid Prototyping of Large Multi-Agent Systems Through Logic Programming
Annals of Mathematics and Artificial Intelligence
Logic program specialisation through partial deduction: Control issues
Theory and Practice of Logic Programming
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
Norm verification and analysis of electronic institutions
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
A multi-level logic programming model of a query optimizer
ADBIS'97 Proceedings of the First East-European conference on Advances in Databases and Information systems
On Simplification of Database Integrity Constraints
Fundamenta Informaticae
| Hi-index | 0.00 |