<?xml version="1.0" encoding="utf-8"?>
<!-- generator="FeedCreator 1.7.2-ppt DokuWiki" -->
<?xml-stylesheet href="http://ccg.doc.ic.ac.uk/wiki/lib/exe/css.php?s=feed" type="text/css"?>
<rdf:RDF
    xmlns="http://purl.org/rss/1.0/"
    xmlns:rdf="http://www.w3.org/1999/02/22-rdf-syntax-ns#"
    xmlns:slash="http://purl.org/rss/1.0/modules/slash/"
    xmlns:dc="http://purl.org/dc/elements/1.1/">
    <channel rdf:about="http://ccg.doc.ic.ac.uk/wiki/feed.php">
        <title>Computational Creativity Group</title>
        <description></description>
        <link>http://ccg.doc.ic.ac.uk/wiki/</link>
        <image rdf:resource="http://ccg.doc.ic.ac.uk/wiki/lib/images/favicon.ico" />
       <dc:date>2012-05-15T13:35:56+01:00</dc:date>
        <items>
            <rdf:Seq>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=alisonpease&amp;rev=1326586908&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=angelina&amp;rev=1329780043&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=art&amp;rev=1235916341&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=autoboardgame&amp;rev=1235813018&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=bioinformatics&amp;rev=1291831319&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=boostingilp&amp;rev=1235916089&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cadgame&amp;rev=1280832199&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cameronbrowne&amp;rev=1235914139&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=charlottephilippe&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=combinedreasoning&amp;rev=1235770751&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=create&amp;rev=1326460476&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=danielramirezcano&amp;rev=1267620134&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=data&amp;rev=1332938940&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=defconapi&amp;rev=1235762993&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=design&amp;rev=1235764089&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=euridicecabanes&amp;rev=1271952027&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=events&amp;rev=1326457998&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=flaminiacavallo&amp;rev=1326459584&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=game&amp;rev=1326485390&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=garethwilliams&amp;rev=1271952397&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=gc&amp;rev=1235916055&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=grandchallenge&amp;rev=1236004320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=hr&amp;rev=1236003315&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jennifermunroe&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jeremygow&amp;rev=1285596008&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=johncharnley&amp;rev=1326799766&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lecture_courses&amp;rev=1326474725&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=location&amp;rev=1326459056&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lucianodelcorro&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ludic&amp;rev=1332241033&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=main&amp;rev=1333535535&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=marianika&amp;rev=1247699173&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=maths&amp;rev=1236002679&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=metaleveltheoryformation&amp;rev=1243001084&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=michaelcook&amp;rev=1336051992&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=newsarchive&amp;rev=1326458987&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ningjiang&amp;rev=1235914422&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=objettrouve&amp;rev=1236003480&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=papers&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=pedrotorres&amp;rev=1235914487&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=people&amp;rev=1326458907&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=raminramezani&amp;rev=1326470916&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=research&amp;rev=1326485404&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=robinbaumgarten&amp;rev=1320231327&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=seminars&amp;rev=1287692071&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=shafeentejani&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=sidebar&amp;rev=1326459076&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=simoncolton&amp;rev=1326459281&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=socialagents&amp;rev=1242656535&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=software&amp;rev=1227883019&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=stephentavener&amp;rev=1286312625&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=subversion&amp;rev=1291831320&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=uctgames&amp;rev=1287079342&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=video&amp;rev=1229695058&amp;do=diff"/>
                <rdf:li rdf:resource="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=wheelbarrow&amp;rev=1236003377&amp;do=diff"/>
            </rdf:Seq>
        </items>
    </channel>
    <image rdf:about="http://ccg.doc.ic.ac.uk/wiki/lib/images/favicon.ico">
        <title>Computational Creativity Group</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/</link>
        <url>http://ccg.doc.ic.ac.uk/wiki/lib/images/favicon.ico</url>
    </image>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=alisonpease&amp;rev=1326586908&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-15T00:21:48+01:00</dc:date>
        <title>alisonpease</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=alisonpease&amp;rev=1326586908&amp;do=diff</link>
        <description>Alison Pease is a Research Associate in the CCG, working on the Computational Creativity Theory project. Her webpages are currently
