@inproceedings{colton00__agent_based_cooper_theor_format_pure_mathem_, title = {Agent Based Cooperative Theory Formation in Pure Mathematics}, author = {Colton, Simon and Bundy, Alan and Walsh, Toby}, year = {2000}, tags = {}, page = {10}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{cook00__recip_, title = {Reciprocal modelling as a mechanism for creative cooperation}, author = {Cook, John and Springett, Mark}, year = {2000}, tags = {}, page = {27}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{faro00__from_, title = {From individual to distributed minds in creative design}, subtitle = {the re-representation hypothesis revisited}, author = {Faro, Alberto and Giordano, Daniela}, year = {2000}, tags = {}, page = {33}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{gervas00__wasp_, title = {WASP}, subtitle = {Evaluation of Different Strategies for the Automatic Generation of Spanish Verse}, author = {Gervas, Pablo}, year = {2000}, tags = {}, page = {93}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{giannakis00__towar_, title = {Towards a theoretical framework for sound synthesis based on audio-visual associations}, author = {Giannakis, Kostas and Smith, Matt}, year = {2000}, tags = {}, page = {87}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{leite00__metap_mappin_dynam_logic_progr_, title = {Metaphorical Mapping consistency via Dynamic Logic Programming}, author = {Leite, Joao Alexandre and Pereira, Francisco Camara and Cardoso, Amilcar and Pereira, Luis Moniz}, year = {2000}, tags = {}, page = {41}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{lemstrom00__includ_inter_encod_edit_distan_, title = {Including Interval Encoding into Edit Distance Based Music Comparison and Retrieval}, author = {Lemstrom, Kjell and Ukkonen, Esko}, year = {2000}, tags = {}, page = {53}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{lothe00__knowl_, title = {Knowledge-based composition of minuets by a computer}, author = {Lothe, Mathis}, year = {2000}, tags = {}, page = {19}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{machado00__nevar_, title = {NEvAr - the assessment of an evolutionary art tool}, author = {Machado, Penousal and Cardoso, Amilcar}, year = {2000}, tags = {}, page = {101}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{manurung00__towar_, title = {Towards a computational model of poetry generation}, author = {Manurung, Hisar Maruli and Ritchie, Graeme and Thompson, Henry}, year = {2000}, tags = {}, page = {79}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{ritchie00__descr_, title = {Describing verbally expressed humour}, author = {Ritchie, Graeme}, year = {2000}, tags = {}, page = {71}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{smith00__lerdah_pitch_spaces_, title = {A prototype direct manipulation music tool based on Lerdahl's Pitch Spaces}, author = {Smith, Matt}, year = {2000}, tags = {}, page = {61}, crossref = {wiggins00:_time_for_ai_societ_}, } @inproceedings{steel00__cross_, title = {Cross-domain mathematical concept formation}, author = {Steel, Graham and Colton, Simon and Bundy, Alan and Walsh, Toby}, year = {2000}, tags = {}, page = {3}, crossref = {wiggins00:_time_for_ai_societ_}, } @proceedings{wiggins00:_time_for_ai_societ_, title = {Time For AI and Society}, subtitle = {Proceedings Of The AISB'00 Symposium On Creative and Cultural Aspects and Applications Of AI and Cognitive Science}, editor = {Wiggins, Geraint}, year = {2000}, tags = {}, address = {Birmingham University, UK}, country = {UK}, invalid_isbn = {1-902956-16-2}, pdf_locked = {False}, url = {https://aisb.org.uk/wp-content/uploads/2019/12/AISB00_Creativity.pdf}, url2 = {https://web.archive.org/web/20190115201026/http://www.aisb.org.uk/convention/aisb00/index.html}, file = {/media/john/data/todo/pdfs/proceedings/aisb/aisb_00/AISB00_Creativity.pdf}, }