© University of Kent - Contact | Feedback | Legal | FOI | Cookies
Artificial immune systems and the grand challenge for non-classical computation
Susan Stepney, John A. Clark, Colin G. Johnson, Derek Partridge, and Robert E. Smith
In Jon Timmis, Peter Bentley, and Emma Hart, editors, Proceedings of the 2003 International Conference on Artificial Immune Systems, LNCS 2787, pages 182-196. Springer, September 2003.Abstract
The UK Grand Challenges for Computing Research is an initiative to map out certain key areas that could be used to help drive research over the next 10 15 years. One of the identified Grand Challenges is Non-Classical Computation, which examines many of the fundamental assumptions of Computer Science, and asks what would result if they were systematically broken. In this discussion paper, we explain how the sub-discipline of Artificial Immune Systems sits squarely in the province of this particular Grand Challenge, and we identify certain key questions.
Bibtex Record
@inproceedings{1704, author = {Susan Stepney and John A. Clark and Colin G. Johnson and Derek Partridge and Robert E. Smith }, title = {Artificial Immune Systems and the Grand Challenge for Non-Classical Computation}, month = {September}, year = {2003}, pages = {182-196}, keywords = {determinacy analysis, Craig interpolants}, note = {}, doi = {}, url = {http://www.cs.kent.ac.uk/pubs/2003/1704}, publication_type = {inproceedings}, submission_id = {19858_1063817545}, ISBN = {3-540-40766-9}, booktitle = {Proceedings of the 2003 International Conference on Artificial Immune Systems}, editor = {Jon Timmis and Peter Bentley and Emma Hart}, series = {LNCS 2787}, publisher = {Springer}, refereed = {yes}, }