here: Alison's Homepage.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=angelina&amp;rev=1329780043&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-02-20T23:20:43+01:00</dc:date>
        <title>angelina</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=angelina&amp;rev=1329780043&amp;do=diff</link>
        <description>*  December 2010 - Present
	*  Staff: Michael Cook and Simon Colton
	*  More: Games By ANGELINA - Project Site


Procedural generation techniques improve year on year thanks to contributions from industry and academia, but the task of creating entire videogames, rather than partial components, has received less attention. ANGELINA is one project that aims to investigate techniques and attempt to build systems that automatically design complete videogames from the most basic starting points possi…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=art&amp;rev=1235916341&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T14:05:41+01:00</dc:date>
        <title>art</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=art&amp;rev=1235916341&amp;do=diff</link>
        <description>The creative arts is an incredible arena of creative activity. We are interested in applying
computational techniques to simulate artistic processes, and achieve the kinds of inspiring 
outputs that visual artists produce.

Projects

The Painting Fool

Image Filtering

Evolutionary Art


Marc Hull developed a program called Avera which provides a framework for evolving visual art pieces. Avera works by evolving trees of rules which can be interpreted into Java code that draws the pieces when run…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=autoboardgame&amp;rev=1235813018&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-02-28T09:23:38+01:00</dc:date>
        <title>autoboardgame</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=autoboardgame&amp;rev=1235813018&amp;do=diff</link>
        <description>For his PhD thesis, Cameron Browne developed a software program called Ludi that invented new board games, tested them for quality, then explained the rules to human opponents so that they could play them against the AI. Ludi learnt to predict whether a given game would be of interest to human players with a reasonable level of accuracy and invented several interesting games, at least two of which (Yavalath and Ndengrod) have proven to be of exceptional quality.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=bioinformatics&amp;rev=1291831319&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:01:59+01:00</dc:date>
        <title>bioinformatics</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=bioinformatics&amp;rev=1291831319&amp;do=diff</link>
        <description>This page is under construction.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=boostingilp&amp;rev=1235916089&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T14:01:29+01:00</dc:date>
        <title>boostingilp</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=boostingilp&amp;rev=1235916089&amp;do=diff</link>
        <description>This page is under construction.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cadgame&amp;rev=1280832199&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-08-03T11:43:19+01:00</dc:date>
        <title>cadgame</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cadgame&amp;rev=1280832199&amp;do=diff</link>
        <description>[Scene from Bioshock]


	*  November 2008 to November 2011
	*  Staff: Jeremy Gow, Robin Baumgarten, Simon Colton
	*  Funding: EPSRC, TSB
	*  Project partners: Rebellion, Paul Cairns (University of York)


The CADGame project is applying machine learning techniques to gameplay and player experience data, in order to classify gamers and recognise key experiences and activities.  The aim is to support the creation of adaptive games which respond to individual gamers and gaming experiences.  We're a…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cameronbrowne&amp;rev=1235914139&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T13:28:59+01:00</dc:date>
        <title>cameronbrowne</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=cameronbrowne&amp;rev=1235914139&amp;do=diff</link>
        <description>Cameron Browne is a researcher in the group, with interests in computational art
and games, in particular, the automatic invention of board games.

Books

 Browne, C. (2000) Hex Strategy: Making The Right Connections, A. K. Peters, Massachusetts (363 pages).

 
Browne, C. (2005) Connection Games: Variations on a Theme, A. K. Peters, Massachusetts (402 pages).</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=charlottephilippe&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>charlottephilippe</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=charlottephilippe&amp;rev=1291831320&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=combinedreasoning&amp;rev=1235770751&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-02-27T21:39:11+01:00</dc:date>
        <title>combinedreasoning</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=combinedreasoning&amp;rev=1235770751&amp;do=diff</link>
        <description>One of the key research issues in computational creativity is how
