Implementing systemic classification by unification
Computational Linguistics
First order compiler: A deterministic logic program synthesis algorithm
Journal of Symbolic Computation
A strategy for transforming generate and test logic programs
SAC '92 Proceedings of the 1992 ACM/SIGAPP Symposium on Applied computing: technological challenges of the 1990's
Guarded horn clauses and experiences with parallel logic programming
ACM '86 Proceedings of 1986 ACM Fall joint computer conference
A novel strategy for multi-resource load balancing in agent-based systems
International Journal of Intelligent Information and Database Systems
Hi-index | 0.00 |