Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs. Benzmüller, C., Schiller, M., & Siekmann, J. In Crocker, M. W. & Siekmann, J., editors, Resource-Adaptive Cognitive Processes, of Cognitive Technologies, pages 291-311. Springer, 2010. (Final project report, DFG SFB 378)
Resource-Bounded Modelling and Analysis of Human-Level Interactive Proofs [pdf]Preprint  doi  bibtex   

Downloads: 0