to get multiple AI systems to work together so that the whole is 
more than the sum of the parts. We have shown that combined reasoning
systems can [a] outperform stand-alone AI systems at standard tasks
such as constraint solving, theorem proving and machine learning
[b] be more flexible in their application than stand-alone systems,
and [c] enable more sophisticated - often more creative - tasks to
be undertaken by AI systems.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=create&amp;rev=1326460476&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T13:14:36+01:00</dc:date>
        <title>create</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=create&amp;rev=1326460476&amp;do=diff</link>
        <description>What is Computational Creativity?


Computational Creativity is a sub-area of Artificial Intelligence research, where we study how to build software which can take on some of the creative responsibility in arts and science projects. This has practical aspects, and we build creative software to generate artefacts such as poems, mathematical theories, board games, arcade games, abstract and representational art. We build software to be taken seriously as autonomously creative, as well as software …</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=danielramirezcano&amp;rev=1267620134&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-03-03T12:42:14+01:00</dc:date>
        <title>danielramirezcano</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=danielramirezcano&amp;rev=1267620134&amp;do=diff</link>
        <description>Daniel Ramirez Cano is a researcher in the group, with interests in Automated Agents
for social gaming platforms.

Daniel's Homepage</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=data&amp;rev=1332938940&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-03-28T13:49:00+01:00</dc:date>
        <title>data</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=data&amp;rev=1332938940&amp;do=diff</link>
        <description>Gow, Baumgarten, Cairns, Colton &amp; Miller, “Unsupervised Modelling of Player Style with LDA”.  Submitted to Transactions on Computational Intelligence &amp; AI in Games.  CSV data and R scripts</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=defconapi&amp;rev=1235762993&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-02-27T19:29:53+01:00</dc:date>
        <title>defconapi</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=defconapi&amp;rev=1235762993&amp;do=diff</link>
        <description>Robin Baumgarten's DEFCON API Page

Introversion's Hub for the DEFCON API

Robin's Blog on AIGameDev</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=design&amp;rev=1235764089&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-02-27T19:48:09+01:00</dc:date>
        <title>design</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=design&amp;rev=1235764089&amp;do=diff</link>
        <description>Graphic design projects offers unique opportunities where software
can act as creative collaborators with designers. 

Projects


Enhancing Objet Trouve Methods in Graphic Design

We are interested in new modalities for browsing through artefacts and algorithms, 
where a machine learning component is able to approximate a user's aesthetic and
utilitarian preferences as they use the software. Using this approximation, the
software can make suggestions that the user may not have thought of themsel…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=euridicecabanes&amp;rev=1271952027&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-04-22T17:00:27+01:00</dc:date>
        <title>euridicecabanes</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=euridicecabanes&amp;rev=1271952027&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=events&amp;rev=1326457998&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:33:18+01:00</dc:date>
        <title>events</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=events&amp;rev=1326457998&amp;do=diff</link>
        <description>Forthcoming Events

	*  Simon Colton's Whitehead Lecture at Goldsmiths College, January 2012. Here is the abstract:


In Computational Creativity research, we study how to engineer
software that can take on some of the creative responsibility in arts
and science projects. In recent years, we have undertaken a practical
approach to addressing questions arising in Computational Creativity.
In particular, we have built software that can perform mathematical
discovery; software that automates cognit…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=flaminiacavallo&amp;rev=1326459584&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:59:44+01:00</dc:date>
        <title>flaminiacavallo</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=flaminiacavallo&amp;rev=1326459584&amp;do=diff</link>
        <description>Flaminia's Web Pages


Flaminia is a PhD student in the CCG, working on the Computational Creativity Theory project.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=game&amp;rev=1326485390&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T20:09:50+01:00</dc:date>
        <title>game</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=game&amp;rev=1326485390&amp;do=diff</link>
        <description>We are interested in building software which can act as a creative collaborator in the
design of board games and video games. 

 We have strong links with the 
UK Research Network on Artificial Intelligence and Video Game technologies. 

Projects


