Lakatos-style automated theorem modification

Simon Colton, Alison Pease

    Research output: Chapter in Book/Report/Conference proceedingConference contribution

    Original languageEnglish
    Title of host publicationECAI 2004
    Subtitle of host publication16th European Conference on Artificial Intelligence including Prestigious Applications of Intelligent Systems (PAIS 2004). Proceedings
    EditorsRamon López de Mántaras, Lorenza Saitta
    Place of PublicationAmsterdam
    PublisherIOS Press
    Pages977-978
    Number of pages2
    ISBN (Print)1586034529, 9781586034528
    Publication statusPublished - 2004
    Event16th European Conference on Artificial Intelligence - Universidad Politecnica de Valencia, Valencia, Spain
    Duration: 22 Aug 200427 Aug 2004
    http://www.eccai.org/ecai.shtml

    Publication series

    NameFrontiers in artificial intelligence and applications
    PublisherIOS Press
    Volume110

    Conference

    Conference16th European Conference on Artificial Intelligence
    Country/TerritorySpain
    CityValencia
    Period22/08/0427/08/04
    Internet address

    Cite this