Black box techniques for debugging unsatisfiable concepts

Aditya Kalyanpur, Bijan Parsia, Evren Sirin

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

    Original languageEnglish
    Title of host publicationCEUR Workshop Proceedings|CEUR Workshop Proc.
    PublisherRWTH Aachen University
    Volume147
    Publication statusPublished - 2005
    Event2005 International Workshop on Description Logics, DL 2005 - Edinburgh
    Duration: 1 Jul 2005 → …

    Publication series

    NameCEUR Workshop Proceedings

    Conference

    Conference2005 International Workshop on Description Logics, DL 2005
    CityEdinburgh
    Period1/07/05 → …

    Cite this