CAD-GAME</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=garethwilliams&amp;rev=1271952397&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-04-22T17:06:37+01:00</dc:date>
        <title>garethwilliams</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=garethwilliams&amp;rev=1271952397&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=gc&amp;rev=1235916055&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T14:00:55+01:00</dc:date>
        <title>gc</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=gc&amp;rev=1235916055&amp;do=diff</link>
        <description>This page is under construction.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=grandchallenge&amp;rev=1236004320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-02T14:32:00+01:00</dc:date>
        <title>grandchallenge</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=grandchallenge&amp;rev=1236004320&amp;do=diff</link>
        <description>'Creativity' is one of those words that some computer scientists avoid at all costs. Part of the reason for this is that detractors of research into Artificial Intelligence have used it against the discipline: “computers will never be intelligent because they can't be creative”. Part of the reason is that it is such a mis-used, poorly understood, loaded word, that it seems bound to cause unease whenever used in conjunction with machines. Finally, until recently, it's been difficult to project th…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=hr&amp;rev=1236003315&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-02T14:15:15+01:00</dc:date>
        <title>hr</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=hr&amp;rev=1236003315&amp;do=diff</link>
        <description>The HR program performs automated theory formation, which is a 
machine learning routine which fits broadly into the descriptive logic learning
context, i.e., there is no underlying classification problem to be solved,
so it's unsupervised learning, where the purpose is to find out some interesting
things about your data. Theory Formation involves the invention of concepts, the making
of conjectures and - in domains where the axioms admit this - the
proving of theorems and finding of counterexam…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jennifermunroe&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>jennifermunroe</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jennifermunroe&amp;rev=1291831320&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jeremygow&amp;rev=1285596008&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-09-27T15:00:08+01:00</dc:date>
        <title>jeremygow</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=jeremygow&amp;rev=1285596008&amp;do=diff</link>
        <description>I am a research associate in the CCG, working on the CAD-GAME project.  My current research is on improving user experience in adaptive video games, although I'm interested in a variety of topics in AI and HCI.

For more information see my departmental web page.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=johncharnley&amp;rev=1326799766&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-17T11:29:26+01:00</dc:date>
        <title>johncharnley</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=johncharnley&amp;rev=1326799766&amp;do=diff</link>
        <description>John Charnley is a Research Associate in the group, with interests in the systematic combination
of reasoning techniques and their application to AI tasks.  

John is currently working on a knowledge
transfer project, in partnership with Lionhead Studios.  This project is looking at applications of 
AI techniques to GUI design for the Microsoft Kinect controller.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lecture_courses&amp;rev=1326474725&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T17:12:05+01:00</dc:date>
        <title>lecture_courses</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lecture_courses&amp;rev=1326474725&amp;do=diff</link>
        <description>Alison Pease and Simon Colton are teaching the Ludic Computing course this year:


	*  Ludic Computing


Please also see our overview page for a series of lectures on Computational
Creativity given at the 2011 PhD Autumn School in Helsinki.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=location&amp;rev=1326459056&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:50:56+01:00</dc:date>
        <title>location</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=location&amp;rev=1326459056&amp;do=diff</link>
        <description>We are located in the William Penney building on Imperial College's South Kensington Campus.


	*  Maps and directions to South Kensington Campus</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lucianodelcorro&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>lucianodelcorro</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=lucianodelcorro&amp;rev=1291831320&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ludic&amp;rev=1332241033&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-03-20T10:57:13+01:00</dc:date>
        <title>ludic</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ludic&amp;rev=1332241033&amp;do=diff</link>
        <description>Ludic Computing is the study of the design, construction and evaluation of computer systems for play.  Computers support a huge range of playful and creative activities: from video games and interactive art, to tools for creative expression and playful exploration; as artificial players of games, and as creators in their own right.  It is a highly interdisciplinary area with links to many other fields, including Graphics, Human-Computer Interaction and Artificial Intelligence.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=main&amp;rev=1333535535&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-04-04T11:32:15+01:00</dc:date>
        <title>main</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=main&amp;rev=1333535535&amp;do=diff</link>
        <description>Welcome to the Computational Creativity Group (CCG) of the Department of Computing, Imperial College London, UK.  

