Logic Programming and Co-inductive Definitions
Proceedings of the 14th Annual Conference of the EACSL on Computer Science Logic
Neuro-symbolic representation of logic programs defining infinite sets
ICANN'10 Proceedings of the 20th international conference on Artificial neural networks: Part I
Coalgebraic semantics for parallel derivation strategies in logic programming
AMAST'10 Proceedings of the 13th international conference on Algebraic methodology and software technology
Hi-index | 0.00 |