Concept Formation via Proof Planning Failure
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Cooperating reasoning processes: more than just the sum of their parts
IJCAI'07 Proceedings of the 20th international joint conference on Artifical intelligence
Hi-index | 0.00 |