We conduct Artificial Intelligence research into the development and combination
of AI systems for creative tasks. We use this research to address interesting practical
and philosophical questions about what it means for software to be autonomously creative.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=marianika&amp;rev=1247699173&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-07-16T00:06:13+01:00</dc:date>
        <title>marianika</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=marianika&amp;rev=1247699173&amp;do=diff</link>
        <description>Maria's Homepage is here: Maria's Homepage</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=maths&amp;rev=1236002679&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-02T14:04:39+01:00</dc:date>
        <title>maths</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=maths&amp;rev=1236002679&amp;do=diff</link>
        <description>We have been looking into automating various reasoning processes  - and their combination - in pure
mathematics for some years. We are interested in both automating cognitively plausible models of
mathematical theory formation (e.g., in the Wheelbarrow project below) and in computational mathematical
discovery in general - which leads to new concepts, conjectures, theorems and proofs in pure mathematics
(e.g., in the HR project below).</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=metaleveltheoryformation&amp;rev=1243001084&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-05-22T15:04:44+01:00</dc:date>
        <title>metaleveltheoryformation</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=metaleveltheoryformation&amp;rev=1243001084&amp;do=diff</link>
        <description>This project addresses the question of whether a theory formation system can gain from analysing interesting established theories, before it attempts actual theory formation. We call the ability to learn how to form theories from existing theories Automated Meta-Theory Induction.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=michaelcook&amp;rev=1336051992&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-05-03T14:33:12+01:00</dc:date>
        <title>michaelcook</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=michaelcook&amp;rev=1336051992&amp;do=diff</link>
        <description>Michael Cook is a PhD researcher in the Computational Creativity Group. Previously, he studied at Imperial for an MEng in Computer Science.

For more information on what Michael is currently working on, see Games By ANGELINA.

Research


I'm interested in research related to evolutionary programming, videogame design, and the psychology of AI.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=newsarchive&amp;rev=1326458987&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:49:47+01:00</dc:date>
        <title>newsarchive</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=newsarchive&amp;rev=1326458987&amp;do=diff</link>
        <description>* March 2010
Eurídice Cabañes joins the group for three months as a visiting PhD student from the Universidad de Santiago de Compostela.


	*  November 2009

Simon Colton to talk at the “Thursday Club” in the Department of Computing at Goldsmith's College. Further details are available here:
The Thursday Club</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ningjiang&amp;rev=1235914422&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T13:33:42+01:00</dc:date>
        <title>ningjiang</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=ningjiang&amp;rev=1235914422&amp;do=diff</link>
        <description>Ning Jiang is a PhD student in the group, with interests in the usage of boosting 
for descriptive and predictive logic-based learning, with applications to bioinformatics.

Ning's Homepage is here: Ning's Homepage</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=objettrouve&amp;rev=1236003480&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-02T14:18:00+01:00</dc:date>
        <title>objettrouve</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=objettrouve&amp;rev=1236003480&amp;do=diff</link>
        <description>Overview


In many cases, it is safe to assume that people know exactly what they wish to achieve when using a particlar piece of software. However, it is often the case that a user will have only a vague idea of what they wish to achieve. This is particularly true when the software is used for creative purposes such as in graphic design.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=papers&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>papers</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=papers&amp;rev=1291831320&amp;do=diff</link>
        <description>Here are some key papers by CCG members (circa 2006):


	*  The automatic reformulation of constraint satisfaction problems, using machine learning and automated theorem proving. PDF - ECAI 2006

	*  Proving of non-theorems by using machine learning and model generation to discover related theorems. PDF - ENTCS 2005</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=pedrotorres&amp;rev=1235914487&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-01T13:34:47+01:00</dc:date>
        <title>pedrotorres</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=pedrotorres&amp;rev=1235914487&amp;do=diff</link>
        <description>Pedro's Homepage is here: Pedro's Homepage

