SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Tutorial on specialisation of logic programs
PEPM '93 Proceedings of the 1993 ACM SIGPLAN symposium on Partial evaluation and semantics-based program manipulation
ACM Transactions on Programming Languages and Systems (TOPLAS)
Algorithmic Debugging and Hypothetical Reasoning
Automated Software Engineering
On Termination of Meta-Programs
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Computational Logic: Logic Programming and Beyond, Essays in Honour of Robert A. Kowalski, Part II
Reflective metalogical frameworks
ACM Transactions on Computational Logic (TOCL)
On termination of meta-programs
Theory and Practice of Logic Programming
A metalogic programming approach to reasoning about time in knowledge bases
IJCAI'93 Proceedings of the 13th international joint conference on Artifical intelligence - Volume 2
Agent-oriented programming: from prolog to guarded definite clauses
Agent-oriented programming: from prolog to guarded definite clauses
Towards a dynamic metalogic implementation of legal argumentation
Proceedings of the 13th International Conference on Artificial Intelligence and Law
A dynamic metalogic argumentation framework implementation
RuleML'2011 Proceedings of the 5th international conference on Rule-based reasoning, programming, and applications
Defining datalog in rewriting logic
LOPSTR'09 Proceedings of the 19th international conference on Logic-Based Program Synthesis and Transformation
Dynamic composition of parameterised logic modules
Computer Languages
Hi-index | 0.01 |