Pedro Torres is a PhD student in the group, and also a Research Associate on 
the Objet Trouve project. He has interests in Automated Theory Formation and in the Objet Trouve approach to computing.

Pedro works at the intersection of Logic and Machine Learning and is interested in designing a system which can form mathematical theories automatically from basic definitions and axioms. As part of that goal, he is devising an algorithm which takes example…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=people&amp;rev=1326458907&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:48:27+01:00</dc:date>
        <title>people</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=people&amp;rev=1326458907&amp;do=diff</link>
        <description>Staff

	*  Simon Colton (Reader in Computational Creativity)
	*  Cameron Browne (Research Fellow)
	*  John Charnley (Research Associate)
	*  Jeremy Gow (Research Associate)
	*  Alison Pease (Research Associate)

PhD Students

	*  Robin Baumgarten
	*  Flaminia Cavallo
	*  Michael Cook
	*  Ning Jiang
	*  Ramin Ramezani
	*  Stephen Tavener 
	*  Pedro Torres</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=raminramezani&amp;rev=1326470916&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T16:08:36+01:00</dc:date>
        <title>raminramezani</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=raminramezani&amp;rev=1326470916&amp;do=diff</link>
        <description>Ramin Ramezani is a PhD student in the group working on the Wheelbarrow Project, with interests in the automatic
reformulation of AI problems and combined reasoning.


Visit Ramin's Webpage



Book Chapter





	*  A. Pease, M. Guhe, A. Smaill, A. Ireland, T. Rodriguez, G. Grov, R. Ramezani and S. Colton 
 “Applying Lakatos-style reasoning to AI problems” 
 In Thinking Machines and the Philosophy of Computer Science: Concepts and Principles, forthcoming, 2010.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=research&amp;rev=1326485404&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T20:10:04+01:00</dc:date>
        <title>research</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=research&amp;rev=1326485404&amp;do=diff</link>
        <description>We study theoretical, practical and applied aspects of computational creativity in...

	*  The visual arts
	*  Graphic design
	*  Pure mathematics
	*  Game design
	*  Bioinformatics

Funded Projects

	*  UCT for Games and Beyond  
	*  Enhancing Objet Trouve Methods in Graphic Design
	*  Computer-Aided Game Design
	*  AI Social Agents
	*  The Wheelbarrow Project - Computational Modeling of Axiom Reformulation
	*  Automatic City Generation for Video Games: Project Subversion
	*  Automated Board Ga…</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=robinbaumgarten&amp;rev=1320231327&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2011-11-02T10:55:27+01:00</dc:date>
        <title>robinbaumgarten</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=robinbaumgarten&amp;rev=1320231327&amp;do=diff</link>
        <description>General



Robin Baumgarten is a PhD student in the group, with interests in AI-bots for video games
and the dynamic alteration of video games for improved gameplay.

Robin's Homepage is here: Robin's Homepage

Further contact details and projects, as well as published papers and Robin's master thesis (Combining Artificial Intelligence Methods: Automating the Playing of DEFCON) can be found there, too.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=seminars&amp;rev=1287692071&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-10-21T21:14:31+01:00</dc:date>
        <title>seminars</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=seminars&amp;rev=1287692071&amp;do=diff</link>
        <description>The Computational Bioinformatics Group holds weekly seminars where invited speakers and members of the group present their research in areas such as:

	*  Use of Inductive Logic Programming for Bioinformatic applications
	*  Development and combination of AI systems for creative tasks
	*  Applications of graph theory, mathematical modeling, and computational techniques to solving large-scale problems in computational and systems biology</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=shafeentejani&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>shafeentejani</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=shafeentejani&amp;rev=1291831320&amp;do=diff</link>
        <description></description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=sidebar&amp;rev=1326459076&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:51:16+01:00</dc:date>
        <title>sidebar</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=sidebar&amp;rev=1326459076&amp;do=diff</link>
        <description>*  Home
	*  People
	*  Research
	*  Lecture Courses
	*  Events
	*  Software
	*  Find Us</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=simoncolton&amp;rev=1326459281&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2012-01-13T12:54:41+01:00</dc:date>
        <title>simoncolton</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=simoncolton&amp;rev=1326459281&amp;do=diff</link>
        <description>Simon Colton is a Reader in Computational Creativity and EPSRC Leadership Fellow. He leads the Computational Creativity Group in the Department of Computing at Imperial College.
He is involved in a number of projects in the Computational Creativity Group.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=socialagents&amp;rev=1242656535&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-05-18T15:22:15+01:00</dc:date>
        <title>socialagents</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=socialagents&amp;rev=1242656535&amp;do=diff</link>
        <description>*  February 2009 to January 2011
	*  Staff: Daniel Ramirez Cano and Simon Colton
	*  Funding: EPSRC, TSB
	*  Project partners: Emote Games


We aim at developing AI Non-Player Characters (NPC) for Emote Games' new social hunting simulator The Hunter.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=software&amp;rev=1227883019&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2008-11-28T14:36:59+01:00</dc:date>
        <title>software</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=software&amp;rev=1227883019&amp;do=diff</link>
        <description>*  HR, a system for automated theory formation.
	*  HRAgency
	*  NumbersWithNames
	*  ICARuS, a system combining Machine Learning and Constraint Solving.  Developed by John Charnley.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=stephentavener&amp;rev=1286312625&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-10-05T22:03:45+01:00</dc:date>
        <title>stephentavener</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=stephentavener&amp;rev=1286312625&amp;do=diff</link>
        <description>Stephen Tavener is a PhD student in the CCG group, working on the EPSRC-funded project “UCT for Games and Beyond”.

Stephen's interests are AI for board games; and in particular, how AIs can be improved to enhance the player experience.  

Publications


Browne, C &amp; Tavener S (2010) “Fast Playouts for Connection Games”, IEEE Transactions on
Computational Intelligence and AI in Games (submitted).</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=subversion&amp;rev=1291831320&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-12-08T18:02:00+01:00</dc:date>
        <title>subversion</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=subversion&amp;rev=1291831320&amp;do=diff</link>
        <description>This page is under construction.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=uctgames&amp;rev=1287079342&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2010-10-14T19:02:22+01:00</dc:date>
        <title>uctgames</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=uctgames&amp;rev=1287079342&amp;do=diff</link>
        <description>“UCT for Games and Beyond” is an EPSRC-funded project jointly run by Imperial College London and the Universities of Essex and Bradford. The aim of this three year project (2010-2013) is to fully explore the MCTS algorithm and investigate its use in novel domains.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=video&amp;rev=1229695058&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2008-12-19T13:57:38+01:00</dc:date>
        <title>video</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=video&amp;rev=1229695058&amp;do=diff</link>
        <description>The CCG has strong links with the UK Research Network on Artificial Intelligence and Video Game technologies.

CAD-GAME

Staff: Simon Colton, Jeremy Gow and
Robin Baumgarten

The EPSRC-funded CAD-GAME project aims to develop methods and tools for designing adaptive video games based on machine learning of user experience profiles from user-game interactions.</description>
    </item>
    <item rdf:about="http://ccg.doc.ic.ac.uk/wiki/doku.php?id=wheelbarrow&amp;rev=1236003377&amp;do=diff">
        <dc:format>text/html</dc:format>
        <dc:date>2009-03-02T14:16:17+01:00</dc:date>
        <title>wheelbarrow</title>
        <link>http://ccg.doc.ic.ac.uk/wiki/doku.php?id=wheelbarrow&amp;rev=1236003377&amp;do=diff</link>
        <description>*  November 2008 to November 2011
	*  Staff: Ramin Ramezani, Simon Colton
	*  Funding: EPSRC grant EP/F036647
	*  Project partners: University of Edinburgh, Heriot-Watt University


 
 
The aim of this project is to develop a model of symbolic theory formulation and reformulation that takes account of recent developments in the cognitive science of mathematics, starting from ideas formulated by Lakatos on heuristics involved in the evolution of mathematical theories. Imperial's part of this proj…</description>
    </item>
</rdf:RDF>

